3342 search results - page 413 / 669 » Automating Abstract Interpretation |
144
click to vote
ISVC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We have developed a new semi-automated method for segmenting images of biological cells seeded at low density on tissue culture substrates, which we use to improve the ge...
104
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
143
click to vote
MIAR
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
146
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
142
click to vote
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...