Sciweavers

1636 search results - page 142 / 328
» Type-Theoretic Functional Semantics
Sort
View
AMAST
2008
Springer
15 years 6 months ago
Service Specification and Matchmaking Using Description Logic
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
M. Birna van Riemsdijk, Rolf Hennicker, Martin Wir...

Book
246views
17 years 2 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
SEMWEB
2007
Springer
15 years 10 months ago
Tag Mediated Society with SCOT Ontology
Abstract. In this paper we give an overview of the int.ere.st for a social tagging, bookmarking, and sharing service. It is based on the SCOT ontology. The SCOT ontology can repres...
Hak Lae Kim, Sung-Kwon Yang, Seung-Jae Song, John ...
SEMWEB
2007
Springer
15 years 10 months ago
On the Foundations of Computing Deltas Between RDF Models
The ability to compute the differences that exist between two RDF models is an important step to cope with the evolving nature of the Semantic Web (SW). In particular, RDF Deltas c...
Dimitris Zeginis, Yannis Tzitzikas, Vassilis Chris...
SAC
2006
ACM
15 years 10 months ago
Semantic-based information retrieval of biomedical data
In this paper, we propose to improve the effectiveness of biomedical information retrieval via a medical thesaurus. We analyzed the deficiencies of the existing medical thesauri a...
Peng Yan, Yu Jiao, Ali R. Hurson, Thomas E. Potok