Sciweavers

1357 search results - page 143 / 272
» Compositionality in Graph Transformation
Sort
View
116
Voted
LOPSTR
2004
Springer
15 years 9 months ago
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
J. B. Wells, Boris Yakobowski
132
Voted
IJWGS
2006
125views more  IJWGS 2006»
15 years 3 months ago
Compiling business processes: untangling unstructured loops in irreducible flow graphs
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
Wei Zhao, Rainer Hauser, Kamal Bhattacharya, Barre...
116
Voted
CEAS
2006
Springer
15 years 7 months ago
CC Prediction with Graphical Models
We address the problem of suggesting who to add as an additional recipient (i.e. cc, or carbon copy) for an email under composition. We address the problem using graphical models ...
Chris Pal
149
Voted
SWAP
2007
15 years 4 months ago
Links and Cycles of Web Databases
This paper proposes a novel framework for composing web databases. Web databases are assumed to have explicit descriptions of I/O attributes and are considered as components of fun...
Masao Mori, Tetsuya Nakatoh, Sachio Hirokawa
KDD
1998
ACM
146views Data Mining» more  KDD 1998»
15 years 7 months ago
Mining Association Rules in Hypertext Databases
In this workweproposea generalisation of the notion of associationrule in the contextof flat transactions to that of a compositeassociation rule in the context of a structured dir...
José Borges, Mark Levene