Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,605,804 papers from all fields of science
Search
Sign In
Create Free Account
Computable function
Known as:
Total recursive function
, Noncomputable function
, Incomputable function
Expand
Computable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
AI-complete
Arithmetical set
Brouwer–Heyting–Kolmogorov interpretation
Busy beaver
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A note on outer bounds for broadcast channel
Chandra Nair
arXiv.org
2011
Corpus ID: 18523132
In this note we establish two facts concerning the so-called {\em New-Jersey} outer bound. We show that this outer bound is…
Expand
2009
2009
ChemAxiom – An Ontological Framework for Chemistry in Science
Nico Adams
,
Edward O. Cannon
,
Peter Murray-Rust
2009
Corpus ID: 43526716
We present ChemAxiom as the first ontological framework for chemistry in science. ChemAxiom enables discourse about chemical…
Expand
Review
1999
Review
1999
Rate modulation of soft real-time tasks in autonomous robot control systems
G. Beccari
,
S. Caselli
,
M. Reggiani
,
F. Zanichelli
Proceedings of 11th Euromicro Conference on Real…
1999
Corpus ID: 9208190
Due to the high number of sensors managed and need to perform complex reasoning activities, real-time control systems of…
Expand
Highly Cited
1999
Highly Cited
1999
Computable General Equilibrium Modeling for Regional Analysis
Eliecer E. Vargas
,
D. Schreiner
,
G. Tembo
,
D. Marcouiller
1999
Corpus ID: 155504413
Highly Cited
1991
Highly Cited
1991
Source-Independent Call Acceptance Procedures in ATM Networks
Carsten Rasmussen
,
Jens H. Sørensen
,
K. Kvols
,
S. Jacobsen
IEEE J. Sel. Areas Commun.
1991
Corpus ID: 20143930
Strategies for connection admission control in asynchronous transfer mode (ATM) networks are considered. Without any Poisson or…
Expand
1986
1986
Optimal Approximations and Polynomially Levelable Sets
P. Orponen
,
David A. Russo
,
U. Schöning
SIAM journal on computing (Print)
1986
Corpus ID: 5441808
A set A not in P is polynomially levelable if any algorithm for A has speedup to a polynomial infinitely often in A: precisely…
Expand
1985
1985
Local Rotational Symmetries
Margaret M. Fleck
1985
Corpus ID: 118503426
Abstract : This theis describes a new representation for two-dimensional round regions called Local Rotational Symmetries. Local…
Expand
Highly Cited
1981
Highly Cited
1981
Completeness, Approximation and Density
K. Ko
,
Daniel J. Moore
SIAM journal on computing (Print)
1981
Corpus ID: 43016062
Polynomial time approximations to exponential time computable problems (EXP) are considered from the point of view of structure…
Expand
Highly Cited
1980
Highly Cited
1980
Balanced HDLC Procedures: A Performance Analysis
W. Bux
,
K. Kümmerle
,
Hong Linh Truong
IEEE Transactions on Communications
1980
Corpus ID: 61323914
The prime objective of the present paper is to analyze the performance of HDLC Balanced Class of Procedures, i.e., to…
Expand
1977
1977
A Fast Karhunen-Loeve Transform for Digital Restoration of Images Degraded by White and Colored Noise
Anil K. Jain
IEEE transactions on computers
1977
Corpus ID: 22884646
The Karhunen-Loeve (KL) transform is known to have certain properties which make it "optimal" for many "mean-square" signal…
Expand
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)
ACCEPT & CONTINUE