Sciweavers

1341 search results - page 154 / 269
» Probabilistic Abstraction Hierarchies
Sort
View
88
Voted
ASPDAC
2005
ACM
123views Hardware» more  ASPDAC 2005»
15 years 2 months ago
Yield driven gate sizing for coupling-noise reduction under uncertainty
Abstract— This paper presents a post-route gate-sizing algorithm for coupling-noise reduction that constrains the yield loss under process variations. Algorithms for coupling-noi...
Debjit Sinha, Hai Zhou
100
Voted
AGI
2008
15 years 2 months ago
Artificial General Intelligence through Large-Scale, Multimodal Bayesian Learning
Abstract. An artificial system that achieves human-level performance on opendomain tasks must have a huge amount of knowledge about the world. We argue that the most feasible way t...
Brian Milch
128
Voted
ESANN
2006
15 years 2 months ago
A Gaussian process latent variable model formulation of canonical correlation analysis
Abstract. We investigate a nonparametric model with which to visualize the relationship between two datasets. We base our model on Gaussian Process Latent Variable Models (GPLVM)[1...
Gayle Leen, Colin Fyfe
131
Voted
IPL
2008
110views more  IPL 2008»
15 years 21 days ago
Reduction of stochastic parity to stochastic mean-payoff games
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
Krishnendu Chatterjee, Thomas A. Henzinger
JOLLI
2006
80views more  JOLLI 2006»
15 years 20 days ago
Means-End Relations and a Measure of Efficacy
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
Jesse Hughes, Albert C. Esterline, Bahram Kimiagha...