674 search results - page 48 / 135 » Arguments and Results |
171
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This project aims to further our understanding of the practice of user-centered design (UCD) by observing the argumentation strategies used by designers in faceto-face meetings in...
146
click to vote
TPHOL
2008
IEEE
16 years 19 days ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
149
click to vote
AIED
2007
Springer
16 years 14 days ago
2007
Springer
Students are starting to use networked visual argumentation tools to discuss, debate, and argue with one another about topics presented by a teacher. However, this development give...
144
click to vote
DSN
2005
IEEE
15 years 12 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
163
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
Argumentation-based negotiation (ABN) is an effective means of resolving conflicts in a multi-agent society. However, it consumes both time and computational resources for agents ...