Sciweavers

380 search results - page 13 / 76
» Trajectory Based Behavior Analysis for User Verification
Sort
View
100
Voted
WACV
2012
IEEE
13 years 5 months ago
LOST: Longterm Observation of Scenes (with Tracks)
We introduce the Longterm Observation of Scenes (with Tracks) dataset. This dataset comprises videos taken from streaming outdoor webcams, capturing the same half hour, each day, ...
Austin Abrams, Jim Tucek, Joshua Little, Nathan Ja...
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 7 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
81
Voted
ISQED
2010
IEEE
126views Hardware» more  ISQED 2010»
14 years 11 months ago
Modeling and verification of industrial flash memories
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
Sandip Ray, Jayanta Bhadra, Thomas Portlock, Ronal...
ICRA
2006
IEEE
134views Robotics» more  ICRA 2006»
15 years 3 months ago
EMG-based Teleoperation of a Robot Arm in Planar Catching Movements using ARMAX Model and Trajectory Monitoring Techniques
— This paper presents a methodology of teleoperating a robot arm, using electromyographic (EMG) signals and a trajectory monitoring technique based on human motion analysis. EMG ...
Panagiotis K. Artemiadis, Kostas J. Kyriakopoulos
ASUNAM
2009
IEEE
15 years 2 months ago
Filtering Spam in Social Tagging System with Dynamic Behavior Analysis
—Spam in social tagging systems introduced by some malicious participants has become a serious problem for its global popularizing. Some studies which can be deduced to static us...
Bo Liu, Ennan Zhai, Huiping Sun, Yelu Chen, Zhong ...