1636 search results - page 16 / 328 » Type-Theoretic Functional Semantics |
103
click to vote
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
111
click to vote
SOCO
2011
Springer
2011
Springer
A novel approach to annotating web service based on interface concept mapping and semantic expansion
14 years 4 months ago
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
134
click to vote
SEMWEB
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
IMCSIT
2010
14 years 7 months ago
2010
The paper presents an extended version of the SuperMatrix system -- a general tool supporting automatic acquisition of lexical semantic relations from corpora. Extensions focus mai...