9842 search results - page 303 / 1969 » The Complexity of the Matching-Cut Problem |
135
click to vote
ATAL
2003
Springer
16 years 17 hour ago
2003
Springer
In this paper, we examine two multi-agent based representations of SATs and further experimentally study the topologies of resulting agent networks. We show that different repres...
183
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Knowing the background image of a video scene simplifies the general video-object segmentation problem and therefore it is required by several automatic segmentation algorithms. T...
176
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...
161
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...
212
click to vote
PROPOR
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of simplifying Portuguese texts at the sentence level treating it as a "translation task". We use the Statistical Machine Translation (SMT) framewo...