1636 search results - page 129 / 328 » Type-Theoretic Functional Semantics |
153
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
171
click to vote
EUROSSC
2009
Springer
15 years 10 months ago
2009
Springer
Geographical information retrieval (GIR) can benefit from context information to adapt the results to a user’s current situation and personal preferences. In this respect, seman...
170
click to vote
SG
2005
Springer
15 years 9 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
154
click to vote
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
We present an approach on how to investigate what kind of semantic information is regularly associated with the structural markup of scientific articles. This approach addresses ...
133
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
KiWi is a semantic Wiki that combines the Wiki philosophy of collaborative content creation with the methods of the Semantic Web in order to enable effective knowledge management...