1636 search results - page 161 / 328 » Type-Theoretic Functional Semantics |
126
click to vote
PRDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
136
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...
141
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
118
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...
127
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we describe the functionality of a toolkit for sharing and long-term use of different types of geological data sets across disciplines. Our tools allow users to ...