4099 search results - page 306 / 820 » A Framework for Interactive Proof |
169
click to vote
WSCG
2000
15 years 8 months ago
2000
Many engineering disciplines can profitably use large high-resolution geometric models whose computational requirements exceed current computer hardware capacities. This paper pre...
179
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...
230
click to vote
AAMAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
191
click to vote
CGF
2008
15 years 6 months ago
2008
Recent advances in physically-based simulations have made it possible to generate realistic animations. However, in the case of solid-fluid coupling, wetting effects have rarely b...
139
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...