814 search results - page 128 / 163 » Generic Model Abstraction from Examples |
141
Voted
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. This paper presents a novel probabilistic approach to integrating multiple cues in visual tracking. We perform tracking in different cues by interacting processes. Each p...
86
Voted
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
124
Voted
DOOD
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Semistructured data has no absolute schema xed in advance and its structure may be irregular or incomplete. Such data commonly arises in sources that do not impose a rigi...
112
Voted
STTT
2010
15 years 28 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
108
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...