626 search results - page 105 / 126 » When Can Formal Methods Make a Real Difference |
139
Voted
SGP
2003
15 years 4 months ago
2003
One of the challenges in 3D shape matching arises from the fact that in many applications, models should be considered to be the same if they differ by a rotation. Consequently, w...
134
Voted
ACL
2010
15 years 1 months ago
2010
We present a novel framework for automated extraction and approximation of numerical object attributes such as height and weight from the Web. Given an object-attribute pair, we d...
160
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
The most popular way to use probabilistic models in vision is first to extract some descriptors of small image patches or object parts using well-engineered features, and then to...
131
click to vote
FLAIRS
2006
15 years 4 months ago
2006
Autonomous robots, such as automatic vacuum cleaners, toy robot dogs, and autonomous vehicles for the military, are rapidly becoming a part of everyday life. As a result the need ...
150
Voted
KES
1999
Springer
15 years 7 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...