874 search results - page 81 / 175 » Computing Weighted Solutions in Answer Set Programming |
133
click to vote
COMMA
2010
14 years 7 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
96
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
104
click to vote
SAGT
2010
Springer
14 years 11 months ago
2010
Springer
Recent results showing PPAD-completeness of the problem of computing an equilibrium for Fisher’s market model under additively separable, piecewise-linear, concave utilities (pl...
123
Voted
BMCBI
2007
15 years 29 days ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
116
click to vote
CCE
2004
15 years 21 days ago
2004
The Resource-Constrained Project Scheduling Problem(RCPSP) is a significant challenge in highly regulated industries, such as pharmaceuticals and agrochemicals, where a large numb...