Sciweavers

7326 search results - page 98 / 1466
» Methods for modalities 3
Sort
View
122
Voted
BMVC
2002
15 years 6 months ago
Orientation Correlation
A new method of translational image registration is presented: orientation correlation. The method is fast, exhaustive, statistically robust, and illumination invariant. No existi...
A. J. Fitch, Alexander Kadyrov, William J. Christm...
124
Voted
LOGCOM
2002
105views more  LOGCOM 2002»
15 years 3 months ago
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
Alberto Artosi, Guido Governatori, Antonino Rotolo
148
Voted
AGP
1995
IEEE
15 years 7 months ago
A Prolog Implementation of Kem
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
Alberto Artosi, Paola Cattabriga, Guido Governator...
128
Voted
ICCV
1999
IEEE
16 years 5 months ago
Appearance Compression and Synthesis based on 3D Model for Mixed Reality
Rendering photorealistic virtual objects from their real images is one of the main research issues in mixed reality systems. We previously proposed the Eigen-Texture method, a new...
Ko Nishino, Yoichi Sato, Katsushi Ikeuchi
113
Voted
ECCV
2000
Springer
16 years 5 months ago
Multimodal Elastic Matching of Brain Images
This paper presents an original method for three-dimensional elastic registration of multimodal images. We propose to make use of a scheme that iterates between correcting for inte...
Alexis Roche, Alexandre Guimond, Nicholas Ayache, ...