740 search results - page 143 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
Several recent trends have changed the usage and users of schemas beyond those of a database administrator’s tool for describing database contents. Distribution of computing pow...
JCB
2007
13 years 7 months ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
VRST
2010
ACM
13 years 5 months ago
2010
ACM
Physical characteristics and constraints of today's head-mounted displays (HMDs) often impair interaction in immersive virtual environments (VEs). For instance, due to the li...
EUROSYS
2006
ACM
14 years 4 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
MM
2006
ACM
14 years 1 months ago
2006
ACM
With the popularity of both travel and Web, more and more people use online travel services to facilitate their travel activities or share their travel experiences. Considering th...