5482 search results - page 334 / 1097 » Logic Programming and Databases |
370
click to vote
ICLP
2011
Springer
14 years 10 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
294
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
159
click to vote
TIME
2003
IEEE
15 years 12 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
216
click to vote
APWEB
2008
Springer
15 years 8 months ago
2008
Springer
Information exchanges in P2P networks have become very popular in recent years. However, tracing how data circulates between peers and how data modifications are performed during t...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....