683 search results - page 97 / 137 » Randomized Data Structures for the Dynamic Closest-Pair Prob... |
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
COOPIS
1999
IEEE
14 years 4 days ago
1999
IEEE
A distributed multimedia information system allows users to access data of different modalities, from different data sources, ranked by various combinationsof criteria. In [6], Fa...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
FLAIRS
2004
13 years 9 months ago
2004
Novelty detection in time series is an important problem with application in different domains such as machine failure detection, fraud detection and auditing. An approach to this...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
Tracking articulated objects in image sequences remains a challenging problem, particularly in terms of the ability to localize the individual parts of an object given selfocclusi...