2502 search results - page 193 / 501 » Using probabilistic model checking in systems biology |
169
click to vote
FM
2005
Springer
16 years 15 hour ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
162
click to vote
PAKDD
2005
ACM
15 years 12 months ago
2005
ACM
This paper proposes a novel anomaly detection system for spacecrafts based on data mining techniques. It constructs a nonlinear probabilistic model w.r.t. behavior of a spacecraft ...
171
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
183
click to vote
PRDC
2007
IEEE
16 years 23 days ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
As power system loading increases, larger blackouts due to cascading outages become more likely. We investigate a critical loading at which the average size of blackouts increases...