Sciweavers

205 search results - page 33 / 41
» Monte Carlo Methods for Process Algebra
Sort
View
SLIP
2006
ACM
14 years 1 months ago
Generation of design guarantees for interconnect matching
Manufacturable design requires matching of interconnects which have equal nominal dimensions. New design rules are projected to bring guarantee rules for interconnect matching. In...
Andrew B. Kahng, Rasit Onur Topaloglu
3DPVT
2006
IEEE
188views Visualization» more  3DPVT 2006»
13 years 11 months ago
Statistical Inference of Biological Structure and Point Spread Functions in 3D Microscopy
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
Joseph Schlecht, Kobus Barnard, Barry Pryor
ATAL
2008
Springer
13 years 9 months ago
Searching for approximate equilibria in empirical games
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
Patrick R. Jordan, Yevgeniy Vorobeychik, Michael P...
COR
2006
122views more  COR 2006»
13 years 7 months ago
Multiple task assignments for cooperating uninhabited aerial vehicles using genetic algorithms
A problem of assigning cooperating uninhabited aerial vehicles to perform multiple tasks on multiple targets is posed as a new combinatorial optimization problem. A genetic algori...
Tal Shima, Steven J. Rasmussen, Andrew G. Sparks, ...
NECO
2002
145views more  NECO 2002»
13 years 7 months ago
Bayesian Model Assessment and Comparison Using Cross-Validation Predictive Densities
In this work, we discuss practical methods for the assessment, comparison, and selection of complex hierarchical Bayesian models. A natural way to assess the goodness of the model...
Aki Vehtari, Jouko Lampinen