1671 search results - page 12 / 335 » Semantics Through Pictures |
APAL
2008
13 years 7 months ago
2008
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
COLING
2010
13 years 2 months ago
2010
We propose to analyse semantic similarity in comparable text by matching syntactic trees and labeling the alignments according to one of five semantic similarity relations. We pre...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
GEOS
2007
Springer
14 years 1 months ago
2007
Springer
Maps are artifacts often derived from multiple sources of data, e.g., sensors, and processed by multiple methods, e.g., gridding and smoothing algorithms. As a result, complex meta...