3778 search results - page 518 / 756 » Erdos-Ko-Rado for three sets |
178
click to vote
ISSTA
2004
ACM
16 years 2 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
188
click to vote
JCDL
2004
ACM
16 years 2 days ago
2004
ACM
We present a new approach to displaying and browsing a digital library collection, a set of Greek vases in the Perseus digital library. Our design takes advantage of three-dimensi...
190
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, we propose a novel transductive learning framework named manifold-ranking based image retrieval (MRBIR). Given a query image, MRBIR first makes use of a manifold ra...
205
click to vote
SENSYS
2004
ACM
16 years 2 days ago
2004
ACM
Monitoring of environmental phenomena with embedded networked sensing confronts the challenges of both unpredictable variability in the spatial distribution of phenomena, coupled ...
172
click to vote
SIGITE
2004
ACM
16 years 2 days ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...