Sciweavers

264 search results - page 21 / 53
» Making Argumentation More Believable
Sort
View
ISIPTA
2003
IEEE
14 years 24 days ago
Subjective Probability and Lower and Upper Prevision: A New Understanding
This article introduces a new way of understanding subjective probability and its generalization to lower and upper prevision. Instead of asking whether a person is willing to pay...
Glenn Shafer, Peter R. Gillett, Richard B. Scherl
ASPLOS
1992
ACM
13 years 11 months ago
Access Normalization: Loop Restructuring for NUMA Compilers
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...
Wei Li, Keshav Pingali
LREC
2010
169views Education» more  LREC 2010»
13 years 9 months ago
Annotating Attribution Relations: Towards an Italian Discourse Treebank
In this paper we describe the development of a schema for the annotation of attribution relations and present the first findings and some relevant issues concerning this phenomeno...
Silvia Pareti, Irina Prodanof
CCS
2008
ACM
13 years 9 months ago
A practical mimicry attack against powerful system-call monitors
System-call monitoring has become the basis for many hostbased intrusion detection as well as policy enforcement techniques. Mimicry attacks attempt to evade system-call monitorin...
Chetan Parampalli, R. Sekar, Rob Johnson
POPL
2008
ACM
14 years 7 months ago
The intensional content of Rice's theorem
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
Andrea Asperti