488 search results - page 36 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
ISVC
2007
Springer
15 years 5 months ago
2007
Springer
Surveillance systems that operate continuously generate large volumes of data. One such system is described here, continuously tracking and storing observations taken from multiple...
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
Libraries of learning objects may serve as basis for deriving course offerings that are customized to the needs of different learning communities or even individuals. Several ways...
NIPS
2004
15 years 14 days ago
2004
We describe how we used a data set of chorale harmonisations composed by Johann Sebastian Bach to train Hidden Markov Models. Using a probabilistic framework allows us to create a...
132
click to vote
CVPR
2011
IEEE
14 years 2 months ago
2011
IEEE
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...
DEDS
2006
14 years 11 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...