237 search results - page 18 / 48 » Just enough tabling |
SPIN
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
ACCV
1998
Springer
13 years 11 months ago
1998
Springer
This paper proposes a novel tracking strategy that can robustly track a person or other object within a fixed environment using a pan, tilt, and zoom camera with the help of a pre...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
AAAI
2010
13 years 9 months ago
2010
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
AAAI
2006
13 years 9 months ago
2006
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such pro...