Sciweavers

1176 search results - page 175 / 236
» Theory and Applications of Robust Optimization
Sort
View
PEPM
2009
ACM
15 years 8 months ago
Bidirectional data-flow analyses, type-systematically
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
Maria João Frade, Ando Saabas, Tarmo Uustal...
ICIP
1998
IEEE
16 years 1 months ago
B-spline Snakes and a JAVA Interface: An Intuitive Tool for General Contour Outlining
We present a novel formulation for B-spline snakes that can be used as a tool for fast and intuitive contour outlining. The theory is implemented in a platform independent JAVA in...
Patrick Brigger, Robert Engel, Michael Unser
CIVR
2007
Springer
173views Image Analysis» more  CIVR 2007»
15 years 6 months ago
Fast and cheap object recognition by linear combination of views
In this paper, we present a real-time algorithm for 3D object detection in images. Our method relies on the Ullman and Basri [13] theory which claims that the same object under di...
Jérome Revaud, Guillaume Lavoué, Yas...
STOC
2009
ACM
172views Algorithms» more  STOC 2009»
16 years 13 days ago
Linear time approximation schemes for the Gale-Berlekamp game and related minimization problems
We design a linear time approximation scheme for the GaleBerlekamp Switching Game and generalize it to a wider class of dense fragile minimization problems including the Nearest C...
Marek Karpinski, Warren Schudy
RTAS
2009
IEEE
15 years 6 months ago
On Time-Aware Instrumentation of Programs
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
Sebastian Fischmeister, Patrick Lam