Sciweavers

413 search results - page 47 / 83
» Abstract Argumentation Scheme Frameworks
Sort
View
ACNS
2008
Springer
115views Cryptology» more  ACNS 2008»
15 years 8 months ago
Improved Conditional E-Payments
Abstract. Conditional e-cash or conditional e-payments have been introduced by Shi et al. as the means for enabling electronic payments to be based on the outcome of a certain cond...
Marina Blanton
ICA
2004
Springer
15 years 7 months ago
Accurate, Fast and Stable Denoising Source Separation Algorithms
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
Harri Valpola, Jaakko Särelä
ECSQARU
1999
Springer
15 years 6 months ago
An Alternative to Outward Propagation for Dempster-Shafer Belief Functions
Abstract. Given several Dempster-Shafer belief functions, the framework of valuation networks describes an efficient method for computing the marginal of the combined belief functi...
Norbert Lehmann, Rolf Haenni
ESOP
2008
Springer
15 years 3 months ago
Iterative Specialisation of Horn Clauses
Abstract. We present a generic algorithm for solving Horn clauses through iterative specialisation. The algorithm is generic in the sense that it can be instantiated with any decid...
Christoffer Rosenkilde Nielsen, Flemming Nielson, ...
DELFI
2003
15 years 3 months ago
Automatic Analysis of Programming Assignments
Abstract: In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication b...
Christoph Beierle, Marjaa Kulaa, Manfred Widera