Sciweavers

3255 search results - page 493 / 651
» Combination of Abstractions in the ASTR
Sort
View
ECML
2007
Springer
14 years 2 months ago
Efficient Continuous-Time Reinforcement Learning with Adaptive State Graphs
Abstract. We present a new reinforcement learning approach for deterministic continuous control problems in environments with unknown, arbitrary reward functions. The difficulty of...
Gerhard Neumann, Michael Pfeiffer, Wolfgang Maass
ECML
2007
Springer
14 years 2 months ago
User Oriented Hierarchical Information Organization and Retrieval
Abstract. In order to organize huge document collections, labeled hierarchical structures are used frequently. Users are most efficient in navigating such hierarchies, if they refl...
Korinna Bade, Marcel Hermkes, Andreas Nürnber...
DILS
2009
Springer
14 years 2 months ago
An Integration and Analysis Pipeline for Systems Biology in Crop Plant Metabolism
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
Stephan Weise, Christian Colmsee, Eva Grafahrend-B...
FMCAD
2009
Springer
14 years 2 months ago
Generalized, efficient array decision procedures
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...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ICC
2007
IEEE
14 years 2 months ago
On the Energy Efficiency of Hybrid-ARQ Protocols in Fading Channels
Abstract-- As the distance between terminals in modern wireless networks tends to decrease, the energy consumption issue, conventionally assumed to be exclusively dominated by the ...
Igor Stanojev, Osvaldo Simeone, Yeheskel Bar-Ness,...