2502 search results - page 210 / 501 » Using probabilistic model checking in systems biology |
221
click to vote
PE
2000
Springer
15 years 6 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
179
click to vote
JCDL
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
225
click to vote
MIR
2005
ACM
16 years 2 days ago
2005
ACM
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
224
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
140
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
This paper investigates how self-organisation might be harnessed for the manipulation and control of calcium oscillations. Calcium signalling mechanisms are responsible for a numb...