Sciweavers

1303 search results - page 125 / 261
» Cyclic Association Rules
Sort
View
ALT
2002
Springer
16 years 3 months ago
How to Achieve Minimax Expected Kullback-Leibler Distance from an Unknown Finite Distribution
Abstract. We consider a problem that is related to the “Universal Encoding Problem” from information theory. The basic goal is to find rules that map “partial information”...
Dietrich Braess, Jürgen Forster, Tomas Sauer,...
GREC
2003
Springer
15 years 11 months ago
Report of the Arc Segmentation Contest
The Arc Segmentation Contest, as the fifth in the series of graphics recognition contests organized by IAPR TC10, was held in association with the GREC’2003 workshop. In this pap...
Liu Wenyin
ICFEM
2004
Springer
15 years 11 months ago
From Circus to JCSP
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
Marcel Oliveira, Ana Cavalcanti
ECAI
2008
Springer
15 years 8 months ago
Extracting Semantic Annotations from Moodle Data
The purpose of this paper is to provide a solution which allows automatic reasoning processes over Moodle activities logs, in order to obtain user-personalized recommendations. Act...
Mihai Gabroveanu, Ion-Mircea Diaconescu
ESOP
2010
Springer
16 years 3 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey