1056 search results - page 132 / 212 » Accelerated Shift-and-Add Algorithms |
JAR
2002
13 years 8 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
TODAES
2008
13 years 8 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
VR
2010
IEEE
13 years 7 months ago
2010
IEEE
We propose a novel interface called Twinkle for interacting with an arbitrary physical surface using a handheld projector and a camera. When a user flashes a projection light on ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
To build autonomous robots capable to plan and control tasks in human environments, we need a description of trajectories that allows the robot to reason on his moves. In this pape...
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper proposes a new approach for depth image-based rendering (DIBR) with low resolution depth using the 3D propagation algorithm. Our novel depth edge enhancement method ef ...