2004 search results - page 188 / 401 » Comparison of Model Checking Tools for Information Systems |
160
click to vote
JFR
2008
15 years 6 months 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...
176
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
158
click to vote
OR
2006
Springer
15 years 6 months ago
2006
Springer
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
168
click to vote
MMSEC
2005
ACM
15 years 11 months ago
2005
ACM
We present a non-oblivious, extremely robust watermarking scheme for audio signals. The watermarking algorithm is based on the SVD of the spectrogram of the signal. The SVD of the...
157
click to vote
ICIP
2009
IEEE
15 years 3 months ago
2009
IEEE
In this effort, a data-driven and application independent technique to combine focal information from different focal planes is presented. Input images, acquired by imaging system...