8760 search results - page 286 / 1752 » Modeling users of intelligent systems |
128
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
157
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
138
click to vote
VIZSEC
2004
Springer
15 years 12 months ago
2004
Springer
We present an approach to user re-authentication based on the data collected from the computer’s mouse device. Our underlying hypothesis is that one can successfully model user ...
164
click to vote
AAAI
1996
15 years 8 months ago
1996
Almost any information you might want is becoming available on-line. The problem is how to find what you need. One strategy to improve access to existing information sources, is i...
170
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Modern peer-to-peer file sharing systems rely heavily on the willingness of users to distribute files to others. A selfish user can choose to download a file and consume resou...