125 search results - page 18 / 25 » Automated Test Set Generation for Statecharts |
ICPR
2004
IEEE
14 years 8 months ago
2004
IEEE
ACT Maps are vital tools for most government agencies and consumers. However, their manual generation and updating is tedious and time consuming. As a step toward automatic map gen...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...
DT
2000
13 years 7 months ago
2000
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper we explore object recognition in clutter. We test our object recognition techniques on Gimpy and EZGimpy, examples of visual CAPTCHAs. A CAPTCHA ("Completely Au...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
An automated method for left ventricle detection in MR cardiac images is presented. Ventricle detection is the rst step in a fully automated segmentation system used to compute vo...