1357 search results - page 211 / 272 » Compositionality in Graph Transformation |
181
click to vote
SOFSEM
2012
Springer
14 years 1 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
177
click to vote
CSL
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
193
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper describes GL4D, an interactive system for visualizing 2-manifolds and 3-manifolds embedded in four Euclidean dimensions and illuminated by 4D light sources. It is a tetr...
149
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we propose a framework for gradient descent
image alignment in the Fourier domain. Specifically,
we propose an extension to the classical Lucas & Kanade
(LK) a...
214
click to vote
PLANX
2008
15 years 7 months ago
2008
Macro forest transducers (mfts) extend macro tree transducers (mtts) from ranked to unranked trees. Mfts are more powerful than mtts (operating on binary tree encodings) because t...