917 search results - page 60 / 184 » Name and Address Data Quality |
120
click to vote
FMCO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
HOTOS
1993
IEEE
15 years 4 months ago
1993
IEEE
Mobile computing and multimedia are two emerging trends in computer systems. One foreseeable application suggested by these two trends is the playback of stored video on both mobi...
LRE
2007
14 years 11 months ago
2007
The AMI Meeting Corpus contains 100 hours of meetings captured using many synchronized recording devices, and is designed to support work in speech and video processing, language ...
138
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
201
click to vote
SIGMOD
2006
ACM
16 years 1 days ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...