3316 search results - page 454 / 664 » Mining Software Engineering Data |
121
Voted
AVI
2008
15 years 4 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
AVI
2008
15 years 4 months ago
2008
In this paper, we describe a paper-based interface, which combines the physical (real) with the digital world: while interacting with real paper printouts, users can seamlessly wo...
114
Voted
ARCS
2008
Springer
15 years 3 months ago
2008
Springer
Due to increasing complexity of modern real-time image processing applications, classical hardware development at register transfer level becomes more and more the bottleneck of te...
120
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
113
Voted
IESA
2007
15 years 3 months ago
2007
The dissemination of e-Business solutions among small and medium sized enterprises (SMEs) is still very low due to various reasons. In the course of the GENESIS project, we aim at ...