380 search results - page 41 / 76 » Trajectory Based Behavior Analysis for User Verification |
140
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
141
Voted
PAMI
2006
15 years 3 months ago
2006
Analysis of motion patterns is an effective approach for anomaly detection and behavior prediction. Current approaches for the analysis of motion patterns depend on known scenes, w...
136
click to vote
FC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
152
Voted
WIAMIS
2009
IEEE
15 years 10 months ago
2009
IEEE
An adaptive, invariant to user performance fluctuation or noisy input signal, gesture recognition scheme is presented based on Self Organizing Maps, Markov Models and Levenshtein...
123
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Design and validation of mixed-signal integrated systems require evel model abstractions. Generalized Volterra series based models have been successfully applied for analog and RF...