5624 search results - page 890 / 1125 » On Conditional Covering Problem |
129
click to vote
ICB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Heterogeneous face images come from different lighting conditions or different imaging devices, such as visible light (VIS) and near infrared (NIR) based. Because heter...
132
click to vote
IFM
2009
Springer
15 years 9 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
162
click to vote
LOCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
115
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
111
click to vote
NOSSDAV
2009
Springer
15 years 9 months ago
2009
Springer
We investigate the problem of securing the delivery of scalable video streams so that receivers can ensure the authenticity (originality and integrity) of the video. Our focus is ...