740 search results - page 111 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
127
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
- Robot companions need to be able to constantly acquire knowledge about new objects for instance in order to detect them in the environment. This ability is necessary since it is ...
117
click to vote
ISBI
2006
IEEE
15 years 7 months ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
137
click to vote
AC
2000
Springer
15 years 5 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
102
click to vote
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Because most animation tools are complex and timeconsuming to learn and use, most animations today are created by experts. To help novices create a wide range of animations quickl...
105
click to vote
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Although in-car GPS navigation technology is proliferating, it is not well understood how its use alters the ways people interpret their environment and navigate through it. We ar...