3820 search results - page 505 / 764 » Bounded Model Debugging |
130
click to vote
SPDP
1991
IEEE
15 years 7 months ago
1991
IEEE
This paper develops two new algorithms for solving a finite constraint satisfaction problem (FCSP) in parallel. In particular, we give a parallel algorithm for the EREW PRAM model...
139
Voted
BMVC
2001
15 years 5 months ago
2001
The articulate motion of the hand makes it very difficult to track the hands while performing a gesture. Simultaneous tracking of both hands needs to deal with large interframe v...
104
Voted
AAAI
2008
15 years 5 months ago
2008
This work addresses the problem of efficiently learning action schemas using a bounded number of samples (interactions with the environment). We consider schemas in two languages-...
150
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
115
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
The problem of characterizing lower bounds on data-rates needed for closed loop stability has been solved in a variety of settings. However, the available results lead to coding s...