1153 search results - page 108 / 231 » Reversing graph transformations |
135
click to vote
MPC
2010
Springer
15 years 2 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
124
Voted
VLDB
1995
ACM
15 years 4 months ago
1995
ACM
Efficient processing of aggregation queries is essential for decision support applications. This paper describes a class of query transformations, called eager aggregation and lat...
98
Voted
IJFCS
2006
15 years 22 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
119
Voted
IBIS
2006
15 years 22 days ago
2006
: Schema matching is the task of finding semantic correspondences between elements of two schemas, which plays a key role in many database applications. In this paper, we cast the ...
139
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...