3082 search results - page 451 / 617 » Deviation Analysis: A New Use of Model Checking |
159
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an approach of a cross-lingual information retrieval which uses a ranking method based on a penalisation version of the Jaccard formula. The obtained results a...
190
click to vote
MICAI
2005
Springer
15 years 12 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
177
click to vote
IDEAL
2004
Springer
15 years 11 months ago
2004
Springer
Many time series exhibit dynamics over vastly different time scales. The standard way to capture this behavior is to assume that the slow dynamics are a “trend”, to de-trend t...
168
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We present a General Linear Camera (GLC) model that unifies many previous camera models into a single representation. The GLC model is capable of describing all perspecti...
161
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
The reflection of light from surfaces is a fundamental problem in computer graphics. Although many reflection models have been proposed, few take into account the wave nature of...