Sciweavers

1274 search results - page 143 / 255
» New Proofs for
Sort
View
COMMA
2006
15 years 2 months ago
A dialectic procedure for sceptical, assumption-based argumentation
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
Phan Minh Dung, Paolo Mancarella, Francesca Toni
FCS
2006
15 years 2 months ago
Quantum Cryptographic Key Distribution Protocols
The application of the principles of quantum mechanics to cryptography has led to a respectable new dimension in confidential communication. As a result of these developments, it i...
Lelde Lace, Oksana Scegulnaja-Dubrovska, Ramuns Us...
MSV
2004
15 years 2 months ago
Towards Quality of Service Based Resource Management for Cluster-Based Image Database
The main research in the area of image databases addresses the improvement of retrieval quality and the speedup of the query processing. A number of image retrieval systems reache...
Andreas Brüning, Frank Drews, Martin Hoefer, ...
IICAI
2003
15 years 2 months ago
The Acyclic Bayesian Net Generator
Abstract. We present the Acyclic Bayesian Net Generator, a new approach to learn the structure of a Bayesian network using genetic algorithms. Due to the encoding mechanism, acycli...
Pankaj B. Gupta, Vicki H. Allan
TNC
2004
116views Education» more  TNC 2004»
15 years 2 months ago
Class of Service Concepts in Autonomous Systems
The bandwidth broker architectures introduced to manage diffserv still have scalability flaws in the mean of large volumes of end-to-end tunnels and workload they have to handle. ...
Jean-Alexander Müller, Sven Hessler, Klaus Ir...