5084 search results - page 162 / 1017 » Proving Possibility Properties |
168
click to vote
SIAMMA
2011
15 years 1 months ago
2011
We consider the evolution by mean curvature in a highly heterogeneous medium, modeled by a periodic forcing term, with large L∞ -norm but with zero average. We prove existence o...
144
click to vote
SIAMADS
2010
15 years 1 months ago
2010
We study the extent to which properties of infinite-dimensional dynamical systems can be accurately detected by examining observations of such systems. Let H be a separable Hilbert...
220
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
123
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
A quadratic programming formulation for multiclass image segmentation is investigated. It is proved that, in the convex case, the non-negativity constraint on the recent reported ...
134
click to vote
ALT
2009
Springer
16 years 3 months ago
2009
Springer
Motivated by the principle of agnostic learning, we present an extension of the model introduced by Balcan, Blum, and Gupta [3] on computing low-error clusterings. The extended mod...