Sciweavers

1483 search results - page 195 / 297
» Warnings for pattern matching
Sort
View
FLOPS
2010
Springer
16 years 1 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
VR
2009
IEEE
159views Virtual Reality» more  VR 2009»
16 years 27 days ago
Indoor vs. Outdoor Depth Perception for Mobile Augmented Reality
We tested users’ depth perception of virtual objects in our mobile augmented reality (AR) system in both indoor and outdoor environments using a depth matching task. The indoor ...
Mark A. Livingston, Zhuming Ai, J. Edward Swan II,...
AINA
2008
IEEE
16 years 20 days ago
Exploiting Frequent Episodes in Weighted Suffix Tree to Improve Intrusion Detection System
In this paper we proposed a weighted suffix tree and find out it can improve the Intrusion Detection System (IDS). We firstly focus on the analysis of computer kernel system call,...
Min-Feng Wang, Yen-Ching Wu, Meng-Feng Tsai
ICC
2008
IEEE
119views Communications» more  ICC 2008»
16 years 18 days ago
Wavelet-Based SNR Analysis in Building Satellite Terminal Fault Identification System
—With the rapid expansion of satellite communication, an increasing number of unattended ground terminals are spreading out to serve local customers. And there is a great demand ...
Liang Xu, Changcheng Huang
ICPR
2008
IEEE
16 years 18 days ago
Gaze tracking by Binocular Vision and LBP features
In this paper, a new method for eye gaze tracking is proposed under natural head movement. In this method, Local-Binary-Pattern Texture Feature (LBP) is adopted to calculate the e...
Hu-chuan Lu, Chao Wang, Yen-wei Chen