Sciweavers

5082 search results - page 830 / 1017
» Hierarchical Genetic Algorithms
Sort
View
160
Voted
JAR
1998
134views more  JAR 1998»
15 years 4 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
KSEM
2010
Springer
15 years 2 months ago
A Concept Hierarchy Based Ontology Mapping Approach
Abstract. Ontology mapping is one of the most important tasks for ontology interoperability and its main aim is to find semantic relationships between entities (i.e. concept, attri...
Ying Wang, Weiru Liu, David A. Bell
ACMSE
2008
ACM
15 years 7 months ago
Optimization of the multiple retailer supply chain management problem
With stock surpluses and shortages representing one of the greatest elements of risk to wholesalers, a solution to the multiretailer supply chain management problem would result i...
Caio Soares, Gerry V. Dozier, Emmett Lodree, Jared...
DMIN
2008
190views Data Mining» more  DMIN 2008»
15 years 6 months ago
Optimization of Self-Organizing Maps Ensemble in Prediction
The knowledge discovery process encounters the difficulties to analyze large amount of data. Indeed, some theoretical problems related to high dimensional spaces then appear and de...
Elie Prudhomme, Stéphane Lallich
BMCBI
2007
137views more  BMCBI 2007»
15 years 5 months ago
GEVALT: An integrated software tool for genotype analysis
Background: Genotype information generated by individual and international efforts carries the promise of revolutionizing disease studies and the association of phenotypes with al...
Ofir Davidovich, Gad Kimmel, Ron Shamir