13383 search results - page 2421 / 2677 » Abstractions from proofs |
108
Voted
HCI
2007
15 years 5 months ago
2007
Informative Art display systems have been proposed to provide users with information considered relevant at arbitrary points of work or living engagement, originating from many dif...
121
click to vote
SODA
2008
ACM
15 years 5 months ago
2008
ACM
Abstract Ilan Gronau Shlomo Moran Sagi Snir Phylogenetic reconstruction is the problem of reconstructing an evolutionary tree from sequences corresponding to leaves of that tree. ...
153
Voted
RSS
2007
15 years 5 months ago
2007
Abstract— This paper considers the problem of learning to recognize different terrains from color imagery in a fully automatic fashion, using the robot’s mechanical sensors as ...
131
Voted
RSS
2007
15 years 5 months ago
2007
Abstract— We consider the task of omnidirectional path following for a quadruped robot: moving a four-legged robot along any arbitrary path while turning in any arbitrary manner....
130
click to vote
AAAI
2006
15 years 5 months ago
2006
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...