4229 search results - page 181 / 846 » On the Optimality of Spiral Search |
IPTPS
2005
Springer
15 years 7 months ago
2005
Springer
A great deal of work has been done to improve peerto-peer routing by strategically moving or replicating content. However, there are many applications for which a peer-to-peer arc...
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
VISUALIZATION
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper presents a novel approach to assist the user in exploring appropriate transfer functions for the visualization of volumetric datasets. The search for a transfer functio...
105
click to vote
CIBCB
2007
IEEE
15 years 5 months ago
2007
IEEE
-- A large and reliable DNA codeword library is the key to the success of DNA based computing. Searching for the set of reliable DNA codewords is an NP-hard problem, which can take...
107
click to vote
AAAI
2004
15 years 2 months ago
2004
The search for finite-state controllers for partially observable Markov decision processes (POMDPs) is often based on approaches like gradient ascent, attractive because of their ...