1919 search results - page 100 / 384 » Recent Extensions to Traviando |
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
ICCV
2007
IEEE
15 years 12 months ago
2007
IEEE
We propose a novel method for computing a fourdimensional (4D) representation of the spatio-temporal visual hull of a dynamic scene, based on an extension of a recent provably cor...
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Mutual information (MI) has emerged in recent years as an effective similarity measure for comparing images. One drawback of MI, however, is that it is calculated on a pixel by pix...
165
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Skyline query processing has been investigated extensively in recent years, mostly for only one query reference point. An example of a single-source skyline query is to find hotel...
187
click to vote
VLDB
2006
ACM
15 years 10 months ago
2006
ACM
Managing large-scale time series databases has attracted significant attention in the database community recently. Related fundamental problems such as dimensionality reduction, tr...