Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 209,942,633 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2011

Highly Cited

2011

We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semi definite…

Highly Cited

2006

Highly Cited

2006

This paper describes the second version of the Mizar Problems for Theorem Proving (MPTP) system and first experimental results…

Highly Cited

2003

Highly Cited

2003

Contents: G. Hatano, Foreword. A.J. Baroody, A. Dowker, Preface. A.J. Baroody, The Development of Adaptive Expertise and…

Highly Cited

1999

Highly Cited

1999

List of tables Preface Acknowledgements 1. Introduction Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive…

Highly Cited

1999

Highly Cited

1999

This paper presents a new approach to hierarchical reinforcement learning based on decomposing the target Markov decision process…

Highly Cited

1999

Highly Cited

1999

A real number is computable if it is the limit of an effectively converging computable sequence of rational numbers, and left…

Highly Cited

1993

Highly Cited

1993

(1.1) a1x1 + . . .+ akxk = b with x1, . . . , xk in a prescribed set of integers. We saw that the vanishing of the constant term…

Highly Cited

1993

Highly Cited

1993

Starting from an identification of infinite computations with ω-words, we present a framework in which different classification…

Review

1984

Review

1984

The ancient study of the residue numbering system, or RNS, begins with a verse from a third-century book, Suan-ching, by Sun Tzu…

Highly Cited

1976

Highly Cited

1976