207 search results - page 20 / 42 » New Editor Introduction |
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
CVPR
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper describes a machine learning approach for visual
object detection which is capable of processing images
extremely rapidly and achieving high detection rates. This
wor...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Electrical Impedance Tomography (EIT) applies and measures electrical energy on the boundary of a medium to produce an image of its internal impedance distribution. In many medica...
DATE
2003
IEEE
14 years 29 days ago
2003
IEEE
Control of variability and performance in the back end of the VLSI manufacturing line has become extremely difficult with the introduction of new materials such as copper and low...