12148 search results - page 92 / 2430 » Generalized Bundle Methods |
MM
2004
ACM
14 years 2 months ago
2004
ACM
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...
FMCAD
2009
Springer
14 years 28 days ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
ICVGIP
2004
13 years 10 months ago
2004
In this paper we propose an eigenimage based superresolution reconstruction technique. Eigenimages of a database of several similar low resolution images are obtained and the give...
IJCAI
1989
13 years 10 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure ...