2834 search results - page 459 / 567 » Representing Trees with Constraints |
140
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
120
Voted
ISAAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Given two comparative maps, that is two sequences of markers each representing a genome, the Maximal Strip Recovery problem (MSR) asks to extract a largest sequence of ma...
116
Voted
IWANN
2009
Springer
15 years 7 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
129
Voted
SCIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Level set methods are a popular way to solve the image segmentation problem in computer image analysis. A contour is implicitly represented by the zero level of a signed ...
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...