8413 search results - page 246 / 1683 » Ordering Problem Subgoals |
80
Voted
CORR
2007
Springer
15 years 24 days ago
2007
Springer
Let S be an ordered set of disjoint unit spheres in R3 . We show that if every subset of at most six spheres from S admits a line transversal respecting the ordering, then the ent...
81
Voted
ICCBR
1999
Springer
15 years 5 months ago
1999
Springer
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more diæcult target problems or make a solution very expensive. Some of these pr...
88
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable progress has been made in identifying properties which ensure tracta...
122
click to vote
ANOR
2006
15 years 27 days ago
2006
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
111
Voted
SC
2005
ACM
15 years 6 months ago
2005
ACM
A very challenging issue for optimizing compilers is the phase ordering problem: In what order should a collection of compiler optimizations be performed? We address this problem ...