Sciweavers

138 search results - page 16 / 28
» An Unsupervised Approach for Semantic Relation Interpretatio...
Sort
View
94
Voted
CALCO
2005
Springer
119views Mathematics» more  CALCO 2005»
15 years 5 months ago
The Category Theoretic Solution of Recursive Program Schemes
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
Stefan Milius, Lawrence S. Moss
JAPLL
2008
121views more  JAPLL 2008»
14 years 11 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
DEXA
2009
Springer
173views Database» more  DEXA 2009»
15 years 6 months ago
Incremental Ontology-Based Extraction and Alignment in Semi-structured Documents
SHIRI 1 is an ontology-based system for integration of semistructured documents related to a specific domain. The system’s purpose is to allow users to access to relevant parts ...
Mouhamadou Thiam, Nacéra Bennacer, Nathalie...
WIAMIS
2009
IEEE
15 years 6 months ago
Comparative evaluation of spatial context techniques for semantic image analysis
In this paper, two approaches to utilizing contextual information in semantic image analysis are presented and comparatively evaluated. Both approaches make use of spatial context...
Georgios Th. Papadopoulos, Carsten Saathoff, Marci...
TPHOL
2002
IEEE
15 years 4 months ago
Type-Theoretic Functional Semantics
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
Yves Bertot, Venanzio Capretta, Kuntal Das Barman