5525 search results - page 677 / 1105 » Verification of Model Transformations |
201
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
219
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
XML structural joins, which evaluate the containment (ancestor-descendant) relationships between XML elements, are important operations of XML query processing. Estimating structu...
192
click to vote
ADMA
2006
Springer
16 years 1 months ago
2006
Springer
The automatic annotation of images presents a particularly complex problem for machine learning researchers. In this work we experiment with semantic models and multi-class learnin...
198
click to vote
3DIM
2005
IEEE
16 years 1 months ago
2005
IEEE
Conventional registration algorithms are mostly concerned with rigid-body transformation parameters between a pair of 3D range images. Our proposed framework aims to determine, in...
210
click to vote
SEKE
2005
Springer
16 years 1 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...