Sciweavers

95 search results - page 9 / 19
» CIA Structures and the Semantics of Recursion
Sort
View
ICFP
2010
ACM
15 years 3 months ago
Bidirectionalizing graph transformations
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hir...
229
Voted
ICDE
2008
IEEE
142views Database» more  ICDE 2008»
16 years 3 months ago
An Inflationary Fixed Point Operator in XQuery
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
Loredana Afanasiev, Torsten Grust, Maarten Marx, J...
ESOP
1999
Springer
15 years 6 months ago
Dynamic Programming via Static Incrementalization
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
Yanhong A. Liu, Scott D. Stoller
ITA
2007
153views Communications» more  ITA 2007»
15 years 2 months ago
Deciding inclusion of set constants over infinite non-strict data structures
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
Manfred Schmidt-Schauß, David Sabel, Marko S...
ICDM
2003
IEEE
107views Data Mining» more  ICDM 2003»
15 years 7 months ago
Objective and Subjective Algorithms for Grouping Association Rules
We propose two algorithms for grouping and summarizing association rules. The first algorithm recursively groups rules according to the structure of the rules and generates a tre...
Aijun An, Shakil M. Khan, Xiangji Huang