16091 search results - page 268 / 3219 » Solving |
190
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
197
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
187
click to vote
ANOR
2008
15 years 6 months ago
2008
This paper deals with the job-shop scheduling problem with sequencedependent setup times. We propose a new method to solve the makespan minimization problem to optimality. The met...
167
click to vote
ENGL
2008
15 years 6 months ago
2008
This paper presents an intelligent decision support system (DSS) for facilitating the adoption of the most appropriate multicriteria analysis (MA) method in solving the information...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal