1992 search results - page 22 / 399 » Model Based Testing with Labelled Transition Systems |
AIR
2006
13 years 7 months ago
2006
Abstract Supervised classification is one of the tasks most frequently carried out by socalled Intelligent Systems. Thus, a large number of techniques have been developed based on ...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Many computer vision applications, such as scene analysis and medical image interpretation, are ill-suited for traditional classification where each image can only be associated w...
ICIAP
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we present a new approach to object tracking based on batteries of particle filter working in multicamera systems with non overlapped fields of view. In each view th...
EPEW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...