380 search results - page 26 / 76 » Trajectory Based Behavior Analysis for User Verification |
139
Voted
AI
2008
Springer
15 years 3 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
134
Voted
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
In a categorized information space, predicting users' information needs at the category level can facilitate personalization, caching and other topic-oriented services. This ...
137
click to vote
CIVR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we present the results of a user study that was conducted in combination with a submission to TRECVID 2003. Search behavior of students querying an interactive video-...
164
Voted
UIST
2000
ACM
15 years 7 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...
147
Voted
SERA
2004
Springer
15 years 8 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...