391 search results - page 34 / 79 » Compositionality for Probabilistic Automata |
149
click to vote
ECCV
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. This contribution proposes a compositional approach to visual object categorization of scenes. Compositions are learned from the Caltech 101 database1 intermediate abstra...
109
Voted
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...
131
Voted
FOSSACS
2012
Springer
13 years 10 months ago
2012
Springer
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
141
Voted
JALC
2006
15 years 2 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
136
Voted
SCP
2010
15 years 1 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...