2017 search results - page 52 / 404 » Distributional Semantics in Technicolor |
ECOOPW
1994
Springer
14 years 25 days ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Semantic Web technology is intended for the retrieval, collection, and analysis of meaningful data with significant automation afforded by machine understandability of data [1]. A...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
SIGMOD
2002
ACM
14 years 8 months ago
2002
ACM
Semantic Web Enabled Web Services (SWWS) will transform the web from a static collection of information into a distributed device of computation on the basis of Semantic Web techn...