4413 search results - page 197 / 883 » New Directions for CACM |
165
click to vote
IPPS
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper proposes and evaluates a new microarchitecture for out-of-order processors that supports speculative renaming. We call speculative renaming to the speculative omission ...
192
click to vote
IROS
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— To autonomously navigate on rough terrain is a challenging problem for mobile robots, requiring the ability to decide whether parts of the environment can be traversed ...
132
click to vote
ROMAN
2007
IEEE
16 years 14 days ago
2007
IEEE
— Autism covers a large spectrum of disorders that affect the individual’s way of interacting socially and is often revealed by the individual’s lack of interest in gazing at...
143
click to vote
SEFM
2007
IEEE
16 years 14 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
187
click to vote
CVPR
2009
IEEE
16 years 11 days ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...