3778 search results - page 605 / 756 » Erdos-Ko-Rado for three sets |
146
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
173
click to vote
AUSDM
2006
Springer
15 years 9 months ago
2006
Springer
Harmonic monitoring has become an important tool for harmonic management in distribution systems. A comprehensive harmonic monitoring program has been designed and implemented on ...
162
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
179
click to vote
DIAL
2004
IEEE
15 years 9 months ago
2004
IEEE
Today's digital libraries increasingly include not only printed text but also scanned handwritten pages and other multimedia material. There are, however, few tools available...
164
click to vote
CCIA
2006
Springer
15 years 9 months ago
2006
Springer
: This paper presents a method called "Situation Matching" that aids to improve cooperative tasks in heterogeneous multi-agent systems. The situation matching (SM) above ...