4806 search results - page 186 / 962 » Interactive uncertainty analysis |
137
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
127
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
We introduce a novel technique for comparing graphs using the structure of their subgraphs, which we call a graph's fine structure. Our technique compares graphs using the ear...
131
click to vote
HCI
2009
15 years 2 months ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
116
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
This paper examines the use of an interactive artwork that was designed by members of the research team and exhibited at the Sculpture, Objects and Functional Art (SOFA) Expositio...
130
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Network Component Analysis (NCA) has been used to deduce the activities of transcription factors (TFs) from gene expression data and the TF-gene binding relationship. ...