Sciweavers

152 search results - page 25 / 31
» Measures of complexity for artificial embryogeny
Sort
View
74
Voted
TPHOL
2005
IEEE
15 years 3 months ago
Mechanized Metatheory for the Masses: The PoplMark Challenge
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbair...
EWCBR
2004
Springer
15 years 3 months ago
Explanations and Case-Based Reasoning: Foundational Issues
By design, Case-Based Reasoning (CBR) systems do not need deep general knowledge. In contrast to (rule-based) expert systems, CBR systems can already be used with just some initial...
Thomas Roth-Berghofer
GECCO
2006
Springer
152views Optimization» more  GECCO 2006»
15 years 1 months ago
A combinatorial genetic algorithm for the configuration of the 2dF/AAOmega spectrograph at the anglo-Australian observatory
To help unravel the structure of the universe, astronomers have developed systems which observe large clusters of objects at the same time. One such system is the 2-degree field s...
Steven Manos, Geraint Lewis
TKDE
2008
111views more  TKDE 2008»
14 years 9 months ago
A Point Symmetry-Based Clustering Technique for Automatic Evolution of Clusters
In this paper, a new symmetry-based genetic clustering algorithm is proposed which automatically evolves the number of clusters as well as the proper partitioning from a data set. ...
Sanghamitra Bandyopadhyay, Sriparna Saha
HAPTICS
2009
IEEE
15 years 26 days ago
Intravascular palpation and haptic feedback during angioplasty
Within the HapCath - haptic catheter - project an assistive system for interventional catheterizations has been developed. Conventional navigation during catheterization is done b...
Thorsten Meiss, Christoph Budelmann, Thorsten Alex...