Sciweavers

6059 search results - page 50 / 1212
» A Technique for Verifying Measurements
Sort
View
JTRES
2010
ACM
15 years 2 days ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
TASLP
2002
79views more  TASLP 2002»
14 years 11 months ago
Perception-based partial encryption of compressed speech
Mobile multimedia applications, the focus of many forthcoming wireless services, increasingly demand low-power techniques implementing content protection and customer privacy. In t...
Antonio Servetti, Juan Carlos De Martin
JFR
2008
148views more  JFR 2008»
14 years 12 months ago
Terrain-based vehicle orientation estimation combining vision and inertial measurements
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...
Vishisht Gupta, Sean Brennan
CORR
2010
Springer
94views Education» more  CORR 2010»
14 years 9 months ago
Segmented compressed sampling for analog-to-information conversion: Method and performance analysis
A new segmented compressed sampling (CS) method for analog-to-information conversion (AIC) is proposed. An analog signal measured by a number of parallel branches of mixers and int...
Omid Taheri, Sergiy A. Vorobyov
VDA
2010
169views Visualization» more  VDA 2010»
15 years 2 months ago
Techniques for precision-based visual analysis of projected data
The analysis of high-dimensional data is an important, yet inherently difficult problem. Projection techniques such as PCA, MDS, and SOM can be used to map high-dimensional data t...
Tobias Schreck, Tatiana von Landesberger, Sebastia...