Sciweavers

792 search results - page 64 / 159
» Value Based Argumentation Frameworks
Sort
View
IJCAI
2003
13 years 11 months ago
Quantifying information and contradiction in propositional logic through test actions
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
Sébastien Konieczny, Jérôme La...
ECTEL
2007
Springer
14 years 4 months ago
FAsTA: A Folksonomy-Based Automatic Metadata Generator
Folksonomies provide a free source of keywords describing web resources, however, these keywords are free form and unstructured. In this paper, we describe a novel tool that conver...
Hend S. Al-Khalifa, Hugh C. Davis
ESORICS
2009
Springer
14 years 11 months ago
Formal Indistinguishability Extended to the Random Oracle Model
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
Cristian Ene, Yassine Lakhnech, Van Chan Ngo
QUESTA
2010
107views more  QUESTA 2010»
13 years 8 months ago
On the inapproximability of M/G/K: why two moments of job size distribution are not enough
The M/G/K queueing system is one of the oldest model for multi-server systems, and has been the topic of performance papers for almost half a century. However, even now, only coar...
Varun Gupta, Mor Harchol-Balter, J. G. Dai, Bert Z...
HICSS
1996
IEEE
102views Biometrics» more  HICSS 1996»
14 years 2 months ago
Evaluation of Parallel Logic Simulation Using DVSIM
Parallel simulation is expected to speed up simulation run time in a signi cant way. This paper describes a framework that is used to evaluate the performance of parallel simulati...
Gerd Meister