32 search results - page 5 / 7 » Interval completion with few edges |
KDD
2003
ACM
14 years 9 months ago
2003
ACM
Data Mining with Bayesian Network learning has two important characteristics: under broad conditions learned edges between variables correspond to causal influences, and second, f...
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
— In video indexing and summarization, video text is the very compact and accurate information. Most video text detection and extraction methods deal with the static videotext on...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
EOR
2010
13 years 8 months ago
2010
Traditionally, clustering problems are investigated under the assumption that all objects must be clustered. A shortcoming of this formulation is that a few distant objects, calle...
AI
2004
Springer
13 years 8 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...