3318 search results - page 196 / 664 » The Weak Instance Model |
FASE
2001
Springer
14 years 24 days 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 ...
ECCV
2010
Springer
14 years 12 days 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...
CAV
2004
Springer
14 years 1 days 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. ...
ATAL
2008
Springer
13 years 10 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...
AAAI
2006
13 years 9 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...