Sciweavers

1317 search results - page 90 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
ICFEM
2010
Springer
15 years 4 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...
IBPRIA
2005
Springer
15 years 12 months ago
A Learning Framework for Object Recognition on Image Understanding
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...
Xavier Muñoz, Anna Bosch, Joan Martí...
FORMATS
2004
Springer
15 years 11 months ago
Learning of Event-Recording Automata
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
Olga Grinchtein, Bengt Jonsson, Martin Leucker
CORR
2011
Springer
190views Education» more  CORR 2011»
14 years 10 months ago
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify t...
Fangzhen Lin
ECBS
2008
IEEE
124views Hardware» more  ECBS 2008»
15 years 8 months ago
Hierarchical Model to Develop Component-Based Systems
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
Abdelkrim Amirat, Mourad Oussalah