1636 search results - page 87 / 328 » Type-Theoretic Functional Semantics |
105
Voted
SWAP
2008
15 years 5 months ago
2008
In this paper we are presenting ongoing work on a software library for on-the-fly browsing of Semantic Web content that forms the informational context around an entity. This libra...
135
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...
126
Voted
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
142
Voted
AAAI
2006
15 years 5 months ago
2006
Information integration systems combine data from multiple heterogeneous Web services to answer complex user queries, provided a user has semantically modeled the service first. T...
352
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.