499 search results - page 64 / 100 » Wire shaping is practical |
CHI
1998
ACM
15 years 4 months ago
1998
ACM
ActiMates™ Barney™ represents a new form of interactive learning product for two- to five-year old children: a small computer that looks like an animated plush doll. He can be...
104
click to vote
SIGGRAPH
1992
ACM
15 years 3 months ago
1992
ACM
We describe and demonstrate an algorithm that takes as input an unorganized set of points fx1; : : : ; xng IR3 on or near an unknown manifold M, and produces as output a simplicia...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
CHI
1995
ACM
15 years 3 months ago
1995
ACM
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
ICDAR
1995
IEEE
15 years 3 months ago
1995
IEEE
There is an increasingly pressing need to develop document analysis methods that are able to cope with images of documents containing printed regions of complex shapes. Contrary t...