28888 search results - page 259 / 5778 » Computability and complexity in analysis |
146
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
202
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Given a sample covariance matrix, we examine the problem of maximizing the variance explained by a particular linear combination of the input variables while constraining the numb...
129
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
166
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
177
click to vote
EVOW
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This work describes an evolutionary approach to texture segmentation, a long-standing and important problem in computer vision. The difficulty of the problem can be relat...