3458 search results - page 406 / 692 » Abstracting Control |
124
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
136
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
133
click to vote
DAGM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This contribution presents a novel approach to the challenging problem of model selection in motion estimation from sequences of images. New light is cast on parametric m...
144
click to vote
DSOM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...
124
click to vote
FC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this usability study of phishing attacks and browser antiphishing defenses, 27 users each classified 12 web sites as fraudulent or legitimate. By dividing these users...