4099 search results - page 622 / 820 » A Framework for Interactive Proof |
219
click to vote
VLDB
2008
ACM
16 years 4 months ago
2008
ACM
Abstract Sensor devices produce data that are unreliable, low-level, and seldom able to be used directly by applications. In this paper, we propose Metaphysical Data Independence (...
136
Voted
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
121
Voted
PAM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Timeouts play a fundamental role in network protocols, controlling numerous aspects of host behavior at different layers of the protocol stack. Previous work has documen...
118
Voted
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider the following problem in haptics: information update from the virtual world is slow w.r.t. the local servo-loop rate of the haptic device, and the information transmis...
133
click to vote
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a ...