Sciweavers

1524 search results - page 114 / 305
» Operational Semantics of Hybrid Systems
Sort
View
SEMWEB
2009
Springer
15 years 4 months ago
Lily: Ontology Alignment Results for OAEI 2009
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
Peng Wang, Baowen Xu
EMSOFT
2006
Springer
15 years 1 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
KI
2006
Springer
14 years 10 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
WEBI
2005
Springer
15 years 3 months ago
A Middleware System for Web-Based Digital Music Libraries
We present a middleware system that facilitates Internet users’ access to web-based digital music libraries and allows them to manipulate audio meta-information taking into cons...
Aristomenis S. Lampropoulos, Paraskevi S. Lampropo...
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
15 years 4 months ago
A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
Daniel Meyer-Delius, Christian Plagemann, Georg vo...