900 search results - page 161 / 180 » A Tool-Supported Approach to Testing UML Design Models |
PERVASIVE
2010
Springer
13 years 9 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
This paper presents a novel framework of hybrid camera pose tracking system for outdoor navigation system. Traditional vision based or inertial sensor based solutions are mostly d...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
We revisit a basic element of modern signal integrity analysis, the modeling of worst-case coupling capacitance effects within a switch factor (SF) based methodology. We show that...
HPDC
1993
IEEE
13 years 11 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...