357 search results - page 43 / 72 » Computing Reachable States for Nonlinear Biological Models |
186
click to vote
AAAI
2008
15 years 5 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
165
click to vote
IDA
2006
Springer
15 years 4 months ago
2006
Springer
We introduce in this paper a generalization of the widely used hidden Markov models (HMM's), which we name "structural hidden Markov models" (SHMM). Our approach is ...
141
click to vote
IANDC
2008
15 years 4 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
144
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
132
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: An active sonar system consists of a sound source activating a surveillance area and a receiver listening for echoes reflected from targets. In a bistatic setup, the source and t...