3172 search results - page 574 / 635 » On the Random-Self-Reducibility of Complete Sets |
144
click to vote
JANCL
2007
15 years 6 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
172
click to vote
JCP
2007
15 years 6 months ago
2007
Abstract— Analyzing unknown data sets such as multispectral images often requires unsupervised techniques. Data clustering is a well known and widely used approach in such cases....
160
click to vote
JCP
2007
15 years 6 months ago
2007
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...
151
click to vote
JCT
2007
15 years 6 months ago
2007
A matrix A is said to be partition regular (PR) over a subset S of the positive integers if whenever S is finitely coloured, there exists a vector x, with all elements in the sam...
167
click to vote
JCT
2007
15 years 6 months ago
2007
Abstract. Simple families of increasing trees can be constructed from simply generated tree families, if one considers for every tree of size n all its increasing labellings, i.e.,...