Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers > Advances in Robotics
Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers |
Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada Arencibia
Springer Berlin Heidelberg
Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Advances in Robotics
Authors

Peter Kopacek

ARI Id

1664950725908_4203365

Access

Not Available Free

Pages

549-558

DOI

10.1007/11556985_72

Chapter URL

https://rd.springer.com/chapter/10.1007/11556985_72

Table of Contents of Book
Showing 1 to 20 of 85 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing
José Mira Mira
1-8
Approximation Problems Categories
Liara Aparecida dos Santos Leal; Dalcidio Moraes Claudio; Laira Vieira Toscani; Paulo Blauth Menezes
9-14
Computation of Partial Automata Through Span Composition
Karina Girardi Roggia; Marnes Augusto Hoff; Paulo Blauth Menezes
15-20
Degenerate Arrays: A Framework for Uncertain Data Tables
Margaret Miró-Julià
21-26
Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix
Przemyslaw M. Szecówka; Andrzej Szczurek; Maciej A. Mazurowski; Benedykt W. Licznerski; Franz Pichler
27-32
Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine
José Antonio Martin; Teresa de Pedro; Carlos González; R. García; Luís Argüelles; Jose M. Rivas et al.
33-37
Optimization of a Class of Uncertain Systems Based on Uncertain Variables
Zdzislaw Bubnicki
38-43
Computational Simulation of Categorical Constructions
Rodrigo Born Vieira; Paulo Blauth Menezes
44-49
Composing Transitions into Transactions in UML Diagrams
Júlio Pereira Machado; Paulo Blauth Menezes
50-55
Theory-Building with System Dynamics: Principles and Practices
Markus Schwaninger; Thomas K. Hamann
56-62
Ontology Integration for Statistical Information
Wilfried Grossmann; Markus Moschner
63-68
On Recursive Functions and Well–Founded Relations in the Calculus of Constructions
J. L. Freire; E. Freire; A. Blanco
69-80
Longest Sorted Sequence Algorithm for Parallel Text Alignment
Tiago Ildefonso; Gabriel Pereira Lopes
81-90
Information Retrieval and Large Text Structured Corpora
Fco. Mario Barcala; Miguel A. Molinero; Eva Domínguez
91-100
Meteorological Image Descriptors
J. L. Crespo; P. Bernardos; M. E. Zorrilla; E. Mora
101-110
Towards a Certified and Efficient Computing of Gröbner Bases
J. Santiago Jorge; Víctor M. Gulías; José L. Freire; Juan J. Sánchez
111-120
CheapTB: A Low Cost of Operation Distributed Filesystem
Javier París; Victor M. Gulías; Carlos Abalde
121-130
Spelling Correction on Technical Documents
M. Vilares; J. Otero; J. Graña
131-139
Verification of Language Based Fault-Tolerance
Clara Benac Earle; Lars-Åke Fredlund
140-149
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 85 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings