Skip to search formSkip to main contentSkip to account menu

Oracle machine

Known as: Oracle set, Oracle (computer science), Oracle tape 
In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems. It can be visualized as a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract machineAlgorithmically random sequenceAmplitude amplificationBerman–Hartmanis conjecture

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Doubling in relative clauses : Aspects of morphosyntactic microvariation in Dutch
This thesis presents a study of morphosyntactic microvariation in (long-distance) restrictive relative clauses and related… 
2013
2013
A Query Tool for EL with Non-monotonic Rules
We present the Protege plug-in NoHR that allows the user to take an $\mathcal{EL}^+_\top$ ontology, add a set of non-monotonic… 
Highly Cited
2004
Highly Cited
2004
All things being unequal : locality in movement
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2004. 
1998
1998
Languages of perception
ix Acknowledgments I am very grateful to my supervisors, Remko Scha, Peter van Emde Boas and Bipin Indurkhya, for their… 
1994
1994
Quasilinear Time Complexity Theory
This paper furthers the study of quasi-linear time complexity initiated by Schnorr [Sch76] and Gurevich and Shelah [GS89]. We… 
Highly Cited
1993
Highly Cited
1993
Theory Interpretation in Simple Type Theory
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in… 
1992
1992
Syntactic Movement Analysis of Korean Relativization
The present paper claims that Korean rela tivizat ion involves syntactic Whmovement of an empty rela tive operator. This paper… 
1981
1981
Optimization Problems and the Polynomial Hierarchy
1972
1972
Sorcellerie, oracles et magie chez les Azandé
Review
1947
Review
1947
The Dynastic Oracle: II Samuel 7
DR. ROBERT H. PFEIFFER of Harvard has secured himself a permanent place in Old Testament scholarship by his very learned and very… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)