740 search results - page 90 / 148 » Open Answer Set Programming with Guarded Programs |
UM
2001
Springer
14 years 13 days ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
ICALP
2009
Springer
14 years 18 days ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
IPCO
2008
13 years 9 months ago
2008
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...
Source Code
This is an infrastructure code that integrates C++/Vt/Qt/Newmat into a cross-platform program that can run on any plateform Unix/Linux/Windows. For demo purposes, it loads any segm...
SODA
2012
ACM
11 years 10 months ago
2012
ACM
We give a constant factor approximation algorithm for the following generalization of the k-median problem. We are given a set of clients and facilities in a metric space. Each fa...