2026 search results - page 254 / 406 » Tools for Test Case Generation |
137
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
An integral scheme that provides a global eigen approach to the problem of face recognition of still images has been presented in [1]. The scheme is based on the representation of...
158
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
149
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
194
click to vote
SETN
2004
Springer
15 years 10 months ago
2004
Springer
We present novel intelligent tools for mining 3D medical images. We focus on detecting discriminative Regions of Interest (ROIs) and mining associations between their spatial distr...
154
click to vote
ADG
2006
Springer
15 years 9 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...