2502 search results - page 198 / 501 » Using probabilistic model checking in systems biology |
163
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Surveillance systems have long been used to monitor industrial processes and are becoming increasingly popular in public health and anti-terrorism applications. Most early detecti...
150
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
168
click to vote
HICSS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...
156
click to vote
NIPS
1996
15 years 7 months ago
1996
We present a general encoding-decoding framework for interpreting the activity of a population of units. A standard population code interpretation method, the Poisson model, start...
151
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Angiogenesis, the growth of vascular structures, is an extremely complex biological process which has long puzzled scientists. Better physiological understanding of this ...