Sciweavers

960 search results - page 19 / 192
» Computational Semantics Of Mass Terms
Sort
View
SEMWIKI
2008
134views Data Mining» more  SEMWIKI 2008»
13 years 9 months ago
A Real Semantic Web for Mathematics Deserves a Real Semantics
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, ...
WWW
2007
ACM
14 years 8 months ago
Building and managing personalized semantic portals
This paper presents a semantic portal, SEMPort, which provides better user support with personalized views, semantic navigation, ontology-based search and three different kinds of...
Melike Sah, Wendy Hall
GECCO
2009
Springer
112views Optimization» more  GECCO 2009»
14 years 2 months ago
Approximating geometric crossover in semantic space
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
Krzysztof Krawiec, Pawel Lichocki
FCT
2005
Springer
14 years 1 months ago
A Self-dependency Constraint in the Simply Typed Lambda Calculus
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
Aleksy Schubert
CCGRID
2005
IEEE
14 years 1 months ago
Semi-automated preservation and archival of scientific data using semantic grid services
Addressing the long term preservation issues associated with scientific data is a complex challenge compounded by: the scale and multidisciplinary nature of the problem; the wide ...
J. Hunter, S. Choudhury