Sciweavers

663 search results - page 6 / 133
» E-connections of abstract description systems
Sort
View
ICCBR
2010
Springer
13 years 11 months ago
An Algorithm for Adapting Cases Represented in an Expressive Description Logic
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
Julien Cojan, Jean Lieber
AUSAI
2008
Springer
13 years 9 months ago
Using Probabilistic Feature Matching to Understand Spoken Descriptions
Abstract. We describe a probabilistic reference disambiguation mechanism developed for a spoken dialogue system mounted on an autonomous robotic agent. Our mechanism performs proba...
Ingrid Zukerman, Enes Makalic, Michael Niemann
FM
1999
Springer
114views Formal Methods» more  FM 1999»
13 years 11 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber
UML
1999
Springer
13 years 11 months ago
Using the UML for Architectural Description
Abstract. There is much interest in using the Unified Modeling Language (UML) for architectural description – those techniques by which architects sketch, capture, model, docume...
Rich Hilliard
FMOODS
2006
13 years 8 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün