Sciweavers

222 search results - page 35 / 45
» Cases and Dialectical Arguments - An Approach to Case-Based ...
Sort
View
EWCBR
2004
Springer
14 years 1 months ago
TempoExpress, a CBR Approach to Musical Tempo Transformations
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...
Maarten Grachten, Josep Lluís Arcos, Ramon ...
KI
1995
Springer
13 years 11 months ago
What Is a Skeptical Proof?
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...
Michael Thielscher
ICCBR
2003
Springer
14 years 24 days ago
Unifying Weighting and Case Reduction Methods Based on Rough Sets to Improve Retrieval
Case-Based Reasoning systems usually retrieve cases using a similarity function based on K-NN or some derivatives. These functions are sensitive to irrelevant or noisy features. We...
Maria Salamó, Elisabet Golobardes
ICS
2010
Tsinghua U.
14 years 5 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
EWCBR
2004
Springer
13 years 11 months ago
MINLP Based Retrieval of Generalized Cases
The concept of generalized cases has been proven useful when searching for configurable and flexible products, for instance, reusable components in the area of electronic design au...
Alexander Tartakovski, Martin Schaaf, Rainer Maxim...