1088 search results - page 32 / 218 » A Bayesian Approach to Tackling Hard Computational Problems |
112
Voted
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
Abstract—Pervasive applications are characterized by variations in their context of execution. Their correct behavior requires continuous adaptations, accordingly to changes obse...
109
Voted
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We consider the problem of autonomously estimating position and orientation of an object from tactile data. When initial uncertainty is high, estimation of all six para...
129
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
144
Voted
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
176
click to vote
HEURISTICS
2010
14 years 10 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...