380 search results - page 37 / 76 » Trajectory Based Behavior Analysis for User Verification |
154
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
146
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
152
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
129
Voted
SIGIR
2003
ACM
15 years 8 months ago
2003
ACM
Collaborative filtering aims at learning predictive models of user preferences, interests or behavior from community data, i.e. a database of available user preferences. In this ...
94
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
We are currently working on a museum guide robot with an emphasis on "friendly" human-robot interaction displayed through nonverbal behaviors. In this paper, we focus on...