Sciweavers

2543 search results - page 189 / 509
» Optimal Ordered Problem Solver
Sort
View
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
15 years 10 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
125
Voted
ICC
2008
IEEE
118views Communications» more  ICC 2008»
15 years 9 months ago
Placement of Multiple Mobile Data Collectors in Underwater Acoustic Sensor Networks
—For the sake of maximizing the network lifetime, we propose a novel placement scheme for mobile data collectors in Underwater Acoustic Sensor Networks (UASNs). Our scheme is bas...
Waleed Alsalih, Selim G. Akl, Hossam S. Hassanein
133
Voted
LCN
2008
IEEE
15 years 9 months ago
Delay constrained placement of mobile data collectors in underwater acoustic sensor networks
—We propose a scheme for routing and placement of mobile data collectors in Underwater Acoustic Sensor Networks (UASNs). The proposed scheme maximizes the lifetime of the network...
Waleed Alsalih, Hossam S. Hassanein, Selim G. Akl
118
Voted
ECML
2005
Springer
15 years 9 months ago
Model-Based Online Learning of POMDPs
Abstract. Learning to act in an unknown partially observable domain is a difficult variant of the reinforcement learning paradigm. Research in the area has focused on model-free m...
Guy Shani, Ronen I. Brafman, Solomon Eyal Shimony
119
Voted
ICCS
2003
Springer
15 years 8 months ago
Self-Adapting Numerical Software and Automatic Tuning of Heuristics
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
Jack Dongarra, Victor Eijkhout