Sciweavers

588 search results - page 75 / 118
» Ontology ranking based on the analysis of concept structures
Sort
View
FM
2001
Springer
108views Formal Methods» more  FM 2001»
14 years 13 days ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
SEMWEB
2007
Springer
14 years 2 months ago
Analyzing Mapping Extraction Approaches
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
Christian Meilicke, Heiner Stuckenschmidt
FIDJI
2003
Springer
14 years 1 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese
SERA
2010
Springer
13 years 6 months ago
Service-Oriented Measurement Infrastructure
The importance of software measurement during the software development process is generally accepted, nowadays. Unfortunately, in practice common software measurement tools find s...
Hashem Yazbek, Reiner R. Dumke, Andreas Schmietend...
IWCM
2004
Springer
14 years 1 months ago
Divide-and-Conquer Strategies for Estimating Multiple Transparent Motions
Abstract. Motion estimation is essential in a variety of image processing and computer vision tasks, like video coding, tracking, directional filtering and denoising, scene analys...
Cicero Mota, Ingo Stuke, Til Aach, Erhardt Barth