89463 search results - page 29 / 17893 » From |
114
Voted
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
141
Voted
ISI
2004
Springer
15 years 8 months ago
2004
Springer
It is important to automatically extract key information from sensitive text documents for intelligence analysis. Text documents are usually unstructured and information extraction...
116
Voted
DGCI
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes two new methods for the reconstruction of discrete surfaces from shading images. Both approaches are based on the reconstruction of a discrete surface by mixin...
144
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
This paper describes a method to recover scene geometry from the second-bounce of light transport. We show that form factors (up to a scaling ambiguity) can be derived from the sec...
134
Voted
GMP
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a method for medial surface reconstruction from volumetric data of thin-plate objects including junctions. Given medial voxels and distance fields computed from binariz...