488 search results - page 4 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
ICEIS
2007
IEEE
15 years 5 months ago
2007
IEEE
112
click to vote
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
ICCV
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper addresses the problem of applying powerful pattern recognition algorithms based on kernels to efficient visual tracking. Recently Avidan [1] has shown that object recog...
FMCAD
2006
Springer
15 years 2 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
114
click to vote
EPEW
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...