933 search results - page 159 / 187 » A Fully Automatic hp-Adaptivity |
95
Voted
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
95
Voted
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper details a fully automated face authentication system using low-cost near infrared imaging. The image normalization step consists of eye center localization, scale corre...
90
Voted
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toffoli gates. In th...
77
Voted
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
118
Voted
ISMAR
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a system that applies a custom-built pan-tilt-zoom camera for laser-pointer tracking in arbitrary real environments. Once placed in a building environment, it carries o...