1636 search results - page 229 / 328 » Type-Theoretic Functional Semantics |
137
Voted
FLAIRS
2008
15 years 5 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
125
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
139
click to vote
ERCIMDL
2008
Springer
15 years 5 months ago
2008
Springer
We present iClusterDL, a self-organising overlay network that supports information retrieval and filtering functionality in a digital library environment. iClusterDL is able to han...
123
Voted
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Image mining and interpretation is a quite complex process. In this article, we propose to model expert knowledge on objects present in an image through an ontology. This ontology ...
136
Voted
FMOODS
2007
15 years 5 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...