Sciweavers

315 search results - page 17 / 63
» Reactive Turing Machines
Sort
View
ENTCS
2011
131views more  ENTCS 2011»
13 years 2 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
15 years 7 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
14 years 1 months ago
Traces of Term-Automatic Graphs
In formal language theory, many families of languages are deļ¬ned using grammars or ļ¬nite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
Antoine Meyer
ANNALS
2010
83views more  ANNALS 2010»
13 years 4 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
13 years 11 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