10454 search results - page 289 / 2091 » Modeling the Experience of Emotion |
149
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
This work relates to the implementation of a 2D conditional random field model in the context of document image analysis. Our model makes it possible to take variability into acco...
142
click to vote
ICANN
2007
Springer
16 years 26 days ago
2007
Springer
In this article we present an incremental method for building a mixture model. Given the desired number of clusters K ≥ 2, we start with a two-component mixture and we optimize t...
176
click to vote
SKG
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
153
click to vote
APN
2004
Springer
16 years 3 days ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
179
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...