9110 search results - page 1811 / 1822 » Formally-Based Design Evaluation |
158
Voted
SOFTVIS
2010
ACM
14 years 11 months ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
138
Voted
USS
2010
14 years 11 months ago
2010
Secure multiparty computation (MPC) allows joint privacy-preserving computations on data of multiple parties. Although MPC has been studied substantially, building solutions that ...
135
Voted
W4A
2010
ACM
14 years 11 months ago
2010
ACM
Information graphics (such as bar charts and line graphs) play a vital role in many multimodal documents. Unfortunately, visually impaired individuals who use screen reader progra...
131
click to vote
ACL
2009
14 years 11 months ago
2009
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...
110
Voted
ANCS
2009
ACM
14 years 11 months ago
2009
ACM
In this paper we introduce the Range Trie, a new multiway tree data structure for address lookup. Each Range Trie node maps to an address range [Na, Nb) and performs multiple comp...