674 search results - page 48 / 135 » Arguments and Results |
183
click to vote
CHI
2007
ACM
16 years 7 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...
164
Voted
TPHOL
2008
IEEE
16 years 1 months 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...
155
Voted
AIED
2007
Springer
16 years 28 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...
157
click to vote
DSN
2005
IEEE
16 years 11 days 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 ...
179
Voted
ARGMAS
2004
Springer
16 years 4 days 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 ...