634 search results - page 92 / 127 » Completion Procedures as Semidecision Procedures |
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper we address the joint problems of automated data acquisition and view planning for large–scale indoor and outdoor sites. Our method proceeds in two distinct stag...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a contribution to the large problematic of integrating medical image-based information into a structured framework (such as electronic patient records or anato...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
Many techniques of knowledge-based segmentation consist of building statistical models that describe the deformations of the structure of interest, and then fit these models to t...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...