4617 search results - page 457 / 924 » Automation of Diagrammatic Reasoning |
161
click to vote
ECSQARU
1995
Springer
15 years 10 months ago
1995
Springer
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
198
click to vote
GIS
1995
ACM
15 years 10 months ago
1995
ACM
An algorithm is presented to answer window queries in a quadtree-based spatial database environment by retrieving the covering blocks in the underlying spatial database. It works ...
181
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...
207
click to vote
PLILP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
190
click to vote
TPHOL
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...