Sciweavers

2381 search results - page 177 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
MICCAI
2008
Springer
16 years 3 months ago
A Hybrid System for the Semantic Annotation of Sulco-Gyral Anatomy in MRI Images
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
Ammar Mechouche, Xavier Morandi, Christine Golbr...
MEMOCODE
2008
IEEE
15 years 8 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
ADVIS
2006
Springer
15 years 8 months ago
Contextual Ontologies
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...
Djamal Benslimane, Ahmed Arara, Gilles Falquet, Za...
ICMCS
1999
IEEE
148views Multimedia» more  ICMCS 1999»
15 years 6 months ago
A System for the Fast Prototyping of Multidimensional Image Retrieval
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
Carlo Meghini, Fabrizio Sebastiani, Umberto Stracc...
CONCUR
1990
Springer
15 years 6 months ago
A Temporal Calculus of Communicating Systems
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
Faron Moller, Chris M. N. Tofts