Sciweavers

672 search results - page 54 / 135
» Policy Search by Dynamic Programming
Sort
View
CPAIOR
2005
Springer
14 years 1 months ago
A Search-Infer-and-Relax Framework for Integrating Solution Methods
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
John N. Hooker
HASKELL
2008
ACM
13 years 9 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes
ICRA
2009
IEEE
122views Robotics» more  ICRA 2009»
14 years 2 months ago
Probabilistic search optimization and mission assignment for heterogeneous autonomous agents
— This paper presents an algorithmic framework for conducting search and identification missions using multiple heterogeneous agents. Dynamic objects of type “neutral” or ...
Timothy H. Chung, Moshe Kress, Johannes O. Royset
SIGMETRICS
2010
ACM
201views Hardware» more  SIGMETRICS 2010»
14 years 20 days ago
Load balancing via random local search in closed and open systems
In this paper, we analyze the performance of random load resampling and migration strategies in parallel server systems. Clients initially attach to an arbitrary server, but may s...
Ayalvadi Ganesh, Sarah Lilienthal, D. Manjunath, A...
ISMIR
2005
Springer
157views Music» more  ISMIR 2005»
14 years 1 months ago
A Partial Searching Algorithm and Its Application for Polyphonic Music Transcription
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
Wen Xue, M. Sandler