1411 search results - page 164 / 283 » Interactive Coding for Interactive Proofs |
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
It is now common for Web sites to use active Web content, such as Flash, Silverlight, or Java applets, to support rich, interactive applications. For many mobile devices, however,...
102
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: Predicting protein complexes from experimental data remains a challenge due to limited resolution and stochastic errors of high-throughput methods. Current algorithms ...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
This paper investigates using stroke gestures as shortcuts to menu selection. We first experimentally measured the performance and ease of learning of stroke shortcuts in comparis...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...