1131 search results - page 192 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
110
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
105
Voted
WICSA
2004
15 years 1 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
AROBOTS
1998
15 years 3 days ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
201
Voted
POPL
2005
ACM
16 years 22 days ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
118
Voted
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...