Sciweavers

26 search results - page 2 / 6
» Dynamic Tasks Verification with Quasar
Sort
View
RV
2010
Springer
220views Hardware» more  RV 2010»
13 years 3 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
ESANN
2004
13 years 6 months ago
Speaker verification by means of ANNs
In text-dependent speaker verification the speech signals have to be time-aligned. For that purpose dynamic time warping (DTW) can be used which performs the alignment by minimizi...
Urs Niesen, Beat Pfister
SI3D
2003
ACM
13 years 10 months ago
Incorporating dynamic real objects into immersive virtual environments
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
Benjamin Lok, Samir Naik, Mary C. Whitton, Frederi...
ICB
2007
Springer
142views Biometrics» more  ICB 2007»
13 years 9 months ago
Speaker Verification with Adaptive Spectral Subband Centroids
Abstract. Spectral subband centroids (SSC) have been used as an additional feature to cepstral coefficients in speech and speaker recognition. SSCs are computed as the centroid fre...
Tomi Kinnunen, Bingjun Zhang, Jia Zhu, Ye Wang
AR
2010
133views more  AR 2010»
13 years 3 months ago
Coordinated Control of Space Robot Teams for the On-Orbit Construction of Large Flexible Space Structures
Teams of autonomous space robots are needed for future space missions such as the construction of large solar power stations and large space telescopes in earth orbit. This work fo...
Peggy Boning, Steven Dubowsky