1222 search results - page 103 / 245 » A Bayesian Approach to Model Checking Biological Systems |
139
click to vote
ICCV
2001
IEEE
16 years 6 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...
142
click to vote
TACAS
2004
Springer
15 years 9 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 ...
117
click to vote
QEST
2006
IEEE
15 years 10 months 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, ...
178
click to vote
EPIA
2007
Springer
15 years 10 months 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...
147
Voted
COMCOM
2002
15 years 3 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...