1285 search results - page 146 / 257 » An analysis of XQuery benchmarks |
BMVC
1998
14 years 11 months ago
1998
This paper presents a detailed comparative study of 4 rotation invariant texture analysis methods. Human subjects are included as a benchmark for the computational methods. Experi...
IJCAI
1997
14 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
14 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
14 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
14 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...