Sciweavers

3557 search results - page 255 / 712
» Authoring Presentation for OpenMath
Sort
View
CHI
2010
ACM
16 years 1 months ago
Evaluating cues for resuming interrupted programming tasks
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...
Chris Parnin, Robert DeLine
HT
2004
ACM
16 years 1 days ago
Display-agnostic hypermedia
In the diversifying information environment, contemporary hypermedia authoring and filtering mechanisms cater to specific devices. Display-agnostic hypermedia can be flexibly and ...
Unmil Karadkar, Richard Furuta, Selen Ustun, Young...
TEI
2009
ACM
176views Hardware» more  TEI 2009»
15 years 11 months ago
mixiTUI: a tangible sequencer for electronic live performances
Tangible user interfaces for manipulating audio and music focus mostly on generating music on the spot, but rarely on how electronic musicians balance preparation and improvisatio...
Esben Warming Pedersen, Kasper Hornbæk
TEI
2009
ACM
92views Hardware» more  TEI 2009»
15 years 11 months ago
Media Crate: tangible live media production interface
Live media production – the presentation of audio-visual content at events such as conferences and concerts – is a high intensity task where a small production team must inter...
Tom Bartindale, Jonathan Hook, Patrick Olivier
POPL
2005
ACM
16 years 7 months ago
Precise interprocedural analysis using random interpretation
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
Sumit Gulwani, George C. Necula