Sciweavers

6042 search results - page 443 / 1209
» Repeated Observation Models
Sort
View
BIOID
2008
157views Biometrics» more  BIOID 2008»
15 years 9 months ago
Modeling Marginal Distributions of Gabor Coefficients: Application to Biometric Template Reduction
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
Daniel González-Jiménez, José...
CAV
2008
Springer
157views Hardware» more  CAV 2008»
15 years 9 months ago
Effective Program Verification for Relaxed Memory Models
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
Sebastian Burckhardt, Madanlal Musuvathi
UAI
2008
15 years 9 months ago
Continuous Time Dynamic Topic Models
In this paper, we develop the continuous time dynamic topic model (cDTM). The cDTM is a dynamic topic model that uses Brownian motion to model the latent topics through a sequenti...
Chong Wang, David M. Blei, David Heckerman
ACL
2006
15 years 9 months ago
Modeling Human Sentence Processing Data with a Statistical Parts-of-Speech Tagger
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
Jihyun Park
ACL
2006
15 years 9 months ago
A Finite-State Model of Human Sentence Processing
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
Jihyun Park, Chris Brew