Sciweavers

5378 search results - page 76 / 1076
» Base Logics in Argumentation
Sort
View
AIME
2003
Springer
15 years 11 months ago
Rhetorical Coding of Health Promotion Dialogues
Health promotion is a complex activity that requires both explanation and persuasion skills. This paper proposes a three-layered model of dialogue coding, based on a rhetorical arg...
Floriana Grasso
179
Voted
ECAI
1992
Springer
15 years 10 months ago
Phenomenology, Representations and Complexity
Abstract. The paper refutes the general phenomenological argument that knowledge cannot be completely represented by symbols and, hence, symbolic AI does not work. Moreover, the vi...
Achim G. Hoffmann
IPL
2007
71views more  IPL 2007»
15 years 5 months ago
A short proof of optimality for the MIN cache replacement algorithm
The MIN algorithm is an offline strategy for deciding which item to replace when writing a new item to a cache. Its optimality was first established by Mattson, Gecsei, Slutz, a...
Benjamin Van Roy
148
Voted
CCR
2010
179views more  CCR 2010»
15 years 6 months ago
An argument for increasing TCP's initial congestion window
TCP flows start with an initial congestion window of at most four segments or approximately 4KB of data. Because most Web transactions are short-lived, the initial congestion wind...
Nandita Dukkipati, Tiziana Refice, Yuchung Cheng, ...
BSL
2004
100views more  BSL 2004»
15 years 5 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad