Sciweavers

5227 search results - page 204 / 1046
» Enterprise modeling using class and instance models
Sort
View
202
Voted
NIPS
2004
15 years 8 months ago
Parametric Embedding for Class Visualization
In this paper, we propose a new method, Parametric Embedding (PE), for visualizing the posteriors estimated over a mixture model. PE simultaneously embeds both objects and their c...
Tomoharu Iwata, Kazumi Saito, Naonori Ueda, Sean S...
155
Voted
ICDCSW
2000
IEEE
15 years 11 months ago
Games-Based Model Checking of Protocols: counting doesn't count
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
Tim Kempster, Colin Stirling, Peter Thanisch
PPDP
1999
Springer
15 years 11 months ago
Constraint Programming in OPL
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
Pascal Van Hentenryck, Laurent Michel, Laurent Per...
CSL
2007
Springer
16 years 1 months ago
Relativizing Small Complexity Classes and Their Theories
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
Klaus Aehlig, Stephen Cook, Phuong Nguyen
202
Voted
CVPR
1998
IEEE
16 years 9 months ago
Hierarchical Morphable Models
This paper presents a new technique for modelling object classes (such as faces) and matching the model to novel images from the object class. The technique can be used for a vari...
Michael J. Jones, Tomaso Poggio