Sciweavers

8315 search results - page 1403 / 1663
» Performance Evaluation for Global Computation
Sort
View
RAID
2009
Springer
16 years 1 months ago
VirusMeter: Preventing Your Cellphone from Spies
Due to the rapid advancement of mobile communication technology, mobile devices nowadays can support a variety of data services that are not traditionally available. With the growi...
Lei Liu, Guanhua Yan, Xinwen Zhang, Songqing Chen
SPIN
2009
Springer
16 years 1 months ago
Subsumer-First: Steering Symbolic Reachability Analysis
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
Andrey Rybalchenko, Rishabh Singh
PERVASIVE
2010
Springer
16 years 1 months ago
On the Use of Brain Decoded Signals for Online User Adaptive Gesture Recognition Systems
Activity and context recognition in pervasive and wearable computing ought to continuously adapt to changes typical of open-ended scenarios, such as changing users, sensor characte...
Kilian Förster, Andrea Biasiucci, Ricardo Cha...
AINA
2008
IEEE
16 years 1 months ago
ETSP: An Energy-Efficient Time Synchronization Protocol for Wireless Sensor Networks
Wireless Sensor Networks (WSN) have specific constraints and stringent requirements in contrast to traditional wired and wireless computer networks. Among these specific requireme...
Khurram Shahzad, Arshad Ali, N. D. Gohar
WACV
2008
IEEE
16 years 1 months ago
Cata-Fisheye Camera for Panoramic Imaging
We present a novel panoramic imaging system which uses a curved mirror as a simple optical attachment to a fisheye lens. When compared to existing panoramic cameras, our “cata-...
Gurunandan Krishnan, Shree K. Nayar
« Prev « First page 1403 / 1663 Last » Next »