Sciweavers

6693 search results - page 809 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
ICRA
2007
IEEE
170views Robotics» more  ICRA 2007»
16 years 21 days ago
Space-time A Contrario Clustering for Detecting Coherent Motions
Abstract— This paper presents a method for detecting independent temporally-persistent motion patterns in image sequences. The result is a description of the dynamic content of a...
Thomas Veit, Frédéric Cao, Patrick B...
SIGGRAPH
2010
ACM
15 years 11 months ago
Image deblurring using inertial measurement sensors
We present a deblurring algorithm that uses a hardware attachment coupled with a natural image prior to deblur images from consumer cameras. Our approach uses a combination of ine...
Neel Joshi, Sing Bing Kang, C. Lawrence Zitnick, R...
HRI
2007
ACM
15 years 10 months ago
Natural person-following behavior for social robots
We are developing robots with socially appropriate spatial skills not only to travel around or near people, but also to accompany people side-by-side. As a step toward this goal, ...
Rachel Gockley, Jodi Forlizzi, Reid G. Simmons
CONCUR
2006
Springer
15 years 10 months ago
Proving Liveness by Backwards Reachability
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, ...
GECCO
2008
Springer
130views Optimization» more  GECCO 2008»
15 years 7 months ago
Parsimony pressure made easy
The parsimony pressure method is perhaps the simplest and most frequently used method to control bloat in genetic programming. In this paper we first reconsider the size evolutio...
Riccardo Poli, Nicholas Freitag McPhee