5786 search results - page 1038 / 1158 » Lines Pinning Lines |
173
click to vote
ELPUB
2006
ACM
16 years 14 days ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...
155
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
161
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
158
click to vote
IUI
2006
ACM
16 years 14 days ago
2006
ACM
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
163
click to vote
JCDL
2006
ACM
16 years 14 days ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...