Sciweavers

5350 search results - page 344 / 1070
» Space and time in eco-ontologies
Sort
View
ECIR
2009
Springer
16 years 4 months ago
Evaluation of Text Clustering Algorithms with N-Gram-Based Document Fingerprints
This paper presents a new approach designed to reduce the computational load of the existing clustering algorithms by trimming down the documents size using fingerprinting methods...
Javier Parapar, Alvaro Barreiro
COMPGEOM
2009
ACM
16 years 1 months ago
Shooting permanent rays among disjoint polygons in the plane
We present a data structure for ray shooting-and-insertion in the free space among disjoint polygonal obstacles with a total of n vertices in the plane, where each ray starts at t...
Mashhood Ishaque, Bettina Speckmann, Csaba D. T&oa...
ESCAPE
2007
Springer
212views Algorithms» more  ESCAPE 2007»
16 years 1 months ago
Streaming Algorithms for Data in Motion
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...
Michael Hoffmann 0002, S. Muthukrishnan, Rajeev Ra...
SPIN
2007
Springer
16 years 28 days ago
Minimal Counterexample Generation for SPIN
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...
Paul Gastin, Pierre Moro
ACMACE
2006
ACM
16 years 24 days ago
Age invaders
—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...
Khoo Eng Tat, Shang Ping Lee, Adrian David Cheok