2272 search results - page 50 / 455 » Validity Invariants and Effects |
SIBGRAPI
2003
IEEE
14 years 27 days ago
2003
IEEE
Content-Based Image Retrieval (CBIR) systems have been developed aiming at enabling users to search and retrieve images based on their properties such as shape, color and texture....
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
ITC
2003
IEEE
14 years 27 days ago
2003
IEEE
In this paper, we analyze failing circuits and propose a multiple-fault diagnosis approach. Our methodology has been validated experimentally and has proved to be highly efficient...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
One claimed benefit of deploying design patterns is facilitating maintainers to perform anticipated changes. However, it is not at all obvious that the relevant design patterns de...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
A two-stage cascaded classification approach with an optimal candidate selection scheme is proposed to recognize places using images taken by camera phones. An optimal acceptance ...