734 search results - page 112 / 147 » A Question-Answering System Using Argumentation |
145
Voted
ALIFE
2006
15 years 2 months ago
2006
We show how cultural selection for learnability during the process of linguistic evolution can be visualized using a simple iterated learning model. Computational models of linguis...
170
Voted
WDAG
2010
Springer
15 years 18 days ago
2010
Springer
The imminent arrival of best-effort transactional hardware has spurred new interest in the construction of nonblocking data structures, such as those that require atomic updates to...
139
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
140
Voted
DAMON
2007
Springer
15 years 9 months ago
2007
Springer
In 1987, Gray and Putzolo presented the five-minute rule, which was reviewed and renewed ten years later in 1997. With the advent of flash memory in the gap between traditional RA...
114
Voted
CADE
2002
Springer
16 years 3 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...