9067 search results - page 1490 / 1814 » Adaptive Model Checking |
218
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
178
click to vote
CP
2008
Springer
15 years 9 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
203
click to vote
EWCBR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper describes a web-based CBR application competing at the first Computer Cooking Contest at the ECCBR 2008. It describes the technical realisation of our system, ...
196
click to vote
ICIP
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we present a method based on tangent distance to estimate motion in image sequences. Tangent distance combines an intuitive understanding and effective modeling of ...
204
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Web search personalization aims to adapt search results to a user based on his tastes, interests and needs. The way in which such personal preferences are captured, modeled and exp...