7820 search results - page 296 / 1564 » Formalization of Time and Space |
189
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
181
click to vote
ADC
2003
Springer
16 years 20 days ago
2003
Springer
In this paper, we propose a new metric index, called M+ -tree, which is a tree dynamically organized for large datasets in metric spaces. The proposed M+ -tree takes full advantag...
184
click to vote
SAC
2009
ACM
16 years 2 days ago
2009
ACM
In Information Visualization, adding and removing data elements can strongly impact the underlying visual space. We introduce a chess board analogy for displaying (projecting) obj...
178
click to vote
PKDD
2001
Springer
15 years 12 months ago
2001
Springer
Changes in the normal rhythmicity of a human heart may result in different cardiac arrhythmias, which may be immediately fatal or cause irreparable damage to the heart when sustain...
199
click to vote
DEXA
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Nearest neighbor search has a wide variety of applications. Unfortunately, the majority of search methods do not scale well with dimensionality. Recent efforts have been ...