3267 search results - page 316 / 654 » Computational Models of Language Acquisition |
159
click to vote
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
178
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We introduce the Spherical Admixture Model (SAM), a Bayesian topic model for arbitrary 2 normalized data. SAM maintains the same hierarchical structure as Latent Dirichlet Allocat...
220
click to vote
ACL
2010
15 years 4 months ago
2010
Probabilistic latent topic models have recently enjoyed much success in extracting and analyzing latent topics in text in an unsupervised way. One common deficiency of existing to...
168
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
188
click to vote
PPOPP
2005
ACM
16 years 8 days ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...