2502 search results - page 201 / 501 » Using probabilistic model checking in systems biology |
177
click to vote
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
We present an overview of FAB-MAP, an algorithm for place recognition and mapping developed for infrastructure-free mobile robot navigation in large environments. The system allow...
204
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
140
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
153
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
192
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...