1422 search results - page 228 / 285 » Test Generation Algorithms Based on Preorder Relations |
DRR
2003
14 years 11 months ago
2003
The Medical Article Records System (MARS) developed by the Lister Hill National Center for Biomedical Communications uses scanning, OCR and automated recognition and reformatting ...
154
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
One of the objectives of e-Research is to help scientists to accomplish their research, including scientific experiments, more effectively and efficiently. Web services provide ...
ICANN
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This article presents a comprehensive study of different ensemble pruning techniques applied to a bagging ensemble composed of decision stumps. Six different ensemble p...
JCDL
2005
ACM
15 years 3 months ago
2005
ACM
Our system suggests likely identity labels for photographs in a personal photo collection. Instead of using face recognition techniques, the system leverages automatically availab...