Sciweavers

444 search results - page 25 / 89
» Erdos-Rado without choice
Sort
View
CONCUR
2001
Springer
14 years 3 days ago
The Control of Synchronous Systems, Part II
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
PVM
2010
Springer
13 years 6 months ago
Toward Performance Models of MPI Implementations for Understanding Application Scaling Issues
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
Torsten Hoefler, William Gropp, Rajeev Thakur, Jes...
ICDE
2009
IEEE
100views Database» more  ICDE 2009»
14 years 9 months ago
Recommendation Diversification Using Explanations
Abstract-- We introduce the novel notion of explanationbased diversification to address the well-known problem of overspecialization in item recommendations. Over-specialization in...
Cong Yu, Laks V. S. Lakshmanan, Sihem Amer-Yahia
EMSOFT
2007
Springer
14 years 1 months ago
E-FRP with priorities
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
14 years 1 months ago
An experimental analysis of evolution strategies and particle swarm optimisers using design of experiments
The success of evolutionary algorithms (EAs) depends crucially on finding suitable parameter settings. Doing this by hand is a very time consuming job without the guarantee to ...
Oliver Kramer, Bartek Gloger, Andreas Goebels