4029 search results - page 597 / 806 » Experience with Software Watermarking |
131
click to vote
CHI
2009
ACM
16 years 6 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...
166
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
172
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
184
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Query result clustering has recently attracted a lot of attention to provide users with a succinct overview of relevant results. However, little work has been done on organizing t...
148
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
We present the results of a field study of some of the work practices and software used by dentists. We also present the design, implementation, and evaluation of a user interface...