1776 search results - page 305 / 356 » Using a Logic Programming Language with Persistence and Cont... |
CP
2006
Springer
14 years 17 days ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
VLDB
1991
ACM
14 years 10 days ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...
IADIS
2004
13 years 10 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
TPLP
2002
13 years 8 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
UM
2007
Springer
14 years 2 months ago
2007
Springer
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...