Stem doll$ (all stems)
3 papers:
- TACAS-2008-KupferschmidHL #abstraction #model checking #performance
- Fast Directed Model Checking Via Russian Doll Abstraction (SK, JH, KGL), pp. 203–217.
- ICPR-2008-FengGDJ #retrieval #using
- Motion capture data retrieval using an artist’s doll (TCF, PG, JD, BJ), pp. 1–4.
- CHI-2002-PierceP #feedback
- Comparing voodoo dolls and HOMER: exploring the importance of feedback in virtual environments (JSP, RFP), pp. 105–112.