1222 search results - page 236 / 245 » A Bayesian Approach to Model Checking Biological Systems |
108
click to vote
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
143
click to vote
ECAL
2001
Springer
15 years 6 months ago
2001
Springer
Some benefits of a dialogue between evolutionary robotics and developmental ethology are presented with discussion of how developmental models might inform approaches to evolution...
104
click to vote
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
143
click to vote
PAMI
2008
15 years 1 months ago
2008
Abstract-- We present a novel approach for multi-object tracking which considers object detection and spacetime trajectory estimation as a coupled optimization problem. Our approac...
155
click to vote
BIBE
2008
IEEE
15 years 8 months ago
2008
IEEE
— Heterogeneous genome-wide data sources capture information on various aspects of complex biological systems. For instance, transcriptome, interactome and phenome-level informat...