5615 search results - page 362 / 1123 » On the Computational Capabilities of Several Models |
198
click to vote
GRID
2010
Springer
15 years 5 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
300
click to vote
ICDE
1999
IEEE
16 years 9 months ago
1999
IEEE
This paper presents a general model for estimating access times of serpentine tape drives. The model is used to schedule I/O requests in order to minimize the total access time. W...
228
click to vote
ICML
1995
IEEE
16 years 8 months ago
1995
IEEE
Partially observable Markov decision processes (pomdp's) model decision problems in which an agent tries to maximize its reward in the face of limited and/or noisy sensor fee...
194
click to vote
ICCD
2001
IEEE
16 years 4 months ago
2001
IEEE
This paper deals with low-energy code generation for a highly optimized digital signal processor designed for mobile communication applications. We present a genetic algorithm bas...
222
click to vote
ICRA
2008
IEEE
16 years 2 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...