Sciweavers

380 search results - page 24 / 76
» Trajectory Based Behavior Analysis for User Verification
Sort
View
128
Voted
ASWEC
2006
IEEE
15 years 9 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
137
Voted
ICUIMC
2009
ACM
15 years 10 months ago
Bilinear-pairing-based remote user authentication schemes using smart cards
This paper presents a detailed review of remote user authentication schemes with smart cards based on bilinear pairings. The first scheme regarding this was proposed by Manik et a...
Al-Sakib Khan Pathan, Choong Seon Hong
PASTE
2004
ACM
15 years 8 months ago
Dynamically inferring temporal properties
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
Jinlin Yang, David Evans
131
Voted
ICCV
2009
IEEE
15 years 1 months ago
Tracking a large number of objects from multiple views
We propose a multi-object multi-camera framework for tracking large numbers of tightly-spaced objects that rapidly move in three dimensions. We formulate the problem of finding co...
Zheng Wu, Nickolay I. Hristov, Tyson L. Hedrick, T...
IJON
2007
112views more  IJON 2007»
15 years 3 months ago
Extraction of spatio-temporal primitives of emotional body expressions
Experimental and computational studies suggest that complex motor behavior is based on simpler spatiotemporal primitives, or synergies. This has been demonstrated by application o...
Lars Omlor, Martin A. Giese