141 search results - page 23 / 29 » Quantitative analysis of very-low-voltage testing |
ISBI
2008
IEEE
14 years 7 months ago
2008
IEEE
Accurate system modeling in tomographic image reconstruction has been shown to reduce the spatial variance of resolution and improve quantitative accuracy. System modeling can be ...
PERCOM
2006
ACM
14 years 6 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
CVPR
2007
IEEE
14 years 1 months ago
2007
IEEE
Determining the status of a runway prior to landing is essential for any aircraft, whether manned or unmanned. In this paper, we present a method that can detect moving objects on...
ILC
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
MSWIM
2005
ACM
14 years 8 days ago
2005
ACM
There have been various secure routing protocols proposed for mobile ad hoc networks. Most of these protocols are analyzed by two standard techniques: simulation and security anal...