1636 search results - page 168 / 328 » Type-Theoretic Functional Semantics |
226
click to vote
JBCS
2010
15 years 1 months ago
2010
Schema matching is a fundamental issue to many database applications, such as query mediation and data warehousing. It becomes a challenge when different vocabularies are used to r...
184
click to vote
TKDE
2010
15 years 1 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...
231
click to vote
TON
2010
15 years 1 months ago
2010
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
188
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Object segmentation needs to be driven by top-down knowledge to produce semantically meaningful results. In this paper, we propose a supervised segmentation approach that tightly ...
179
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Object class segmentation (OCS) is a key issue in semantic scene labeling and understanding. Its general principle consists of naming object entities into scenes according to thei...