857 search results - page 27 / 172 » Compositional Semantics in Verbmobil |
152
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
155
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
170
click to vote
WECWIS
2006
IEEE
16 years 10 hour ago
2006
IEEE
Self-Healing and self-optimizing service based applications are important steps towards the self-organizing Service Oriented Architectures (SOA). Self-Organizing SOAs replace serv...
171
click to vote
ATVA
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
159
click to vote
ICASSP
2007
IEEE
16 years 10 days ago
2007
IEEE
This paper introduces a composite learning approach for image retrieval with relevance feedback. The proposed system combines the radial basis function (RBF) based lowlevel learni...