1242 search results - page 144 / 249 » Benchmark Analysis with FaCT |
IJCAI
1997
13 years 11 months ago
1997
Understanding three simultaneous speeches is proposed as a challenge problem to foster artificial intelligence, speech and sound understanding or recognition, and computational au...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
Discrete mixed membership modeling and continuous latent factor modeling (also known as matrix factorization) are two popular, complementary approaches to dyadic data analysis. In...
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper describes a publicly available database of subjective scores, relative to quality assessment of 156 video streams encoded with H.264/AVC and corrupted by simulating pac...
IPM
2006
13 years 10 months ago
2006
A methodology for automatically identifying and clustering semantic features or topics in a heterogeneous text collection is presented. Textual data is encoded using a low rank no...