6894 search results - page 1029 / 1379 » Generation Problems |
187
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
175
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
—P2P storage systems use replication to provide a certain level of availability. While the system must generate new replicas to replace replicas lost to permanent failures, it ca...
181
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Motion blur is a severe problem in images grabbed by legged robots and, in particular, by small humanoid robots. Standard feature extraction and tracking approaches typically f...
206
Voted
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this article a new method is presented to obtain a full and precise calibration of camera-robot systems with eyein-hand cameras. It achieves a simultaneous and numerically s...
158
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Shape is one of the useful information for object detection. The human visual system can often recognize objects based on the 2-D outline shape alone. In this paper, we address...