2935 search results - page 172 / 587 » An Integrated Approach to High Integrity Software Verificati... |
188
click to vote
3DPVT
2006
IEEE
16 years 18 days ago
2006
IEEE
We present a high performance reconstruction approach, which generates true 3D models from multiple views with known camera parameters. The complete pipeline from depth map genera...
174
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
153
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
Requirements volatility is an issue in software development life cycle which often originated from our incomplete knowledge about the domain of interest. In this paper, we propose...
175
click to vote
ICPR
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper investigates a new approach for personal authentication by combining unique biometric features which can be acquired from hand images alone. The proposed method attempt...
150
click to vote
MMM
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes solutions for parallel video processing based on LAN-connected PC-like workstations. We outline application scenarios for the processing of video with broadca...