Sciweavers

2173 search results - page 143 / 435
» An operational semantics for skeletons
Sort
View
ICSOC
2003
Springer
14 years 3 months ago
Semantic Structure Matching for Assessing Web-Service Similarity
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
Yiqiao Wang, Eleni Stroulia
FLAIRS
2007
14 years 17 days ago
Semantic Relations: Modelling Issues, Proposals and Possible Applications
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
Francisco Álvarez, Antonio Vaquero, Fernand...
DLT
2006
13 years 11 months ago
Well-Founded Semantics for Boolean Grammars
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
Vassilis Kountouriotis, Christos Nomikos, Panos Ro...
IS
2006
13 years 10 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
RAS
2008
149views more  RAS 2008»
13 years 9 months ago
Robot task planning using semantic maps
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
Cipriano Galindo, Juan-Antonio Fernandez-Madrigal,...