489 search results - page 29 / 98 » Support tools for graphs in computer science |
115
Voted
CSCW
2010
ACM
15 years 10 months ago
2010
ACM
This paper introduces an interactive tabletop system that enhances creative collaboration across physical and digital artifacts. Pictionaire offers capture, retrieval, annotation,...
FOCS
1994
IEEE
15 years 5 months ago
1994
IEEE
We show that two cooperating robots can learn exactly any strongly-connected directed graph with n indistinguishable nodes in expected time polynomial in n. We introduce a new typ...
ITICSE
2003
ACM
15 years 6 months ago
2003
ACM
We have students understand, enjoy, and actually use CRC cards in the introductory object-oriented design process that we teach. We attempted to teach a more sophisticated design ...
100
click to vote
APPROX
2007
Springer
15 years 7 months ago
2007
Springer
Consider a scenario where one desires to simulate the execution of some graph algorithm on random input graphs of huge, perhaps even exponential size. Sampling and storing these h...
GG
2004
Springer
15 years 6 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...