15754 search results - page 621 / 3151 » Programs are Knowledge Bases |
201
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
We consider the problem of reconstructing a smooth surface under constraints that have discrete ambiguities. These problems arise in areas such as shape from texture, shape from sh...
164
click to vote
ICLP
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...
196
click to vote
EUROGP
2006
Springer
15 years 11 months ago
2006
Springer
This paper investigates the use of genetic programming in automatized synthesis of scheduling heuristics. The applied scheduling technique is priority scheduling, where the next st...
169
click to vote
LCR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
173
click to vote
SIAMJO
2008
15 years 7 months ago
2008
We develop in this article a geometric approach to duality in Multiple Objective Linear Programming. This approach is based on a very old idea, the duality of polytopes, which can...