default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. EUROCAST 1997: Las Palmas de Gran Canaria, Canary Islands, Spain
- Franz Pichler, Roberto Moreno-Díaz:
Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings. Lecture Notes in Computer Science 1333, Springer 1997, ISBN 3-540-63811-3
Design Environments and Tools
- Renate Merker, Ulrich Eckhardt, Dirk Fimmel, H. Schreiber:
A System for Designing Parallel Processor Arrays. 3-12 - Christoph Schaffer:
On the Role of Architectures in Systems Engineering. 13-33 - Miroslav Svéda:
An Approach to Safety Critical Systems Design. 34-49 - Thomas Müller-Wipperfürth:
Extensions and Semantics of Controller State Diagrams for Practical Applications. 50-57 - Dagmar Auer, Heinz Dobler, Gerd Weishaar:
Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant. 58-70 - Ana Anaya, María J. Rodríguez, José Parets-Llorca:
Representation and Management of Memory and Decision in Evolving Software Systems. 71-82 - Herwig Mayr:
GEM - A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models. 83-91
Theory and Methods
- Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot:
Formal Representation and Proof of the Interpreted Sequential Machine Model. 95-107 - Uwe Glässer:
Modelling of Concurrent and Embedded Systems. 108-122 - Antonio Cau, Willem P. de Roever:
A Dense-Time Temporal Logic with Nice Compositionality Properties. 123-145 - Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro
:
Introducing Planning in Discrete Event Systems. 146-159 - Pedro Albertos, Jorge Bondia, P. Moya:
Multirate Control of a Class of Nonlinear Systems. 160-169 - Hanns-Jakob Sommer, Hubert Hahn:
Global Structural Approximate Controllability of Polynominal Nonlinear Systems. 170-176 - Elvira Di Nardo, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi:
Vectorized Simulations of Normal Processes for First Crossing-Time Problems. 177-188 - Gillian Hill:
An Architecture for Complex Systems. 189-201 - Germano Resconi, A. Wayne Wymore:
Model-Based System Design for Engineering (T3SD) and General System Logical Theory. 202-217 - Jesús Rodríguez-Millán, José Yépez, Jozsef Bokor:
Design of Nonlinear Lag-Lead Compensators by Extended Linearization. 218-235 - Josep Miró, Margaret Miró-Julià:
A Numerical Computation for Declarative Expressions. 236-251 - José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire:
An Automatic Calculator with Penrose Diagrams. 252-269
Engineering Systems
- Francisco Serradilla, Darío Maravall Gómez-Allende:
Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept. 273-284 - Ricardo García Rosa, Teresa de Pedro, Alison Rosetti:
Fuzzy Traffic Police for Autonomous Vehicles. 285-291 - Theodor Borangiu, Luis-Manuel Tomás-Balibrea, L. A. Contreras Gonzales, Cr. Nis, Mitica Manu:
Object-Oriented Model of an Open Communication Architecture for Flexible Manufacturing Control. 292-300 - Susanne Hofer:
A Formal Model for Integrated System Development. 301-313 - Paul Grünbacher:
Moving Towards an Agent-Based Engineering Environment. 314-323 - Libor Preucil, Petr Stepan:
Experiencing Modeling and Development of an Intelligent Autonomous Robot. 324-337 - Gernot Kronreif, Robert Probst:
Modular Control System for Robotized Cells and Lines. 338-344 - Robert Probst, Peter Kopacek:
Latest Developments in Robotics. 345-350
Intelligent Systems
- Roberto Moreno-Díaz, José Mira:
Architectures for Complex Behaviour Inspired in the Nervous System. 353-360 - João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo:
Turing Universality of Neural Nets (Revisited). 361-366 - Witold Jacak, Stephan Dreiseitl:
Lifelong Learning Approach to Intelligent Agents Modeling. 367-379 - Vladimír Marík, Olga Stepánková, Jirí Lazanský:
Role of Qualitative Reasoning in a Multi-Agent System. 380-393 - Lenka Lhotská:
Learning in Multi-Agent Systems: Theoretical Issues. 394-405 - Miguel Alemán-Flores, K. Nicholas Leibovic, Roberto Moreno-Díaz:
A Computational Model for Visual Size, Location and Movement. 406-419 - Zdzislaw Bubnicki:
Logic-Algebraic Method for a Class of Knowledge Based Systems. 420-428
Signal Processing
- Josef Scharinger:
Image Compression by Multilevel Polynominal Interpolation and Wavelet Texture Coding. 431-443 - Luis Álvarez, Julio Esclarín, Esther González, Luis Mazorra:
Image Enhancement Using and Optimum Quantizer. 444-452 - Armin Nückel, Andreas Klappenecker:
On the Parametrization of Algebraic Discrete Fourier Transforms. 453-463 - Mark James Burge, Wilhelm Burger:
Learning Visual Ideals. 464-472 - Pedro Medina-Rodríguez, Enrique Fernández-García:
Multiple Representation of Complex Intensity Changes for Image Segmentation. 473-485 - José Santos Reyes, Richard J. Duro:
Temporal Dimension in Signal Processing. 486-497
Specific Methods and Applications
- Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire:
From Sequential to Distributed Formal Proofs. 501-513 - Xosé Antón Vila Sobrino, Jesús María Rodríguez Presedo, Manuel Fernández Delgado, Roberto Iglesias, Senén Barro:
Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions. 514-526 - Manfred Mauerkirchner:
Event Based Simulation of Software Development Project Planning. 527-540 - Motonari Tanabu, Junichi Iijima, Naoki Shiba:
Application of Intelligent Worldwide DSS to Optimization Problems. 541-548 - Witold Jacak, Gerhard Jahn, Jerzy W. Rozenblit:
Teleeducation in Open Distributed Environment. 549-560 - Wojciech Czarczynski, Ryszard Klempous, Jan Nikodem:
Multilevel Approach to Traffic Control System. 561-566 - Josef Küng, Roland R. Wagner, Wolfram Wöß:
A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces. 567-579 - Dieter Schütt, Franz Pichler, Josef Scharinger:
Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices. 580-590 - Milan Ceska, Vladimír Janousek, Tomás Vojnar:
PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling. 591-610 - Christoph Schaffer, Johannes Zeindl:
System Level Design of Microcontroller Applications. 611-623
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
