4109 search results - page 600 / 822 » User Interface Software Tools |
98
Voted
CHI
2007
ACM
16 years 2 months ago
2007
ACM
We introduce research on information scraps ? short, self-contained personal notes that fall outside of traditional filing schemes. We report on a preliminary study of information...
129
click to vote
CHI
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we introduce SocialBrowsing, a Firefox extension that adds social context to the web browsing experience. The extension is paired with services provided by social ne...
113
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
We seek to investigate how co-located group brainstorming could be enhanced through computational tools that leverage gestures and voice cues. To pursue this goal we are developin...
118
click to vote
RTA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
111
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...