4581 search results - page 71 / 917 » Computing Transformation Semigroups |
BIRTHDAY
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
195
click to vote
ISCSCT
2008
IEEE
15 years 7 months ago
2008
IEEE
—To rapidly and accurately search the corresponding points along scan-lines, rectification of stereo pairs are performed so that corresponding epipolar lines are parallel to the ...
ICPP
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes transformation techniques for out-of-core programs (i.e., those that deal with very large quantities of data) based on exploiting locality using a combination...
105
click to vote
CPM
2008
Springer
15 years 2 months ago
2008
Springer
The Sort Transform (ST) can significantly speed up the block sorting phase of the Burrows-Wheeler transform (BWT) by sorting only limited order contexts. However, the best result o...
121
click to vote
GG
2010
Springer
15 years 2 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...