740 search results - page 10 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ENTCS
2006
13 years 7 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
EOR
2007
13 years 7 months ago
2007
The Mobile Emergency Triage (MET) system is a clinical triage support system that aids physicians in making triage decisions as to whether a child presenting in the Emergency Depa...
AVI
2010
13 years 8 months ago
2010
We introduce the knotty gesture, a simple yet powerful technique for interacting with paper. Knots are tiny circles that can be added to any gesture. Users can leave subtle marks ...
ENTCS
2010
13 years 7 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
TREC
1997
13 years 8 months ago
1997
The goal of the Rutgers TREC-6 Interactive Track study was to compare the performance and usability of a system offering positive relevance feedback with one offering positive and...