5634 search results - page 851 / 1127 » About Abstract Classes |
154
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper reviews the results of a study into combining evidence from multiple streams of surveillance data in order to improve timeliness and specificity of detection ...
189
click to vote
BVAI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Binocular information about the structure of a scene is contained in the relative positions of corresponding points in the two views. If the eyes rotate, in order to fix...
169
click to vote
CAISE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
178
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
166
click to vote
CC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...