Sciweavers

1638 search results - page 126 / 328
» A General Semantics for Evaluation Logic
Sort
View
77
Voted
ESOP
2009
Springer
15 years 2 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts
GEOS
2009
Springer
15 years 2 months ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler
59
Voted
DPPI
2003
ACM
15 years 3 months ago
A semantic differential study of the influence of aesthetic properties on product pleasure
In this paper, the influence of the aesthetic properties of products on inducing the feeling of product pleasure on consumers is investigated. In the context of this study, aesthe...
Zeynep Sevener
SIGMOD
2006
ACM
127views Database» more  SIGMOD 2006»
15 years 10 months ago
Query evaluation using overlapping views: completeness and efficiency
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
Gang Gou, Maxim Kormilitsin, Rada Chirkova
SWAP
2007
14 years 11 months ago
Reasoning with Instances of Heterogeneous Ontologies
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
Luciano Serafini, Andrei Tamilin