874 search results - page 122 / 175 » Computing Weighted Solutions in Answer Set Programming |
129
click to vote
ICPR
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we introduce a novel graphical image representation comprising a single curve—the one-liner. The first step involves the detection and linking of image edges. We ...
164
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose to detect abnormal events via a sparse reconstruction over the normal bases. Given an over-complete normal basis set (e.g., an image sequence or a collection of local s...
149
Voted
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
146
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
140
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...