2635 search results - page 217 / 527 » Computing multihomogeneous resultants using straight-line pr... |
136
click to vote
JLP
2000
15 years 3 months ago
2000
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
129
Voted
ANOR
2008
15 years 3 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
168
Voted
NC
2002
15 years 3 months ago
2002
This paper presents an overview of our most recent results concerning the Particle Swarm Optimization (PSO) method. Techniques for the alleviation of local minima, and for detectin...
154
Voted
DAGSTUHL
1996
15 years 5 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
121
Voted
ASPLOS
1991
ACM
15 years 7 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...