Sciweavers

1636 search results - page 212 / 328
» Type-Theoretic Functional Semantics
Sort
View
GECCO
2008
Springer
141views Optimization» more  GECCO 2008»
15 years 7 months ago
Potential fitness for genetic programming
We introduce potential fitness, a variant of fitness function that operates in the space of schemata and is applicable to tree-based genetic programing. The proposed evaluation ...
Krzysztof Krawiec, PrzemysBaw Polewski
ENTCS
2010
133views more  ENTCS 2010»
15 years 6 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
161
Voted
KBS
2008
198views more  KBS 2008»
15 years 6 months ago
Clinical practice guidelines: A case study of combining OWL-S, OWL, and SWRL
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. In this context,...
Mercedes Argüello Casteleiro, Jose Julio Des ...
ENGL
2007
168views more  ENGL 2007»
15 years 6 months ago
A Novel Star Field Approach for Shape Indexing in CBIR Systems
—This paper presents a novel hybrid method for content based visual information retrieval (CBIR) that combines shape analysis of objects in image with their automatic indexing by...
Oleg Starostenko, Alberto Chávez-Arag&oacut...
KES
2006
Springer
15 years 6 months ago
Integrated Document Browsing and Data Acquisition for Building Large Ontologies
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
Felix Weigel, Klaus U. Schulz, Levin Brunner, Edua...