1545 search results - page 168 / 309 » Defeasible Description Logics |
SAC
2006
ACM
13 years 8 months ago
2006
ACM
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...
ANOR
2002
13 years 8 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
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...
GPC
2010
Springer
14 years 2 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
MEMOCODE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...