1002 search results - page 97 / 201 » Constraint Answer Set Solving |
IPCO
2007
13 years 9 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in ï¬nance, engineering, statistical learnin...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
In data stream applications, data arrive continuously and can only be scanned once as the query processor has very limited memory (relative to the size of the stream) to work with...
EOR
2007
13 years 8 months ago
2007
The knapsack problem (KP) is generalized to the case where items are partially ordered through a set of precedence relations. As in ordinary KPs, each item is associated with proï...
CSFW
2010
IEEE
14 years 3 days ago
2010
IEEE
—Authorization logics allow concise speciï¬cation of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
LPNMR
2001
Springer
14 years 19 days ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...