Sciweavers

1029 search results - page 24 / 206
» Probabilistic Recurrence Relations
Sort
View
IJFCS
2008
108views more  IJFCS 2008»
14 years 10 months ago
On the Computation of the Relative Entropy of Probabilistic Automata
Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Mic...
ENTCS
2006
153views more  ENTCS 2006»
14 years 10 months ago
Automatic Complexity Analysis for Programs Extracted from Coq Proof
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
Jean-Pierre Jouannaud, Weiwen Xu
TOG
2012
255views Communications» more  TOG 2012»
13 years 18 days ago
A probabilistic model for component-based shape synthesis
We present an approach to synthesizing shapes from complex domains, by identifying new plausible combinations of components from existing shapes. Our primary contribution is a new...
Evangelos Kalogerakis, Siddhartha Chaudhuri, Daphn...