Sciweavers

4480 search results - page 704 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
AMC
2006
104views more  AMC 2006»
15 years 6 months ago
Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical ta
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
Warren D. Smith
DLOG
2004
15 years 7 months ago
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
ICCV
2007
IEEE
16 years 8 months ago
Evaluation of Large Scale Scene Reconstruction
We present an evaluation methodology and data for large scale video-based 3D reconstruction. We evaluate the effects of several parameters and draw conclusions that can be useful ...
Paul Merrell, Philippos Mordohai, Jan-Michael Frah...
ECCV
2004
Springer
16 years 8 months ago
Matching Tensors for Automatic Correspondence and Registration
Abstract. Complete 3-D modeling of a free-form object requires acquisition from multiple view-points. These views are then required to be registered in a common coordinate system b...
Ajmal S. Mian, Mohammed Bennamoun, Robyn A. Owens
ICPR
2006
IEEE
16 years 7 months ago
Phoneme segmentation of speech
In most approaches to speech recognition, the speech signals are segmented using constant-time segmentation, for example into 25 ms blocks. Constant segmentation risks losing info...
Bartosz Ziólko, Suresh Manandhar, Richard C...