Sciweavers

734 search results - page 107 / 147
» A Question-Answering System Using Argumentation
Sort
View
ICASSP
2010
IEEE
13 years 7 months ago
Video-based fingerprint verification
In this paper, fingerprint videos are used to improve the accuracy of a fingerprint verification system. We define the “inside-similarity” and “outside-similarity” to ...
Wei Qin, Yilong Yin, Chunxiao Ren, Lili Liu
FSTTCS
1993
Springer
14 years 17 days ago
Induce-Statements and Induce-Expressions: Constructs for Inductive Programming
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
Theodore S. Norvell
ATAL
2010
Springer
13 years 9 months ago
Opportunistic belief reconciliation during distributed interactions
Successful interaction between autonomous agents is contingent on those agents making decisions consistent with the expectations of their peers -- these expectations are based on ...
Paul Martin, David Robertson, Michael Rovatsos
ADBIS
2000
Springer
97views Database» more  ADBIS 2000»
14 years 25 days ago
An Efficient Storage Manager
When dealing with large quantities of clauses, the use of persistent knowledge is inevitable, and indexing methods are essential to answer queries efficiently. We introduce PerKMan...
Dimitris G. Kapopoulos, Michael Hatzopoulos, Panag...
ARGMAS
2008
Springer
13 years 10 months ago
Command Dialogues
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
Katie Atkinson, Roderic A. Girle, Peter McBurney, ...