Sciweavers

1096 search results - page 179 / 220
» Abstract Canonical Inference
Sort
View
ICLP
1999
Springer
15 years 2 months ago
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
Yves Caseau, François-Xavier Josset, Fran&c...
ICCV
1998
IEEE
15 years 2 months ago
Detecting Changes in Aerial Views of Man-Made Structures
Many applications require detecting structural changes in a scene over a period of time. Comparing intensity values of successive images is not effective as such changes don'...
Andres Huertas, Ramakant Nevatia
MICCAI
1999
Springer
15 years 2 months ago
Fully Automatic 3D/2D Subtracted Angiography Registration
Abstract. Today, 3-D angiography volumes are routinely generated from rotational angiography sequences. In previous work [7], we have studied the precision reached by registering s...
Erwan Kerrien, Marie-Odile Berger, Eric Maurincomm...
SIGIR
1998
ACM
15 years 2 months ago
DOLORES: A System for Logic-Based Retrieval of Multimedia Objects
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
Norbert Fuhr, Norbert Gövert, Thomas Röl...
MICCAI
1998
Springer
15 years 1 months ago
Robust Brain Segmentation Using Histogram Scale-Space Analysis and Mathematical Morphology
Abstract. In this paper, we propose a robust fully non-supervised method dedicated to the segmentation of the brain in T1-weighted MR images. The first step consists in the analysi...
Jean-Francois Mangin, Olivier Coulon, Vincent Frou...