4211 search results - page 549 / 843 » A formal approach to MASQ |
172
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
151
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
184
Voted
CAV
2004
Springer
16 years 3 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
180
click to vote
CMMR
2004
Springer
16 years 3 days ago
2004
Springer
I describe here a real-time vision-based gesture recognition system used in interactive computer music performances. The performer moves his hands in a video-camera capture area, t...
149
Voted
DAGM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. During recent years much effort has been spent in incorporating problem specific a-priori knowledge into kernel methods for machine learning. A common example is a-prior...