7225 search results - page 115 / 1445 » Software is data too |
115
click to vote
ICAD
2004
15 years 5 months ago
2004
This project is concerned with the development and evaluation of an integrated approach to sound-based access to spreadsheets. The primary target user population is visually impai...
116
click to vote
TON
2008
15 years 3 months ago
2008
This article presents an approach to IP traceback based on the probabilistic packet marking paradigm. Our approach, which we call randomize-and-link, uses large checksum cords to &...
148
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Mining frequent itemsets is at the core of mining association rules, and is by now quite well understood algorithmically for main memory databases. In this paper, we investigate a...
119
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...