1895 search results - page 315 / 379 » Using ATL for Checking Models |
93
Voted
VCIP
2000
15 years 1 months ago
2000
This work presents a geometry based vision system for aircraft recognition and pose estimation using single images. Pose estimation improves the tracking performance of guided wea...
105
click to vote
JFR
2008
15 years 18 days ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
130
Voted
SIGMOD
2004
ACM
16 years 23 days ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
131
click to vote
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
103
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...