Sciweavers

2148 search results - page 195 / 430
» Responsiveness in Process Calculi
Sort
View
ECML
2007
Springer
15 years 5 months ago
Additive Groves of Regression Trees
We present a new regression algorithm called Additive Groves and show empirically that it is superior in performance to a number of other established regression methods. A single G...
Daria Sorokina, Rich Caruana, Mirek Riedewald
EPIA
2007
Springer
15 years 5 months ago
Convergence of Independent Adaptive Learners
In this paper we analyze the convergence of independent adaptive learners in repeated games. We show that, in this class of games, independent adaptive learners converge to pure Na...
Francisco S. Melo, Manuel C. Lopes
85
Voted
ISI
2007
Springer
15 years 5 months ago
Organizing Hot-Spot Police Patrol Routes
—We address the problem of planning patrol routes to maximize coverage of important locations (hot spots) at minimum cost (length of patrol route). We model a road network using ...
Sudarshan S. Chawathe
LSMS
2007
Springer
15 years 5 months ago
AOC-by-Self-discovery Modeling and Simulation for HIV
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
Chunxiao Zhao, Ning Zhong, Ying Hao
PADL
2007
Springer
15 years 5 months ago
Automatic Incrementalization of Prolog Based Static Analyses
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
Michael Eichberg, Matthias Kahl, Diptikalyan Saha,...