Sciweavers

3166 search results - page 396 / 634
» Translation By Structural Correspondences
Sort
View
SEFM
2007
IEEE
16 years 29 days ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
ECAL
2007
Springer
16 years 26 days ago
PLAZZMID: An Evolutionary Agent-Based Architecture Inspired by Bacteria and Bees
Abstract. Classical evolutionary algorithms have been extremely successful at solving certain problems. But they implement a very simple model of evolutionary biology that misses o...
Susan Stepney, Tim Clarke, Peter Young
EMMCVPR
2007
Springer
16 years 26 days ago
Decomposing Document Images by Heuristic Search
Abstract. Document decomposition is a basic but crucial step for many document related applications. This paper proposes a novel approach to decompose document images into zones. I...
Dashan Gao, Yizhou Wang
GD
2007
Springer
16 years 26 days ago
Multi-circular Layout of Micro/Macro Graphs
We propose a layout algorithm for micro/macro graphs, i.e. relational structures with two levels of detail. While the micro-level graph is given, the macro-level graph is induced b...
Michael Baur, Ulrik Brandes
SEMWEB
2007
Springer
16 years 25 days ago
Towards Semantics-based Ontology Similarity
Abstract. As the Semantic Web emerges the problem of semantic heterogeneity is becoming more acute. Ontology matching techniques aim at tackling this problem by establishing corres...
Rudi Araújo, Helena Sofia Pinto