Sciweavers

340 search results - page 32 / 68
» Association Rules in the Relational Calculus
Sort
View
CONCUR
2009
Springer
15 years 2 months ago
Concurrent Kleene Algebra
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
C. A. R. Hoare, Bernhard Möller, Georg Struth...
COLING
1996
14 years 11 months ago
Compiling a Partition-Based Two-Level Formalism
This paper describes an algorithm for the compilation of a two (or more) level orthographic or phonological rule notation into finite state transducers. The notation is an alterna...
Edmund Grimley-Evans, George Anton Kiraz, Stephen ...
LICS
2007
IEEE
15 years 4 months ago
Strong Normalization as Safe Interaction
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
Colin Riba
ICDM
2005
IEEE
129views Data Mining» more  ICDM 2005»
15 years 3 months ago
Mining Chains of Relations
Traditional data mining applications consider the problem of mining a single relation between two attributes. For example, in a scientific bibliography database, authors are rela...
Foto N. Afrati, Gautam Das, Aristides Gionis, Heik...
IJCAI
2007
14 years 11 months ago
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem
A key issue in artificial intelligence lies in finding the amount of input detail needed to do successful learning. Too much detail causes overhead and makes learning prone to ove...
Daniel T. Halstead, Kenneth D. Forbus