613 search results - page 17 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
QEST
2007
IEEE
14 years 1 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...
CAV
2004
Springer
14 years 28 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
ICDCS
2003
IEEE
14 years 25 days ago
2003
IEEE
This paper studies the problem of updates in decentralised and self-organising P2P systems in which peers have low online probabilities and only local knowledge. The update strate...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Functional brain imaging is a source of spatio-temporal data mining problems. A new framework hybridizing multi-objective and multimodal optimization is proposed to formalize these...
JCIT
2008
13 years 7 months ago
2008
This paper introduces a new computer-aided classification system for detection of prostate cancer in Transrectal Ultrasound images (TRUS). To increase the efficiency of the comput...