Sciweavers

864 search results - page 53 / 173
» Algorithmic Differentiation: Application to Variational Prob...
Sort
View
HYBRID
2009
Springer
15 years 10 months ago
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
Alexandre Donzé, Bruce H. Krogh, Akshay Raj...
CVPR
2009
IEEE
16 years 10 months ago
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
We introduce a convex relaxation framework to optimally minimize continuous surface ratios. The key idea is to minimize the continuous surface ratio by solving a sequence of con...
Kalin Kolev (University of Bonn), Daniel Cremers (...
134
Voted
CAD
2005
Springer
15 years 3 months ago
Industrial geometry: recent advances and applications in CAD
Industrial Geometry aims at unifying existing and developing new methods and algorithms for a variety of application areas with a strong geometric component. These include CAD, CA...
Helmut Pottmann, Stefan Leopoldseder, Michael Hofe...
ICCV
2009
IEEE
15 years 1 months ago
Minimizing energy functions on 4-connected lattices using elimination
We describe an energy minimization algorithm for functions defined on 4-connected lattices, of the type usually encountered in problems involving images. Such functions are often ...
Peter Carr, Richard Hartley
HSNMC
2003
Springer
102views Multimedia» more  HSNMC 2003»
15 years 8 months ago
A RTT-based Partitioning Algorithm for a Multi-rate Reliable Multicast Protocol
Various Internet applications involve multiple parties and usually adopt a one-to-many communication paradigm (multicast). The presence of multiple receivers in a multicast session...
Moufida Maimour, CongDuc Pham