759 search results - page 119 / 152 » Test case generator for GUITAR |
87
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a novel classification approach for automatically detecting pulmonary embolism (PE) from computedtomography-angiography images. Unlike most existing approaches that req...
97
Voted
ISPW
2008
IEEE
15 years 7 months ago
2008
IEEE
Most process models calibrate their internal settings using historical data. Collecting this data is expensive, tedious, and often an incomplete process. Is it possible to make acc...
101
Voted
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
107
Voted
ATMOS
2007
15 years 2 months ago
2007
This paper addresses the problem of generating conflict-free periodic train timetables for large railway networks. We follow a two level approach, where a simplified track topolo...
92
Voted
APCCM
2008
15 years 2 months ago
2008
We identify established tableaux techniques as an invaluable tool for semantic knowledge acquisition in the design process of relational databases. Sample databases allow users an...