1980 search results - page 270 / 396 » Compositional Model Checking of Real Time Systems |
125
click to vote
MICCAI
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
106
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
138
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Reverse engineering cellular networks is currently one of the most challenging problems in systems biology. Dynamic Bayesian networks (DBNs) seem to be particularly su...
134
click to vote
BIOSYSTEMS
2007
15 years 3 months ago
2007
This paper develops an algorithm that extracts explanatory rules from microarray data, which we treat as time series, using genetic programming (GP) and fuzzy logic. Reverse polis...
123
click to vote
AAAI
2008
15 years 5 months ago
2008
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...