1222 search results - page 103 / 245 » A Bayesian Approach to Model Checking Biological Systems |
166
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Blob trackers have become increasingly powerful in recent years largely due to the adoption of statistical appearance models which allow effective background subtraction and robus...
172
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
157
click to vote
QEST
2006
IEEE
16 years 11 days ago
2006
IEEE
This talk will provide an overview of work that I have done with Hana Chockler, Orna Kupferman, and Judea Pearl [1, 2, 10, 9] on defining notions such as causality, explanation, ...
203
click to vote
EPIA
2007
Springer
16 years 16 days ago
2007
Springer
We present as a contribution to the field of human-machine interaction a system that analyzes human movements online, based on the concept of Laban Movement Analysis (LMA). The im...
184
click to vote
COMCOM
2002
15 years 6 months ago
2002
Recent security incidents and analysis have demonstrated that manual response to such attacks is no longer feasible. Intrusion Detection systems offer techniques for modelling and...