1357 search results - page 242 / 272 » Compositionality in Graph Transformation |
198
click to vote
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
In order to optimize their revenues and profits, an increasing number of businesses organize their business activities in terms of business processes. Typically, they automate imp...
134
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
109
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We present an automatic method that establishes 3D correspondence between isometric shapes. Our goal is to find an optimal correspondence between two given (nearly) isometric sha...
118
Voted
CCGRID
2009
IEEE
15 years 9 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...
121
click to vote
SASP
2009
IEEE
15 years 9 months ago
2009
IEEE
—With the appearance of massively parallel and inexpensive platforms such as the G80 generation of NVIDIA GPUs, more real-life applications will be designed or ported to these pl...