1222 search results - page 236 / 245 » A Bayesian Approach to Model Checking Biological Systems |
156
click to vote
HASE
2008
IEEE
16 years 9 days 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....
198
click to vote
ECAL
2001
Springer
15 years 10 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...
143
click to vote
RTSS
2006
IEEE
15 years 12 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...
198
click to vote
PAMI
2008
15 years 5 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...
210
click to vote
BIBE
2008
IEEE
16 years 10 days 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...