1802 search results - page 217 / 361 » Model-based Theory Combination |
MM
2010
ACM
13 years 10 months ago
2010
ACM
This paper investigates the influence of the combination of the scalability parameters in scalable video coding (SVC) schemes on the subjective visual quality. We aim at providing...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
CVPR
2008
IEEE
13 years 10 months ago
2008
IEEE
Learning a robust projection with a small number of training samples is still a challenging problem in face recognition, especially when the unseen faces have extreme variation in...
AAMAS
2007
Springer
13 years 10 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
DM
2008
13 years 10 months ago
2008
The present paper continues the study (begun by Quattrocchi, Colouring 4-cycle systems with specified block colour pattern: the case of embedding P3-designs, Electron. J. Combin.,...