740 search results - page 92 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
126
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...
129
click to vote
TIP
2011
14 years 8 months ago
2011
—Recently, many object localization models have shown that incorporating contextual cues can greatly improve accuracy over using appearance features alone. Therefore, many of the...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
101
click to vote
CHI
2008
ACM
16 years 1 months ago
2008
ACM
In this paper, we reflect on the design and deployment process of MAGICBoard, a public display deployed in a university setting that solicits the electronic votes and opinions of ...
CHI
2004
ACM
16 years 1 months ago
2004
ACM
We introduce semantic pointing, a novel interaction technique that improves target acquisition in graphical user interfaces (GUIs). Semantic pointing uses two independent sizes fo...