3082 search results - page 454 / 617 » Deviation Analysis: A New Use of Model Checking |
173
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We present a new approach for self-calibrating the distortion function and the distortion center of cameras with general radially symmetric distortion. In contrast to mos...
172
click to vote
ETRA
2010
ACM
15 years 11 months ago
2010
ACM
There has been increased interest in reliable, non-intrusive methods of biometric identification due to the growing emphasis on security and increasing prevalence of identity thef...
178
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
154
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...
138
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
We consider the supervised learning of a binary classifier from noisy observations. We use smooth boosting to linearly combine abstaining hypotheses, each of which maps a subcube...