536 search results - page 79 / 108 » A Translational Approach to Constraint Answer Set Solving |
109
click to vote
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
118
click to vote
APIN
2005
15 years 1 months ago
2005
A hybrid Neural-Genetic algorithm (NG) is presented for the frequency assignment problem in satellite communications (FAPSC). The goal of this problem is minimizing the cochannel i...
179
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
This paper addresses the problem of establishing correspondences
between two sets of visual features using
higher-order constraints instead of the unary or pairwise
ones used in...
179
click to vote
PATAT
2004
Springer
15 years 7 months ago
2004
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints of ...
87
Voted
ISAAC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...