6059 search results - page 205 / 1212 » A Technique for Verifying Measurements |
269
click to vote
BSN
2011
IEEE
14 years 6 months ago
2011
IEEE
—Wireless neural recording systems are subject to stringent power consumption constraints to support long-term recordings and to allow for implantation inside the brain. In this ...
185
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
207
click to vote
SAGA
2007
Springer
16 years 22 days ago
2007
Springer
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...
177
click to vote
BIOID
2008
15 years 8 months ago
2008
This paper addresses the incorporation of quality measures to video-based person authentication. A theoretical framework to incorporate quality measures in biometric authentication...