Sciweavers

315 search results - page 17 / 63
» Reactive Turing Machines
Sort
View
115
Voted
ENTCS
2011
131views more  ENTCS 2011»
14 years 9 months ago
Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ā€˜Computational Complexity in Non-Turing Models of Computationā...
Ed Blakey

Book
1569views
17 years 1 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki
MFCS
2007
Springer
15 years 8 months ago
Traces of Term-Automatic Graphs
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
Antoine Meyer
121
Voted
ANNALS
2010
83views more  ANNALS 2010»
14 years 11 months ago
The Turing-850 Project: Developing a Personal Computer in the Early 1980s in Mexico
The increasing popularity in the late 1970s of affordable, general-purpose, microprocessor-based personal computers in the US, generated a widespread interest around the world in t...
Daniel Ortiz Arroyo, Francisco Rodríguez-He...
ICML
1990
IEEE
15 years 6 months ago
Explanations of Empirically Derived Reactive Plans
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
Diana F. Gordon, John J. Grefenstette