1669 search results - page 305 / 334 » Structured Specification of Model Interpreters |
122
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Oriented patterns, e.g. fingerprints, consist of smoothly
varying flow-like patterns, together with important singular
points (i.e. cores and deltas) where the orientation change...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
Automatic segmentation of anatomical structures is often performed using model-based non-rigid registration methods. These algorithms work well when the images do not contain any ...
ICPR
2002
IEEE
16 years 26 days ago
2002
IEEE
This paper introduces an approach for handling complex labelling problems driven by local constraints. The purpose is illustrated by two applications: detection of the road networ...
112
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
WWW
2005
ACM
16 years 13 days ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...