3172 search results - page 15 / 635 » On the Random-Self-Reducibility of Complete Sets |
AAAI
2012
12 years 6 days ago
2012
Given a monochrome image and some manually labeled pixels, the colorization problem is a computer-assisted process of adding color to the monochrome image. This paper proposes a n...
WOLLIC
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
We discuss a retrieval model in which the task is to complete a sentence, given an initial fragment, and given an application specific document collection. This model is motivate...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
CAIP
2003
Springer
14 years 3 months ago
2003
Springer
The problem of independence and completeness of rotation moment invariants is addressed in this paper. General method for constructing invariants of arbitrary orders by means of co...