12118 search results - page 2029 / 2424 » User interface tools |
154
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
175
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Some of the recent investigations in systems biology have revealed the existence of a complex regulatory network between genes, microRNAs (miRNAs) and transcription fa...
205
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Projection systems can be used to implement augmented reality, as well as to create both displays and interfaces on ordinary surfaces. Ordinary surfaces have varying reflectance, ...
227
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we describe several findings from a multi-year, multi-method study of how information and communication technologies have been adopted and adapted in Central Asia. ...
187
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Researchers in Web engineering have regularly noted that existing Web application development environments provide little support for managing the evolution of Web applications. K...