96 search results - page 12 / 20 » Automated Merging of Feature Models Using Graph Transformati... |
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
ICFP
2008
ACM
14 years 7 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 ...
ISBI
2011
IEEE
12 years 11 months ago
2011
IEEE
Pancreas segmentation in 3-D computed tomography (CT) data is of high clinical relevance, but extremely difficult since the pancreas is often not visibly distinguishable from the...
GG
2008
Springer
13 years 8 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a robust and efficient skeleton-based graph matching method for object recognition and recovery applications. The novel feature is to unify both object recogni...