Sciweavers

2031 search results - page 136 / 407
» Approximation Algorithms for 2-Stage Stochastic Optimization...
Sort
View
CONCUR
1999
Springer
14 years 16 days ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
GECCO
2005
Springer
117views Optimization» more  GECCO 2005»
14 years 1 months ago
Evolutionary algorithms for medical simulations: a case study in minimally-invasive vascular interventions
To obtain the expertise to correctly perform minimally– invasive vascular interventions thorough training is required. Training using simulation systems are increasingly becomin...
Peter A. N. Bosman, Tanja Alderliesten
GECCO
2007
Springer
140views Optimization» more  GECCO 2007»
14 years 2 months ago
On the moments of the sampling distribution of particle swarm optimisers
A method is presented that allows one to exactly determine all the characteristics of a PSO’s sampling distribution and explain how it changes over time, in the presence stochas...
Riccardo Poli
CHARME
1997
Springer
105views Hardware» more  CHARME 1997»
13 years 11 months ago
Simulation-based verification of network protocols performance
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Pa...
AAAI
2010
13 years 9 months ago
Approximation Algorithms and Mechanism Design for Minimax Approval Voting
We consider approval voting elections in which each voter votes for a (possibly empty) set of candidates and the outcome consists of a set of k candidates for some parameter k, e....
Ioannis Caragiannis, Dimitris Kalaitzis, Evangelos...