3778 search results - page 92 / 756 » Erdos-Ko-Rado for three sets |
PODC
2012
ACM
13 years 3 months ago
2012
ACM
In the Byzantine agreement problem, a set of n processors, any f of whom may be arbitrarily faulty, must reach agreement on a value proposed by one of the correct processors. It i...
142
click to vote
JAIR
2007
15 years 1 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...
107
click to vote
PODS
2008
ACM
16 years 1 months ago
2008
ACM
Data exchange, also known as data translation, has been extensively investigated in recent years. One main direction of research has focused on the semantics and the complexity of...
135
click to vote
ICIP
1999
IEEE
16 years 2 months ago
1999
IEEE
In this paper we describe an interactive video object segmentation tool developed in the framework of the ACTSAC098 MOMUSYS project. The Video Object Generator with User Environme...
132
click to vote
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
We present a pattern recognizer to classify a variety of objects and their pose on a table from real world images. Learning of weights in a linear discriminant is based on estimat...