5356 search results - page 355 / 1072 » Adventures in time and space |
185
click to vote
ESCAPE
2007
Springer
16 years 1 months ago
2007
Springer
We propose two new data stream models: the reset model and the delta model, motivated by applications to databases, and to tracking the location of spatial points. We present algor...
173
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
169
click to vote
ACMACE
2006
ACM
16 years 24 days ago
2006
ACM
—This paper introduces Age Invaders (AI), a novel interactive inter-generation social-physical game which allows the elderly to play harmoniously together with children in physic...
168
click to vote
ER
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Topological relationships between spatial objects in the twodimensional space have been investigated for a long time in a number of disciplines like artificial intellige...
186
click to vote
ESA
2005
Springer
16 years 10 days ago
2005
Springer
Histograms are used in many ways in conventional databases and in data stream processing for summarizing massive data distributions. Previous work on constructing histograms on da...