1222 search results - page 96 / 245 » A Bayesian Approach to Model Checking Biological Systems |
138
click to vote
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
128
click to vote
PR
2010
15 years 2 months ago
2010
Aggregating statistical representations of classes is an important task for current trends in scaling up learning and recognition, or for addressing them in distributed infrastruc...
175
click to vote
ECCV
2004
Springer
16 years 6 months ago
2004
Springer
This paper presents a Bayesian framework for multi-cue 3D object tracking of deformable objects. The proposed spatio-temporal object representation involves a set of distinct linea...
133
click to vote
PTS
2007
15 years 5 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
150
click to vote
IJFCS
2006
15 years 4 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...