2944 search results - page 22 / 589 » Robust Semantic Construction |
103
click to vote
JUCS
2008
15 years 14 days ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
106
click to vote
JOLLI
2008
15 years 14 days ago
2008
In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BK c4 , which is adequate to this sense of consis...
97
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
Robust semantic labeling of image regions is a basic problem in representing and retrieving image/video content. We propose an SVM-MRF framework to model features and their spatia...
113
Voted
DAGSTUHL
2001
15 years 1 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
113
Voted
EDBT
2008
ACM
16 years 19 days ago
2008
ACM
Most previous schema mapping works focus on creating mappings in specific data models for data transformation, failing to capture a richer set of possible relationships between sc...