Sciweavers

6102 search results - page 459 / 1221
» Generating Optimizing Specializers
Sort
View
155
Voted
VMV
2003
170views Visualization» more  VMV 2003»
15 years 5 months ago
Performance Analysis of Nearest Neighbor Algorithms for ICP Registration of 3-D Point Sets
There are many nearest neighbor algorithms tailormade for ICP, but most of them require special input data like range images or triangle meshes. We focus on efficient nearest nei...
Timo Zinßer, Jochen Schmidt, Heinrich Nieman...
109
Voted
VMV
2000
122views Visualization» more  VMV 2000»
15 years 5 months ago
Building a Photo Studio for Measurement Purposes
A digital photo studio was built to generate high quality real world input data for various imagebased rendering and vision algorithms. Special attention was paid to carefully con...
Michael Goesele, Wolfgang Heidrich, Hendrik P. A. ...
111
Voted
AIPS
1996
15 years 5 months ago
Deduction-Based Refinement Planning
Weintroduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refmementproceeds by stepwise transforming nonco...
Werner Stephan, Susanne Biundo
128
Voted
EACL
1993
ACL Anthology
15 years 5 months ago
New Frontiers Beyond Context-Freeness: DI-Grammars And DI-Automata
A new class of formal languages will be defined the Distributed Index Languages (DI-languages). The grammar-formalism generating the new class - the DI-grammars - cover unbound de...
Peter Staudacher
AML
2007
80views more  AML 2007»
15 years 4 months ago
Normal forms for fuzzy logics: a proof-theoretic approach
A method is described for obtaining conjunctive normal forms for logics using Gentzen-style rules possessing a special kind of strong invertibility. This method is then applied to ...
Petr Cintula, George Metcalfe