1414 search results - page 148 / 283 » Combining Intruder Theories |
122
Voted
CSR
2009
Springer
15 years 2 months ago
2009
Springer
We study the approximability of the maximum solution problem. This problem is an optimisation variant of the constraint satisfaction problem and it captures a wide range of interes...
109
click to vote
MM
2010
ACM
15 years 1 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
15 years 1 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...
144
Voted
CVPR
2008
IEEE
15 years 1 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
15 years 1 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...