Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,978,429 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.
2005
2005
DIMENSIONS OF CONFLICT AND THE ROLE OF FOREIGN AID IN FIJI
Rukmani Gounder
2005
Corpus ID: 152841533
As diversity is the strength for economic growth quality domestic institutions and good governance are some of the essential…
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
Probabilistic Normalisation and Unpacking of Packed Parse Forests for Unification-based Grammars
John A. Carroll
,
Ted Briscoe
1992
Corpus ID: 1816604
The research described below forms part of a wider programme to develop a practical parser for naturally-occurring natural…
Expand
1991
1991
Logic Programming, Functional Programming, and Inductive Definitions
Lawrence Charles Paulson
,
Andrew W. Smith
Extensions of Logic Programming
1991
Corpus ID: 47553916
An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs…
Expand
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
1988
1988
Parallel Processing and Document Layout
H. Brown
Electronic publishing
1988
Corpus ID: 44806524
SUMMARY Interactive editing and layout of high quality multi-media documents is a demanding application that is limited by the…
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
Knowledge-based system tool for high-level BIST design
N. Jones
,
K. Baker
Microprocessors and microsystems
1987
Corpus ID: 27709673
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 four-stroke reduction engine
C. Clack
,
S. Jones
LFP '86
1986
Corpus ID: 15294585
© 1986 ACM. Functional languages are widely claimed to be amenable to concurrent execution by multiple processors. This paper…
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