2138 search results - page 44 / 428 » Logical Step-Indexed Logical Relations |
118
click to vote
GEOINFORMATICA
2011
14 years 4 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
AAAI
2006
14 years 11 months ago
2006
A novel and simple combination of inductive logic programming with kernel methods is presented. The kFOIL algorithm integrates the well-known inductive logic programming system FO...
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
107
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
Connectivity analysis methodology is suitable to find representative symptoms of a disease. This methodology describes connections between symptoms in particular way and then choos...