1809 search results - page 312 / 362 » Software Model Checking Using Linear Constraints |
TAICPART
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
TASE
2011
IEEE
13 years 20 days ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Mutants are automatically-generated, possibly faulty variants of programs. The mutation adequacy ratio of a test suite is the ratio of non-equivalent mutants it is able to identif...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
A method for segmenting and recognizing text embedded in video and images is proposed in this paper. In the method, multiple segmentation of the same text region is performed, thu...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
We introduce a 3-D parametric active contour algorithm for the shape estimation of DNA molecules from stereo cryo-electron micrographs. We consider a 3-D filament (consisting of a...