Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,860,434 papers from all fields of science
Search
Sign In
Create Free Account
Nondeterministic algorithm
Known as:
Non-deterministic algorithm
In computer science, a nondeterministic algorithm is an algorithm that, even for the same input, can exhibit different behaviors on different runs…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Advice (complexity)
Algorithm
Asymptotic computational complexity
Communicating sequential processes
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service
G. Pu
,
Huibiao Zhu
,
Zongyan Qiu
,
Shuling Wang
,
Xiangpeng Zhao
,
J. He
International Conference on Formal Methods for…
2006
Corpus ID: 14377694
Web Services have become more and more important in these years, and BPEL4WS is a de facto standard for the web service…
Expand
2006
2006
A Better N-Best List: Practical Determinization of Weighted Finite Tree Automata
Jonathan May
,
Kevin Knight
North American Chapter of the Association for…
2006
Corpus ID: 312883
Ranked lists of output trees from syntactic statistical NLP applications frequently contain multiple repeated entries. This…
Expand
Highly Cited
2005
Highly Cited
2005
Improving the real-time behavior of ethernet networks using traffic smoothing
L. L. Bello
,
G. A. Kaczynski
,
O. Mirabella
IEEE Transactions on Industrial Informatics
2005
Corpus ID: 10833663
In modern process control systems, Ethernet is achieving a leading position, proposing itself as a network capable of supporting…
Expand
2003
2003
Expressive Equivalence of Formalisms for Planning with Sensing
J. Rintanen
International Conference on Automated Planning…
2003
Corpus ID: 9105689
There have been several proposals for expressing planning problems with different forms of uncertainty, including non-determinism…
Expand
2000
2000
Exploiting non-determinism for reliability of mobile agent systems
Ajay Mohindra
,
A. Purakayastha
,
P. Thati
Proceeding International Conference on Dependable…
2000
Corpus ID: 6028499
An important technical hurdle blocking the adoption of mobile agent technology is the lack of reliability. Designing a reliable…
Expand
Highly Cited
1998
Highly Cited
1998
The iconic page in manuscript, print, and digital culture
G. Bornstein
,
Theresa Tinkle
1998
Corpus ID: 193366635
Introduction / George Bornstein and Theresa Tinkle -- Alfred the Great's burn Boethius / Kevin Kiernan -- Sensations of the page…
Expand
Review
1996
Review
1996
Japanese Sentence Processing
R. Mazuka
,
N. Nagai
1996
Corpus ID: 62804762
Contents: Preface. R. Mazuka, N. Nagai, Japanese Sentence Processing: An Interdisciplinary Approach. A. Inoue, J.D. Fodor…
Expand
1992
1992
An object-oriented refinement calculus with modular reasoning
Barry Mark Utting
1992
Corpus ID: 61202181
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding…
Expand
1989
1989
Multiparty Interactions for Interprocess Communication and Synchronization
M. Evangelist
,
N. Francez
,
Shmuel Katz
IEEE Trans. Software Eng.
1989
Corpus ID: 206415800
The authors consider the essential properties of a multiparty interaction construct which serves as a primitive for interprocess…
Expand
1984
1984
Information Transfer under Different Sets of Protocols
J. JáJá
,
V. Prasanna
,
Janos Simon
SIAM journal on computing (Print)
1984
Corpus ID: 21209469
We study four kinds of protocols in distributed computing. Besides the case of deterministic protocols, we consider random…
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