9110 search results - page 1811 / 1822 » Formally-Based Design Evaluation |
SOFTVIS
2010
ACM
13 years 7 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 ...
USS
2010
13 years 7 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 ...
W4A
2010
ACM
13 years 7 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...
ACL
2009
13 years 7 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...
ANCS
2009
ACM
13 years 7 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...