3071 search results - page 74 / 615 » Explanatory Design Theory |
ATAL
2007
Springer
15 years 4 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...
INFOCOM
1997
IEEE
15 years 2 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...
CHI
2003
ACM
15 years 1 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 ...
SODA
2012
ACM
13 years 12 days 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...
CADE
2007
Springer
15 years 10 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-...