Functional platform design example Modeled in C/C++ with interface based communication SystemCTM is used as simulation engine Functional model to architecture model mapping is performed by the user via the graphical user interface Refined simulation models will be generated automatically Virtual prototypes enable rigorous verification and testing Additional tools perform energy estimation and o...

Nominal color coding is the aesthetic and functional use of color to convey qualitative information in graphical environments. The specification of high contrast color sets is a fundamental step in this process. We formulate the color coding problem here as a combinatorial optimization problem on graphs and present an algorithm which performs well and does not require that the function used to ...

Graphical models use the intuitive and well-studied methods of graph theory to implicitly represent dependencies between variables in large systems. They can model the global behaviour of a complex system by specifying only local factors.This thesis studies inference in discrete graphical models from an “algebraic perspective” and the ways inference can be used to express and approximate NP-har...

This review introduces a novel deformable image registration paradigm that exploits Markov random field formulation and powerful discrete optimization algorithms. We express deformable registration as a minimal cost graph problem, where nodes correspond to the deformation grid, a node's connectivity corresponds to regularization constraints, and labels correspond to 3D deformations. To cope wit...