1357 search results - page 210 / 272 » Compositionality in Graph Transformation |
136
Voted
PAMI
2010
15 years 2 months ago
2010
—A theoretical investigation of the frequency structure of multiplicative image motion signals is presented, e.g., as associated with translucency phenomena. Previous work has cl...
152
click to vote
TWEB
2010
15 years 2 months ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
253
click to vote
CASCON
2010
15 years 17 days ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
149
click to vote
CAE
2010
14 years 10 months ago
2010
Humans have always sought to achieve aesthetics in art. In this paper, we present a novel approach for retargeting images to different aspect ratios while improving the compositio...
165
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...