1992 search results - page 348 / 399 » Model Based Testing with Labelled Transition Systems |
118
click to vote
JOLLI
2007
15 years 2 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
213
click to vote
LPAR
2010
Springer
15 years 11 days ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
125
click to vote
EMNLP
2009
15 years 7 days ago
2009
In this paper, we first compare several strategies to handle the newly proposed three-way Recognizing Textual Entailment (RTE) task. Then we define a new measurement for a pair of...
134
click to vote
ICML
2001
IEEE
16 years 3 months ago
2001
IEEE
Hard disk drive failures are rare but are often costly. The ability to predict failures is important to consumers, drive manufacturers, and computer system manufacturers alike. In...
133
click to vote
FGR
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose an algorithm for sustained tracking of humans, where we combine frame-to-frame articulated motion estimation with a per-frame body detection algorithm. T...