291 search results - page 25 / 59 » CPP Denotational Semantics |
LICS
2000
IEEE
14 years 6 days ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
CVPR
2005
IEEE
14 years 1 months ago
2005
IEEE
In this a novel supervised learning method is proposed to map low-level visualfeatures to high-level semantic conceptsfor region-based image retrieval. The contributions of thispa...
JELIA
1990
Springer
13 years 12 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
WWW
2011
ACM
13 years 2 months ago
2011
ACM
An object on the Semantic Web is likely to be denoted with multiple URIs by different parties. Object coreference resolution is to identify “equivalent” URIs that denote the ...
MMS
2008
13 years 7 months ago
2008
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...