Sciweavers

2519 search results - page 371 / 504
» Reasoning with Textual Cases
Sort
View
195
Voted
ICLP
2005
Springer
16 years 14 days ago
A Type System for CHR
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
Emmanuel Coquery, François Fages
192
Voted
ILP
2005
Springer
16 years 14 days ago
Online Closure-Based Learning of Relational Theories
Online learning algorithms such as Winnow have received much attention in Machine Learning. Their performance degrades only logarithmically with the input dimension, making them us...
Frédéric Koriche
166
Voted
LSSC
2005
Springer
16 years 14 days ago
Systolic Architecture for Adaptive Censoring CFAR PI Detector
A new parallel algorithm for signal processing and a parallel systolic architecture of a robust constant false alarm rate (CFAR) processor with post-detection integration and adap...
Ivan Garvanov, Christo A. Kabakchiev, Plamen Daska...
202
Voted
MFCS
2005
Springer
16 years 14 days ago
Coloring Sparse Random k-Colorable Graphs in Polynomial Expected Time
Abstract. Feige and Kilian [5] showed that finding reasonable approximative solutions to the coloring problem on graphs is hard. This motivates the quest for algorithms that eithe...
Julia Böttcher
NIME
2005
Springer
136views Music» more  NIME 2005»
16 years 14 days ago
Learning Advanced Skills on New Instruments (or practising scales and arpeggios on your NIME)
When learning a classical instrument, people often either take lessons in which an existing body of “technique” is delivered, evolved over generations of performers, or in som...
Sageev Oore