1193 search results - page 113 / 239 » Database Query Languages and Functional Logic Programming |
135
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
122
click to vote
ICPR
2000
IEEE
15 years 6 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
111
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
124
click to vote
VL
2000
IEEE
15 years 6 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
122
click to vote
INTERSENSE
2006
ACM
15 years 8 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...