1157 search results - page 205 / 232 » A Machine Learning Approach for Statistical Software Testing |
103
click to vote
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
110
click to vote
SIAMIS
2011
14 years 4 months ago
2011
Abstract. Many problems of low-level computer vision and image processing, such as denoising, deconvolution, tomographic reconstruction or superresolution, can be addressed by maxi...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
102
Voted
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
A key question regarding the future of the semantic web is “how will we acquire structured information to populate the semantic web on a vast scale?” One approach is to enter t...
ICDAR
1999
IEEE
15 years 1 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...