Sciweavers

2253 search results - page 221 / 451
» The ComFoRT Reasoning Framework
Sort
View
ASWC
2006
Springer
15 years 2 months ago
Modular Ontologies - A Formal Investigation of Semantics and Expressivity
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
Jie Bao, Doina Caragea, Vasant Honavar
COMPSAC
2004
IEEE
15 years 2 months ago
Modular Design of Reactive Systems
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
Cristina Cerschi Seceleanu, Tiberiu Seceleanu
ICPR
2010
IEEE
15 years 2 months ago
Scene Text Extraction with Edge Constraint and Text Collinearity
In this paper, we propose a framework for isolating text regions from natural scene images. The main algorithm has two functions: it generates text region candidates, and it veriï...
Seonghun Lee, Kyomin Jung, Jin Hyung Kim
COOPIS
2004
IEEE
15 years 2 months ago
Cooperative Artefacts
In this position paper we introduce Cooperative Artefacts, physical objects that embed sensing, communication, computation and actuation in physical objects. In contrast to many ot...
Hans-Werner Gellersen
FTDCS
2004
IEEE
15 years 2 months ago
Introducing Compositionality in Web Service Descriptions
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
Monika Solanki, Antonio Cau, Hussein Zedan