Sciweavers

5595 search results - page 907 / 1119
» Approximation Algorithms for Clustering Problems
Sort
View
HYBRID
2009
Springer
16 years 1 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...
ICASSP
2008
IEEE
16 years 27 days ago
High-dynamic range compression using a fast multiscale optimization
to appear in Proc. IEEE Int’l Conf. on Acoustics, Speech, and Signal Processing, March, 2008 High-dynamic-range medical images take intensity values which cannot be visualized o...
Matthieu Maitre, Yunqiang Chen, Tong Fang
CSR
2007
Springer
16 years 19 days ago
Estimation of the Click Volume by Large Scale Regression Analysis
Abstract. How could one estimate the total number of clicks a new advertisement could potentially receive in the current market? This question, called the click volume estimation p...
Yury Lifshits, Dirk Nowotka
ISSAC
2007
Springer
131views Mathematics» more  ISSAC 2007»
16 years 18 days ago
Some recent progress in exact linear algebra and related questions
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
Gilles Villard
ICRA
2006
IEEE
217views Robotics» more  ICRA 2006»
16 years 14 days ago
Complete Coverage Control for Nonholonomic Mobile Robots in Dynamic Environments
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
Yi Guo, Mohanakrishnan Balakrishnan