2502 search results - page 299 / 501 » Using probabilistic model checking in systems biology |
183
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper addresses the problem of capturing the dynamics for exemplar-based recognition systems. Traditional HMM provides a probabilistic tool to capture system dynamics and in ...
166
click to vote
IANDC
2006
15 years 6 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
194
click to vote
AR
2007
15 years 6 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
162
click to vote
ADAEUROPE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
173
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...