1552 search results - page 232 / 311 » On the Complexity of Constant Propagation |
197
click to vote
CSR
2007
Springer
16 years 18 days ago
2007
Springer
The maximum constraint satisfaction problem (Max CSP) is the following computational problem: an instance is a finite collection of constraints on a set of variables, and the goal...
144
click to vote
ECAL
2007
Springer
16 years 18 days ago
2007
Springer
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...
163
click to vote
EVOW
2007
Springer
16 years 18 days ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
163
click to vote
ICDT
2007
ACM
16 years 18 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
197
click to vote
ISAAC
2007
Springer
16 years 17 days ago
2007
Springer
In this paper, we present two linear-size external memory data structures for approximate range searching. Our first structure, the BAR-B-tree, stores a set of N points in Rd and ...