3318 search results - page 196 / 664 » The Weak Instance Model |
111
Voted
FASE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
102
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
We propose a model for classification and detection of object classes where the number of classes may be large and where multiple instances of object classes may be present in an i...
144
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
95
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
When the same set of people interact frequently with one another, they grow to think more and more along the same lines, a phenomenon we call "collective cognitive convergenc...
124
Voted
AAAI
2006
15 years 4 months ago
2006
The ability to update the structure of a Bayesian network when new data becomes available is crucial for building adaptive systems. Recent work by Sang, Beame, and Kautz (AAAI 200...