2272 search results - page 140 / 455 » Validity Invariants and Effects |
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
ICDAR
2009
IEEE
14 years 5 months ago
2009
IEEE
Graphics detection and recognition are fundamental research problems in document image analysis and retrieval. As one of the most pervasive graphical elements in business and gove...
FGR
2008
IEEE
14 years 4 months ago
2008
IEEE
Temporal segmentation of human motion into actions is a crucial step for understanding and building computational models of human motion. Several issues contribute to the challeng...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a novel technique for image inpainting, the problem of filling-in missing image parts. Image inpainting is ill-posed and we adopt a probabilistic model-based approach ...