Sciweavers

32545 search results - page 561 / 6509
» Data Structures and Algorithms
Sort
View
MLG
2007
Springer
16 years 1 months ago
Improving Frequent Subgraph Mining in the Presence of Symmetry
While recent algorithms for mining the frequent subgraphs of a database are efficient in the general case, these algorithms tend to do poorly on databases that have a few or no la...
Christian Desrosiers, Philippe Galinier, Pierre Ha...
VMCAI
2007
Springer
16 years 1 months ago
Invariant Synthesis for Combined Theories
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, A...
VMV
2007
113views Visualization» more  VMV 2007»
15 years 8 months ago
Internal Labels as Shape Cues for Medical Illustration
In this paper we describe an interactive labeling algorithm, which allows to integrate internal 3D labels into medical visualizations generated from volumetric data sets. The prop...
Timo Ropinski, Jörg-Stefan Praßni, Jan ...
KES
2005
Springer
16 years 22 days ago
OntoExtractor: A Fuzzy-Based Approach in Clustering Semi-structured Data Sources and Metadata Generation
This paper describes a theoretical approach on data mining, information classifying and a global overview of our OntoExtractor application, concerning the analysis of incoming data...
Zhan Cui, Ernesto Damiani, Marcello Leida, Marco V...
KCAP
2011
ACM
14 years 10 months ago
Eliciting hierarchical structures from enumerative structures for ontology learning
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...
Mouna Kamel, Bernard Rothenburger