Sciweavers

2292 search results - page 257 / 459
» Structure preserving embedding
Sort
View
ACSD
2010
IEEE
215views Hardware» more  ACSD 2010»
15 years 3 months ago
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
Mike Gemunde, Jens Brandt, Klaus Schneider
ICIP
2009
IEEE
15 years 2 months ago
Simplification of color images using semi-flat morphological operators and statistical metrics
The aim of this study is to propose an algorithm for simplifying color images. The assumption is made that a set of reference colors is available and that this set indicates which...
Arnaud Garcia, Corinne Vachier
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 2 months ago
Fast Approximation Algorithms for Cut-based Problems in Undirected Graphs
We present a general method of designing fast approximation algorithms for cut-based minimization problems in undirected graphs. In particular, we develop a technique that given a...
Aleksander Madry
153
Voted
CVPR
2011
IEEE
15 years 1 months ago
2.5D Building Modeling with Topology Control
2.5D building reconstruction aims at creating building models composed of complex roofs and vertical walls. In this paper, we define 2.5D building topology as a set of roof featu...
Qian-Yi Zhou, Ulrich Neumann
SIAMMAX
2011
79views more  SIAMMAX 2011»
14 years 12 months ago
Solving Rational Eigenvalue Problems via Linearization
Rational eigenvalue problems (REPs) are an emerging class of nonlinear eigenvalue problems that arise from a variety of physical applications. In this paper, we propose a lineariz...
Yangfeng Su, Zhaojun Bai