1940 search results - page 266 / 388 » Graph Transformation with Variables |
155
Voted
CSL
2007
Springer
15 years 10 months 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...
166
click to vote
RE
2006
Springer
15 years 4 months ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
126
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
A Bayesian network formulation for relational shape matching is presented. The main advantage of the relational shape matching approach is the obviation of the non-rigid spatial m...
138
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we propose a framework to model video sequences using spatiotemporal description of video shots. Spatiotemporal volumes are extracted thanks to an efficient segment...
133
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...