2821 search results - page 104 / 565 » Tracing a single user |
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
WWW
2006
ACM
14 years 10 months ago
2006
ACM
In this paper we present an analysis of HTTP traffic captured from Internet caf?es and kiosks from two different developing countries ? Cambodia and Ghana. This paper has two main...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
Many Eyes is a web site that provides collaborative visualization services, allowing users to upload data sets, visualize them, and comment on each other's visualizations. Th...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we propose an algorithm to estimate missing
values in tensors of visual data. The values can be missing
due to problems in the acquisition process, or because
the ...
FASE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...