6608 search results - page 1189 / 1322 » On the Completeness of Model Checking |
116
click to vote
AIPS
1998
15 years 5 months ago
1998
Planning by forward chaining through the world space has long been dismissed as being "obviously" infeasible. Nevertheless, this approach to planning has many advantages...
153
Voted
DAGSTUHL
1998
15 years 5 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
111
click to vote
RIAO
2000
15 years 5 months ago
2000
This paper presents the results of two separate studies into electronic book production. The Visual Book (Landoni, 1997) which explored the importance of the visual component of t...
120
click to vote
WEBNET
2000
15 years 5 months ago
2000
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
154
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...