1611 search results - page 223 / 323 » A Library for Self-Adjusting Computation |
145
click to vote
CAV
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
165
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
Thirteen years have passed since Karl Sims published his work on evolving virtual creatures. Since then, several novel approaches to neural network evolution and genetic algorithm...
163
click to vote
ICCS
2007
Springer
16 years 10 days ago
2007
Springer
We present an overview of an ongoing project to build a DDDAS for identifying and tracking chemicals in water. The project involves a new class of intelligent sensor, building a li...
145
click to vote
ISSAC
2007
Springer
16 years 10 days ago
2007
Springer
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...
172
click to vote
ISVC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The proposed work exploits methods and techniques for automatic characterization of images for content-based access to personal photo libraries. Several techniques, even ...