3071 search results - page 74 / 615 » Explanatory Design Theory |
137
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
176
click to vote
INFOCOM
1997
IEEE
15 years 9 months ago
1997
IEEE
Rate-based feedback congestion control has been proposed as a form of traffic management for available bit rate traffic in ATM networks. This paper discusses applying linear con...
157
click to vote
CHI
2003
ACM
15 years 9 months ago
2003
ACM
This paper discusses the association of emotions as an underlying component of everyday human-computer interaction. It presents the ongoing work in the design of an experiment to ...
149
click to vote
SODA
2012
ACM
13 years 7 months ago
2012
ACM
We study the design and approximation of optimal crowdsourcing contests. Crowdsourcing contests can be modeled as all-pay auctions because entrants must exert effort up-front to e...
140
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...