740 search results - page 17 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
131
click to vote
IOT
2010
15 years 1 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...
105
click to vote
ICPR
2002
IEEE
16 years 5 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...
142
click to vote
ASIACRYPT
2009
Springer
15 years 8 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...
165
click to vote
VR
2008
IEEE
15 years 2 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...
157
click to vote
BMCBI
2006
15 years 4 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 ...