8009 search results - page 148 / 1602 » cans 2005 |
133
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...
131
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
120
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
148
click to vote
AVBPA
2005
Springer
15 years 10 months ago
2005
Springer
A novel protocol is proposed to address the problem of user authentication to smartcards using biometric authentication instead of the usual PIN. The protocol emulates expensive Ma...
141
click to vote
CAEPIA
2005
Springer
15 years 10 months ago
2005
Springer
Automatic detection systems do not perform as well as human observers, even on simple detection tasks. A potential solution to this problem is training vision systems on appropriat...