Sciweavers

225 search results - page 25 / 45
» Progressive photon mapping
Sort
View
DATE
2008
IEEE
85views Hardware» more  DATE 2008»
14 years 2 months ago
Improved Visibility in One-to-Many Trace Concretization
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
Kuntal Nanshi, Fabio Somenzi
CRV
2007
IEEE
161views Robotics» more  CRV 2007»
14 years 1 months ago
Dense Stereo Range Sensing with Marching Pseudo-Random Patterns
As an extension to classical structured lighting techniques, the use of bi-dimensional pseudo-random color codes is explored to perform range sensing with variable density from a ...
Danick Desjardins, Pierre Payeur
ICDAR
2005
IEEE
14 years 1 months ago
UPX: A New XML Representation for Annotated Datasets of Online Handwriting Data
This paper introduces our efforts to create UPX, an XML-based successor to the venerable UNIPEN format for the representation of annotated datasets of online handwriting data. In ...
Mudit Agrawal, Kalika Bali, Sriganesh Madhvanath, ...
ICANN
2005
Springer
14 years 1 months ago
Reinforcement Learning in MirrorBot
For this special session of EU projects in the area of NeuroIT, we will review the progress of the MirrorBot project with special emphasis on its relation to reinforcement learning...
Cornelius Weber, David Muse, Mark Elshaw, Stefan W...
ICAPR
2005
Springer
14 years 1 months ago
The RW2 Algorithm for Exact Graph Matching
The RW algorithm has been proposed recently to solve the exact graph matching problem. This algorithm exploits Random Walk theory to compute a topological signature which can be u...
Marco Gori, Marco Maggini, Lorenzo Sarti