3379 search results - page 341 / 676 » Combinators for Interaction Nets |
296
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...
163
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
159
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we present NiCEBook, a paper notebook that supports taking, structuring and reusing notes. Through a study of note-taking habits, we observed that different strateg...
167
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Speech Dasher allows writing using a combination of speech and a zooming interface. Users first speak what they want to write and then they navigate through the space of recognit...
190
click to vote
BIBE
2008
IEEE
16 years 1 months ago
2008
IEEE
—The post-genomic era is characterized by the rapid data accumulation leading to unwieldy and large volumes of biological data. The proteomics results (large sets of identified p...