1638 search results - page 47 / 328 » A General Semantics for Evaluation Logic |
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
We study the logic of comparative concept similarity CSL introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In thi...
ICDAR
1997
IEEE
15 years 2 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Social bookmarking systems and their emergent information structures, known as folksonomies, are increasingly important data sources for Semantic Web applications. A key question ...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...