Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,055,296 papers from all fields of science
Search
Sign In
Create Free Account
Domain theory
Known as:
Domain
, Way-below relation
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Actor model
Actor model and process calculi
Category theory
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Analogies Out of the Blue: When History Seems to Retell Itself
Lelyn D. Saner
,
Christian D. Schunn
Proceedings of the Twenty First Annual Conference…
2020
Corpus ID: 59625858
To explain the origins of new scientific ideas, historians and philosophers of science point to examples where scientists appear…
Expand
2018
2018
Identifying Analogies Across Domains
Yedid Hoshen
,
Lior Wolf
International Conference on Learning…
2018
Corpus ID: 51760399
Identifying analogies across domains without supervision is an important task for artificial intelligence. Recent advances in…
Expand
2013
2013
Completeness in generalized ultrametric spaces
N. Ackerman
2013
Corpus ID: 45080650
We analyze the relationship between four notions of completeness for Γ-ultrametric spaces. The notions we consider include Cauchy…
Expand
2009
2009
Teaching mathematics and programming : new approaches with empirical evaluation
Linda Mannila
2009
Corpus ID: 59876984
Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education…
Expand
2007
2007
Teaching the Construction of Correct Programs Using Invariant Based Programming
R. Back
,
Johannes Eriksson
,
Linda Mannila
2007
Corpus ID: 16446857
In most computer science curricula, formal reasoning about program correctness is taught separately from practical programmi ng…
Expand
2005
2005
From IT Design to Workpractice Construction
Lars Taxén
2005
Corpus ID: 990985
In this paper we describe an approach for information system design that aims at constructing the social reality in which the…
Expand
2005
2005
Sociolinguistic Situation of the Tat and Mountain Jews in Azerbaijan
J. Clifton
,
Gabriela Deckinga
,
L. Lucht
,
C. Tiessen
2005
Corpus ID: 55189920
2001
2001
Incremental Case-based Keyhole Plan Recognition
B. Kerkez
2001
Corpus ID: 575745
world states is made feasible by the structural property of the abstraction mechanism. That is, the abstract states essentially…
Expand
1996
1996
Sisyphus-VT: A CommonKADS solution
G. Schreiber
,
Peter Terpstra
Int. J. Hum. Comput. Stud.
1996
Corpus ID: 32509577
This article represents a CommonKADS contribution to the Sisyphus-VT experiment. This experiment is concerned with a comparison…
Expand
1990
1990
Artificial Intelligence and Marine Design
S. Amarel
,
L. Steinberg
The AI Magazine
1990
Corpus ID: 109269790
In the last few years, interest has grown in exploring AI approaches to design problems, both because of the enormous potential…
Expand