2834 search results - page 459 / 567 » Representing Trees with Constraints |
199
click to vote
ICMT
2009
Springer
16 years 25 days 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...
170
click to vote
ISAAC
2009
Springer
16 years 25 days 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...
172
click to vote
IWANN
2009
Springer
16 years 25 days 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...
199
click to vote
SCIA
2009
Springer
16 years 25 days 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 ...
157
click to vote
SEMWEB
2009
Springer
16 years 25 days 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 ...