831 search results - page 76 / 167 » Coalgebraic Correspondence Theory |
ESWS
2007
Springer
15 years 6 months 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...
105
click to vote
ICIP
2006
IEEE
15 years 6 months 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 ...
SIGIR
2006
ACM
15 years 5 months 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...
TPHOL
2005
IEEE
15 years 5 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...
HT
2005
ACM
15 years 5 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...