Search results for "EUROCAST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Virginia Ecaterina Oltean, Theodor Borangiu, Mitica Manu	The Supervision of Hybrid Control Systems-A Layered Architecture.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Jozef Vörös	Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Gerhard Chroust	Electronic Performance Support Systems Challenges and Problems.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Antonio Sala 0001, Pedro Albertos, Manuel Olivares	Variable-Structure Learning Controllers.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Mireille Larnac, Janine Magnier, Vincent Chapurlat	Simplification of Proof Procedures Based on the Path Condition Concepts.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Miroslav Svéda	Patterns for Embedded Systems Design.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Grazyna Mulak, Leon Magiera, Andrzej Mulak	Information Lost in the Hologram Subdividing Process.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Maria Taboada, Julio Des, Mercedes Argüello Casteleiro, José Mira, Diego Martínez Hernández	A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Roberto Moreno-Díaz	Cast Methods in Biocybernetics.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Peter Kopacek	On the Way to the Next Generation of Robots.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Christoph Schaffer	On the Role of Architectures in Systems Engineering.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	José Santos Reyes, Richard J. Duro	Temporal Dimension in Signal Processing.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Josef Scharinger	Image Compression by Multilevel Polynominal Interpolation and Wavelet Texture Coding.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo	Turing Universality of Neural Nets (Revisited).	EUROCAST	1997	DBLP DOI BibTeX RDF	recursive function theory, modularity, Neural computation
1	Miguel Alemán-Flores, K. Nicholas Leibovic, Roberto Moreno-Díaz	A Computational Model for Visual Size, Location and Movement.	EUROCAST	1997	DBLP DOI BibTeX RDF	Topics of reference Computer models of visual systems, image analysis, neuronal networks
1	Dieter Schütt, Franz Pichler, Josef Scharinger	Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Josep Miró, Margaret Miró-Julià	A Numerical Computation for Declarative Expressions.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Thomas Müller-Wipperfürth	Extensions and Semantics of Controller State Diagrams for Practical Applications.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Motonari Tanabu, Junichi Iijima, Naoki Shiba	Application of Intelligent Worldwide DSS to Optimization Problems.	EUROCAST	1997	DBLP DOI BibTeX RDF	Internet, WWW, DSS, optimization problems
1	Herwig Mayr	GEM - A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Francisco Serradilla, Darío Maravall Gómez-Allende	Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept.	EUROCAST	1997	DBLP DOI BibTeX RDF	autonomous learning, mobile robots, path planning, topological maps, ultrasonic sensors
1	Hanns-Jakob Sommer, Hubert Hahn	Global Structural Approximate Controllability of Polynominal Nonlinear Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Luis Álvarez, Julio Esclarín, Esther González, Luis Mazorra	Image Enhancement Using and Optimum Quantizer.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot	Formal Representation and Proof of the Interpreted Sequential Machine Model.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Pedro Albertos, Jorge Bondia, P. Moya	Multirate Control of a Class of Nonlinear Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Witold Jacak, Stephan Dreiseitl	Lifelong Learning Approach to Intelligent Agents Modeling.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Christoph Schaffer, Johannes Zeindl	System Level Design of Microcontroller Applications.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Ricardo García Rosa, Teresa de Pedro, Alison Rosetti	Fuzzy Traffic Police for Autonomous Vehicles.	EUROCAST	1997	DBLP DOI BibTeX RDF	fuzzy model, autonomous vehicles
1	Antonio Cau, Willem P. de Roever	A Dense-Time Temporal Logic with Nice Compositionality Properties.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Germano Resconi, A. Wayne Wymore	Model-Based System Design for Engineering (T3SD) and General System Logical Theory.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Elvira Di Nardo, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi	Vectorized Simulations of Normal Processes for First Crossing-Time Problems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Libor Preucil, Petr Stepan	Experiencing Modeling and Development of an Intelligent Autonomous Robot.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Lenka Lhotská	Learning in Multi-Agent Systems: Theoretical Issues.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire	An Automatic Calculator with Penrose Diagrams.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Miroslav Svéda	An Approach to Safety Critical Systems Design.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Mark James Burge, Wilhelm Burger	Learning Visual Ideals.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Paul Grünbacher	Moving Towards an Agent-Based Engineering Environment.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Vladimír Marík, Olga Stepánková, Jirí Lazanský	Role of Qualitative Reasoning in a Multi-Agent System.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Susanne Hofer	A Formal Model for Integrated System Development.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Pedro Medina-Rodríguez, Enrique Fernández-García	Multiple Representation of Complex Intensity Changes for Image Segmentation.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Wojciech Czarczynski, Ryszard Klempous, Jan Nikodem	Multilevel Approach to Traffic Control System.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire	From Sequential to Distributed Formal Proofs.	EUROCAST	1997	DBLP DOI BibTeX RDF	Distributed Computing, Functional Programming, Formal Proofs
1	Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro	Introducing Planning in Discrete Event Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Gillian Hill	An Architecture for Complex Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Franz Pichler, Roberto Moreno-Díaz (eds.)	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	EUROCAST	1997	DBLP DOI BibTeX RDF
1	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.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Renate Merker, Ulrich Eckhardt, Dirk Fimmel, H. Schreiber	A System for Designing Parallel Processor Arrays.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Zdzislaw Bubnicki	Logic-Algebraic Method for a Class of Knowledge Based Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Milan Ceska 0001, Vladimír Janousek, Tomás Vojnar	PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Uwe Glässer	Modelling of Concurrent and Embedded Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Josef Küng, Roland R. Wagner, Wolfram Wöß	A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces.	EUROCAST	1997	DBLP DOI BibTeX RDF	4-GL development environments, dynamic user interfaces, metadata, information systems
1	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.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Ana Anaya, María J. Rodríguez, José Parets-Llorca	Representation and Management of Memory and Decision in Evolving Software Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Dagmar Auer, Heinz Dobler, Gerd Weishaar	Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Manfred Mauerkirchner	Event Based Simulation of Software Development Project Planning.	EUROCAST	1997	DBLP DOI BibTeX RDF	Event based simulation, Multiobjective resource optimization, Software project planning
1	Robert Probst, Peter Kopacek	Latest Developments in Robotics.	EUROCAST	1997	DBLP DOI BibTeX RDF	sensors, service robots, industrial robots, intelligent robots, microsystems
1	Roberto Moreno-Díaz, José Mira	Architectures for Complex Behaviour Inspired in the Nervous System.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Gernot Kronreif, Robert Probst	Modular Control System for Robotized Cells and Lines.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Armin Nückel, Andreas Klappenecker	On the Parametrization of Algebraic Discrete Fourier Transforms.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Jesús Rodríguez-Millán, José Yépez, Jozsef Bokor	Design of Nonlinear Lag-Lead Compensators by Extended Linearization.	EUROCAST	1997	DBLP DOI BibTeX RDF	Lag-lead compensators, Jacobian and extended linearization, Mathematica®, symbolic computation
1	Witold Jacak, Gerhard Jahn, Jerzy W. Rozenblit	Teleeducation in Open Distributed Environment.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Franz Pichler, Roberto Moreno-Díaz, Rudolf F. Albrecht (eds.)	Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings	EUROCAST	1996	DBLP DOI BibTeX RDF
1	Ryszard Klempous, Barbara Lysakowska, Jan Nikodem	Supervisory Control and Data Acquisition System for the Gas Flow Networks.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Ryo Sato	Toward a unified theory of discrete event systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Jesús Rodríguez-Millán	Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques.	EUROCAST	1995	DBLP DOI BibTeX RDF	Dissipative Dynamical Systems, Nonlinear Oscillations, Symbolic Computing, Lyapunov Functions, Basins of Attraction
1	Lyes Hamaidi, Patrick Bourseau, Gilles Muratet, Jerry M. Couretas, Bernard P. Zeigler	DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	José Parets-Llorca, Juan Carlos Torres 0001	A Language for Describing Complex-Evolutive Software Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Yasuhiko Takahara, Xiaohong Chen 0001	Task Management System.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Josep Miró, Margaret Miró-Julià	Equality of Functions in CAST.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Erwin M. Thurner, C. Wincheringer	TOMSPIN - A Tool for Modeling with Stochastic Petri Nets.	EUROCAST	1995	DBLP DOI BibTeX RDF	realiabilty, TOMSPIN, Modelling, performance, Generalized Stochastic Petri Nets
1	Jesús Rodríguez-Millán, Juan Cardillo	Symbolic Computing Aided Design of Nonlinear PID Controllers.	EUROCAST	1995	DBLP DOI BibTeX RDF	Nonlinear PID Controllers, Jacobian and Extended Linearization, Symbolic Computing
1	Elzbieta Roszkowska	Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Daniel M. Dubois	A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Carmen Paz Suárez Araujo, Roberto Moreno-Díaz	Intersensorial Transformations: General Systems Description and Implications.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Erwin M. Thurner	Proving System Properties by Means of Trigger-Graph and Petri Nets.	EUROCAST	1995	DBLP DOI BibTeX RDF	hardware protocol, trigger graph, verification, Petri nets, Formal description, timing diagram, bus protocol
1	Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat	Temporal and Functional Verification of a Symbolic Representation of Complex Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Charles Rattray	Identification and Recognition through Shape in Complex Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Cliff A. Joslyn, Scott Henderson	CAST Extensions to DASME to Support Generalized Information Theory.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Petr Vysoký, Zdenek Pechal	Computer Aided Rule Extraction from Examples.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Ramón P. Otero, David Lorenzo, Pedro Cabalar	Automatic Induction of DEVS Structures.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Juan Carlos Quevedo-Losada, Olga Bolívar Toledo, Roberto Moreno-Díaz	Cast Methods for Generation of Non-Orthogonal Complete Transforms.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Christine Kocourek	An Architecture for Process Modeling and Execution Support.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas	Refinement Mapping for General (Discrete Event) Systems Theory.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Rudolf F. Albrecht	On the Structure of Discrete Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF	Modelling of Discrete Systems, System Theory
1	José Barahona da Fonseca	Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Ireneusz Sierocki	A System-Theoretic Approach to Planning and Programming.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Franz Kapsner	System Theoretic Aspects of Software Architectures.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Witold Jacak, Stephan Dreiseitl	Hybrid Evolutionary Programming: the Tools for CAST.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Stefan Kahlert, Thomas Kruse, Dieter Monjau	A Formal Semantics for a Graphical Model Representation in System Design.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Franz Pichler, Josef Scharinger	Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Christoph Schaffer, R. J. Raschhofer, A. Simma	EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Achim Sydow, Thomas Lux, Ralf-Peter Schäfer	High-Performance Parallel Computing for Analyzing Urban Air Pollution.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Santiago Candela Solá, Christophe Garcia, Francisco Alayón Hernández, J. Muñoz	Cast System Approach for Visual Inspection.	EUROCAST	1995	DBLP DOI BibTeX RDF	Texture Changes, Fault Detection, Visual Inspection, Artificial Vision
1	Herbert Praehofer, Franz Pichler	Multifacetted, Object Oriented Modeling in the Transportation Domain.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Karlheinz Agsteiner, Dieter Monjau, Sören Schulze	Object-Oriented High Level Modeling of Complex Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Erdmuthe Meyer zu Bexten, Claudio Moraga	A User-Interface for a Microsystems High-Level Simulator.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Uwe Gläser	Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Francisco Bustio, Pedro Corcuera, Eduardo Mora	Training Simulator for Garoña Nuclear Power Plant.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo	Discrete Event Simulation in an Environment for Temporal Expert Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Maria Brielmann	Modelling Differential Equations by Basic Information Technology Means.	EUROCAST	1995	DBLP DOI BibTeX RDF

Publications at "EUROCAST"( http://dblp.L3S.de/Venues/EUROCAST )