1746 search results - page 133 / 350 » A Constructive Semantics for ALC |
142
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
139
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
Complex real-time embedded systems should be compositional and deterministic in the resource, time, and value domains. Determinism eases the engineering of correct systems and com...
130
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
145
click to vote
WEBI
2007
Springer
15 years 10 months ago
2007
Springer
— We propose a hierarchical approach to document categorization that requires no pre-configuration and maps the semantic document space to a predefined taxonomy. The utilizatio...
121
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...