4498 search results - page 794 / 900 » How to Invent Functions |
182
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
165
Voted
LISA
2004
15 years 4 months ago
2004
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...
156
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Deblurring images of moving objects captured from a traditional camera is an ill-posed problem due to the loss of high spatial frequencies in the captured images. Recent techniques...
151
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We consider the problem of single image object motion deblurring from a static camera. It is well known that deblurring of moving objects using a traditional camera is ill-posed, d...
141
click to vote
CVPR
1999
IEEE
16 years 5 months ago
1999
IEEE
To navigate reliably in indoor environments, a mobile robot must know where it is. This includes both the ability of globally localizing the robot from scratch, as well as trackin...