132 search results - page 14 / 27 » Polite Theories Revisited |
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q → ...
COLING
2000
13 years 9 months ago
2000
Pronolninalization has been related to tile idea of a local focus - a set of discourse entities in the speaker's centre of attention, for exmnple ill Gundel et al. (1993)...
DAGSTUHL
2000
13 years 9 months ago
2000
We study the computation of rotation-invariant similarity measures of convex polyhedra, based on Minkowski's theory of mixed volumes. To compute the similarity measure, a (mix...
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...
APLAS
2007
ACM
14 years 13 days ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...