740 search results - page 17 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
IOT
2010
13 years 4 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper describes an interactive vision system for a robot that finds an object specified by a user and brings it to the user. The system first registers object models automati...
ASIACRYPT
2009
Springer
13 years 11 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
VR
2008
IEEE
13 years 5 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
BMCBI
2006
13 years 7 months ago
2006
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...