Sciweavers

568 search results - page 51 / 114
» On Latent Belief Structures
Sort
View
FMSD
2002
114views more  FMSD 2002»
13 years 9 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
SYNTHESE
2010
69views more  SYNTHESE 2010»
13 years 8 months ago
Social structure and the effects of conformity
Conformity is an often criticized feature of human belief formation. Although generally regarded as a negative influence on reliability, it has not been widely studied. This paper...
Kevin J. S. Zollman
UAI
2000
13 years 11 months ago
Adaptive Importance Sampling for Estimation in Structured Domains
Sampling is an important tool for estimating large, complex sums and integrals over highdimensional spaces. For instance, importance sampling has been used as an alternative to ex...
Luis E. Ortiz, Leslie Pack Kaelbling
NAACL
2010
13 years 7 months ago
Probabilistic Frame-Semantic Parsing
This paper contributes a formalization of frame-semantic parsing as a structure prediction problem and describes an implemented parser that transforms an English sentence into a f...
Dipanjan Das, Nathan Schneider, Desai Chen, Noah A...
MM
2006
ACM
127views Multimedia» more  MM 2006»
14 years 3 months ago
The computational extraction of temporal formal structures in the interactive dance work '22'
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
Vidyarani M. Dyaberi, Hari Sundaram, Thanassis Rik...