831 search results - page 76 / 167 » Coalgebraic Correspondence Theory |
134
click to vote
ESWS
2007
Springer
16 years 10 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
175
click to vote
ICIP
2006
IEEE
16 years 7 days ago
2006
IEEE
Cued Speech is a specific visual coding that complements oral language lip-reading, by adding static hand gestures (a static gesture can be presented on a single photograph as it ...
130
click to vote
SIGIR
2006
ACM
16 years 4 days ago
2006
ACM
We consider the problem of evaluating retrieval systems using a limited number of relevance judgments. Recent work has demonstrated that one can accurately estimate average precis...
145
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
158
click to vote
HT
2005
ACM
15 years 11 months ago
2005
ACM
Hypermedia systems’ researchers investigate the various approaches in the way documents and resources are linked, navigated and stored in a distributed environment. Unfortunatel...