488 search results - page 30 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
96
Voted
MICCAI
2007
Springer
16 years 16 hour ago
2007
Springer
Abstract. Automatic delineation and robust measurement of fetal anatomical structures in 2D ultrasound images is a challenging task due to the complexity of the object appearance, ...
107
click to vote
AGENTS
1998
Springer
15 years 3 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...
EUROMICRO
1996
IEEE
15 years 3 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
ICTAI
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper describes an attempt to devise a knowledge discovery model that is inspired from the two theoretical frameworks of selectionism and constructivism in human cognitive le...