4106 search results - page 693 / 822 » A Computational Model for Metric Spaces |
210
click to vote
ROBOCUP
2007
Springer
16 years 20 days ago
2007
Springer
This paper presents a robust tracking system for autonomous robots equipped with omnidirectional cameras. The proposed method uses a 3D shape and color-based object model. This all...
147
click to vote
GLVLSI
2005
IEEE
16 years 4 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
155
click to vote
COLT
2005
Springer
16 years 2 days ago
2005
Springer
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...
147
click to vote
ICANN
2005
Springer
16 years 1 days ago
2005
Springer
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
168
click to vote
ILP
2005
Springer
16 years 1 days ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...