A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in ï¬nance, engineering, statistical learnin...
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...
Nick Koudas, Beng Chin Ooi, Kian-Lee Tan, Rui Zhan...
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ï...
—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...
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...