3931 search results - page 66 / 787 » Separation logic and abstraction |
IWANN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. When using ICA for image separation, a well-known problem is that most often a large correlation exists between the sources. Because of this dependence, there is no more ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present computational results concerning stable partitions in additively separable hedonic games. First, we propose a polynomial-time algorithm to compute a contractua...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We propose and analyze a new vantage point for the learning of mixtures of Gaussians: namely, the PAC-style model of learning probability distributions introduced by Kear...
TNN
2008
14 years 9 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...