1636 search results - page 91 / 328 » Type-Theoretic Functional Semantics |
119
Voted
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...
109
Voted
COLING
2002
15 years 3 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
124
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...
147
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
130
Voted
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...