6018 search results - page 149 / 1204 » Factored Translation Models |
121
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
126
click to vote
CLEF
2004
Springer
15 years 9 months ago
2004
Springer
Thomson Legal and Regulatory participated in the CLEF-2004 monolingual and bilingual tracks. Monolingual experiments included Portuguese, Russian and Finnish. We investigated a ne...
125
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we propose a framework of factorization-based non-rigid shape modeling and tracking in stereo-motion. We construct a measurement matrix with the stereo-motion data c...
132
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
An implicit assumption in psychometrics and educational statistics is that the generative model for student scores on test questions is governed by the topics of those questions an...
146
click to vote
SDM
2010
SIAM
15 years 5 months ago
2010
SIAM
The problem of missing data is ubiquitous in domains such as biomedical signal processing, network traffic analysis, bibliometrics, social network analysis, chemometrics, computer...