Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,147,102 papers from all fields of science
Search
Sign In
Create Free Account
Alvey
Known as:
Alvey Programme
The Alvey Programme was a British government sponsored research program in information technology that ran from 1983 to 1987. The program was a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
AI winter
Artificial intelligence
CADES
Fifth generation computer
Expand
Broader (1)
History of artificial intelligence
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
- 1-No News from Stratigraphic Computing ?
I. Herzog
2007
Corpus ID: 17315023
What are the issues stratigraphic computing has to deal with? This is a personal view presenting the features of my program…
Expand
1995
1995
Architecture of the ICL GOLDRUSH MegaSERVER
P. Watson
,
G. Catlow
British National Conference on Databases
1995
Corpus ID: 15022065
This paper discusses the requirements which are to be met by a parallel computer system if it is to satisfy the requirements of…
Expand
1992
1992
The use of a persistent language in the implementation of a process support system
R. Greenwood
,
Michael Guy
,
D. John
,
K. Robinson
1992
Corpus ID: 14126110
1992
1992
Set Theory as a Computational Logic: I. From Foundations to Functions ⁄
Lawrence Charles Paulson
1992
Corpus ID: 124621784
Zermelo-Fraenkel (ZF) set theory is widely regarded as unsuitable for automated reasoning. But a computational logic has been…
Expand
1991
1991
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming
A. D. Pierro
,
M. Martelli
,
C. Palamidessi
International Conference on Logic Programming
1991
Corpus ID: 24206531
1988
1988
The Use of VDM within the Alvey Flagship Project
G. Boddy
VDM Europe
1988
Corpus ID: 7426786
In Flagship, we have attempted to perform a very gradual introduction of the use of formal methods without proclaiming it to be…
Expand
1987
1987
A mathematical theory of synchronous concurrent algorithms
B. Thompson
1987
Corpus ID: 60993747
A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicating processes or modules…
Expand
1987
1987
Alvey MMI-007 Vehicle Exemplar: Evaluation and Verification of Model Instances
Kay Brisdon
Alvey Vision Conference
1987
Corpus ID: 558076
It has proved very difficult to recognise threedimensional objects in natural scenes, based only on two-dimensional features…
Expand
1986
1986
The Irish community in antebellum Richmond, 1840-1860
Kathryn Lynn Mahone
1986
Corpus ID: 161073020
1984
1984
Towards informetrics: Haitun, Laplace, Zipf, Bradford and the Alvey Programme
B. C. Brookes
J. Documentation
1984
Corpus ID: 46260486
Haitun has recently shown that empirical distributions are of two types—‘Gaussian’ and ‘Zipfian’—characterized by the presence or…
Expand