4079 search results - page 465 / 816 » Differential Testing for Software |
158
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
169
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We describe a single-shot method to differentiate unscattered and scattered components of light transmission through a heterogeneous translucent material. Directly-transm...
156
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
131
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Question answering systems increasingly need to deal with complex information needs that require more than simple factoid answers. The evaluation of such systems is usually carrie...
150
click to vote
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
The Internet is witnessing explosive growth in traffic due to bulk content transfers, such as multimedia and software downloads, and online sharing of personal, commercial, and sc...