5130 search results - page 725 / 1026 » Constraint Query Languages |
175
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
192
click to vote
CL
2010
Springer
15 years 7 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
178
Voted
ICIP
1995
IEEE
16 years 8 months ago
1995
IEEE
Receiver operating characteristics (ROC) curves have the property that they start at (0,l) and end at (1,O) and are monotonically decreasing. Furthermore, a parametric representat...
288
Voted
VLDB
2001
ACM
16 years 7 months ago
2001
ACM
The correctness of the data managed by database systems is vital to any application that utilizes data for business, research, and decision-making purposes. To guard databases agai...
232
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...