87 search results - page 12 / 18 » Elements of Argumentation |
MOBIHOC
2003
ACM
15 years 10 months ago
2003
ACM
Existing works have approached the problem of reliable transport in ad-hoc networks by proposing mechanisms to improve TCP's performance over such networks. In this paper we ...
105
click to vote
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
APAL
2008
14 years 11 months ago
2008
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
107
Voted
FLAIRS
2007
15 years 1 months ago
2007
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semanticocognitiv...
101
click to vote
STOC
2004
ACM
15 years 11 months ago
2004
ACM
The main result of this paper is a near-optimal derandomization of the affine homomorphism test of Blum, Luby and Rubinfeld (Journal of Computer and System Sciences, 1993). We sho...