Sciweavers

10907 search results - page 226 / 2182
» Constraint Based Strategies
Sort
View
SAC
2010
ACM
14 years 5 months ago
Probabilistic relabelling strategies for the label switching problem in Bayesian mixture models
The label switching problem is caused by the likelihood of a Bayesian mixture model being invariant to permutations of the labels. The permutation can change multiple times betwee...
M. Sperrin, Thomas Jaki, E. Wit
DAC
2004
ACM
15 years 12 months ago
A general decomposition strategy for verifying register renaming
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
Hazem I. Shehata, Mark Aagaard
87
Voted
CHI
2003
ACM
15 years 11 months ago
When one isn't enough: an analysis of virtual desktop usage strategies and their implications for design
Screen space is a limited resource for computer users-multiple monitors are one means of workspace expansion, and "virtual desktops" are yet another way to increase scre...
Meredith Ringel
ICTAI
2009
IEEE
15 years 5 months ago
Evolution Strategies for Constants Optimization in Genetic Programming
Evolutionary computation methods have been used to solve several optimization and learning problems. This paper describes an application of evolutionary computation methods to con...
César Luis Alonso, José Luis Monta&n...
83
Voted
ICRA
2008
IEEE
105views Robotics» more  ICRA 2008»
15 years 5 months ago
A ladybug exploration strategy for distributed adaptive coverage control
— A control strategy inspired by the hunting tactics of ladybugs is presented to simultaneously achieve sensor coverage and exploration of an area with a group of networked robot...
Mac Schwager, Francesco Bullo, David Skelly, Danie...