3333 search results - page 334 / 667 » Abstract Proof Search |
145
click to vote
AAECC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This article describes two algorithms in order to search decomposition groups of ideals of polynomials with coefficients in a perfect field when those ideals are generate...
128
Voted
MOC
1998
15 years 6 months ago
1998
Abstract. We describe several searches for polynomials with integer coefficients and small Mahler measure. We describe the algorithm used to test Mahler measures. We determine all...
185
click to vote
COGSR
2010
15 years 1 months ago
2010
act 11 One of the fundamental human cognitive processes is problem solving. As a higher-layer cognitive process, problem solving interacts many other cognitive processes such as ab...
181
click to vote
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
173
click to vote
TCIAIG
2010
15 years 1 months ago
2010
Abstract--Parallelizing Monte-Carlo tree search has been considered to be a way to improve the strength of computer Go programs. In this paper, we analyze the performance of two ro...