1746 search results - page 220 / 350 » A Constructive Semantics for ALC |
121
click to vote
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
95
Voted
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— This video presents the Autonomous City Explorer (ACE) project. Its goal was to create a robot capable of navigating unknown urban environments without the use of GPS data or p...
100
click to vote
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
107
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
A recent approach to the problem of ontology matching has been to convert the problem of ontology matching to information retrieval. We explore the utility of this approach in matc...
CSMR
2008
IEEE
15 years 7 months ago
2008
IEEE
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...