5482 search results - page 439 / 1097 » Logic Programming and Databases |
184
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
189
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
190
click to vote
AMAST
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
315
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
179
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...