536 search results - page 79 / 108 » A Translational Approach to Constraint Answer Set Solving |
126
Voted
KBSE
2002
IEEE
15 years 8 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...
136
Voted
APIN
2005
15 years 3 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...
196
Voted
CVPR
2009
IEEE
16 years 11 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...
196
Voted
PATAT
2004
Springer
15 years 9 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 ...
102
Voted
ISAAC
2003
Springer
15 years 9 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...