5624 search results - page 409 / 1125 » On Conditional Covering Problem |
199
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
208
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
Detecting abnormalities in video is a challenging problem since the class of all irregular objects and behaviors is infinite and thus no (or by far not enough) abnormal training sa...
207
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper presents a cross-based framework of performing local multipoint filtering efficiently. We formulate the filtering process as a local multipoint regression problem, c...
214
click to vote
AAAI
2012
13 years 9 months ago
2012
We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and negations in their bodies. In partic...
184
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...