Sciweavers

1040 search results - page 190 / 208
» Phase Tracking and Prediction
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 1 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
CORR
2011
Springer
174views Education» more  CORR 2011»
14 years 1 months ago
GPS Signal Acquisition via Compressive Multichannel Sampling
In this paper, we propose an efficient acquisition scheme for GPS receivers. It is shown that GPS signals can be effectively sampled and detected using a bank of randomized corre...
Xiao Li, Andrea Rueetschi, Yonina C. Eldar, Anna S...
ISSTA
2012
ACM
13 years 10 days ago
Static memory leak detection using full-sparse value-flow analysis
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
Yulei Sui, Ding Ye, Jingling Xue
CW
2008
IEEE
15 years 4 months ago
Taxonomy and Implementation of Redirection Techniques for Ubiquitous Passive Haptic Feedback
Traveling through immersive virtual environments (IVEs) by means of real walking is an important activity to increase naturalness of VR-based interaction. However, the size of the...
Frank Steinicke, Gerd Bruder, Luv Kohli, Jason Jer...
ICCV
2007
IEEE
15 years 4 months ago
Drowsy Driver Detection Through Facial Movement Analysis
The advance of computing technology has provided the means for building intelligent vehicle systems. Drowsy driver detection system is one of the potential applications of intellig...
Esra Vural, Müjdat Çetin, Aytül E...