2261 search results - page 100 / 453 » Relationships Between Models of Concurrency |
AMAI
2008
Springer
13 years 8 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
ECCV
1998
Springer
14 years 9 months ago
1998
Springer
?We describe a new method of matching statistical models of appearance to images. A set of model parameters control modes of shape and gray-level variation learned from a training ...
ER
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...
RWEB
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies. We show how certain rules c...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
We discuss the relationship between the discriminative training of Gaussian models and the maximum entropy framework for log-linear models. Observing that linear transforms leave ...