1057 search results - page 191 / 212 » Accelerating the LSTRS Algorithm |
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 6 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...
MVA
2011
13 years 3 months ago
2011
Abstract This paper describes novel implementations of the KLT feature tracking and SIFT feature extraction algorithms that run on the graphics processing unit (GPU) and is suitabl...