980 search results - page 169 / 196 » Logical Testing |
105
click to vote
FORTE
2004
15 years 3 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
120
click to vote
AIPS
2003
15 years 3 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
110
click to vote
PARMA
2004
15 years 3 months ago
2004
The purpose of this paper is to study the problem of pattern classification as this is presented in the context of data mining. Among the various approaches we focus on the use of ...
116
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
115
click to vote
INTERACT
2003
15 years 3 months ago
2003
: Interacting with video content can be very time-consuming, and solutions are needed to support people in the process of browsing a video so that they can efficiently interact wit...