198 search results - page 10 / 40 » Anytime Bounded Rationality |
86
Voted
AAAI
2006
15 years 2 months ago
2006
A contract algorithm is an algorithm which is given, as part of the input, a specified amount of allowable computation time. The algorithm must then compute a solution within the ...
97
Voted
MOC
2000
15 years 14 days ago
2000
The purpose of this paper is to describe a method to determine whether a bivariate polynomial with rational coefficients is irreducible when regarded as an element in Q((x))[y], th...
108
Voted
ISSAC
2007
Springer
15 years 6 months ago
2007
Springer
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
116
Voted
ACTA
2006
15 years 23 days ago
2006
Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural family of canonical infinite automata representing their...
88
Voted
SODA
1992
ACM
15 years 1 months ago
1992
ACM
In this paper we give the first self-testers and checkers for polynomials over rational and integer domains. We also show significantly stronger bounds on the efficiency of a simp...