26 search results - page 3 / 6 » A New Approach for Automatic Theorem Proving in Real Geometr... |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
ENTCS
2008
13 years 7 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
JMLR
2006
13 years 7 months ago
2006
We propose a family of learning algorithms based on a new form of regularization that allows us to exploit the geometry of the marginal distribution. We focus on a semi-supervised...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
We develop a new approach for characterization of mixed pixels in remotely sensed hyperspectral images. The proposed method rst performs joint spatial-spectral pixel characterizat...