Search results for "EUROCAST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Miguel Ángel Sotelo, Miguel Ángel García, Ramón Flores	Vision Based Intelligent System for Autonomous and Assisted Downtown Driving.	EUROCAST	2003	DBLP DOI BibTeX RDF
1	Eduardo Suárez, Jose Aurelio Santana, Eduardo Rovaris, Carl-Fredrik Westin, Juan Ruiz-Alzola	Fast Entropy-Based Nonrigid Registration.	EUROCAST	2003	DBLP DOI BibTeX RDF
1	Roberto Moreno-Díaz, Gabriel de Blasio	Systems and Computational Tools for Neuronal Retinal Models.	EUROCAST	2003	DBLP DOI BibTeX RDF
1	Rubén Cárdenes, Simon K. Warfield, Elsa M. Macías, Jose Aurelio Santana, Juan Ruiz-Alzola	An Efficient Algorithm for Multiple Sclerosis Segmentation from Brain MRI.	EUROCAST	2003	DBLP DOI BibTeX RDF
1	Cristina Fernández, Matilde Santos 0001	A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems.	EUROCAST	2003	DBLP DOI BibTeX RDF
1	Josep Miró	A Formulation for Language Independent Prelogical Deductive Inference.	EUROCAST	2003	DBLP DOI BibTeX RDF
1	Marc Frappier, Richard St-Denis	Towards a Computer-Aided Design of Reactive Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Stefan Dierneder, Rudolf Scheidl	Complexity Analysis of Systems from a Functional and Technical Viewpoint.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Egon Börger	Design for Reuse via Structuring Techniques for ASMs.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez	A Language Prototyping Tool Based on Semantic Building Blocks.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Ricardo García Rosa, Teresa de Pedro	A Qualitative System as a Frame to Control Unmanned Vehicles.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Andreas Meier 0002, Martin Pollet, Volker Sorge	Classifying Isomorphic Residue Classes.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	María Visitación Hurtado, José Parets-Llorca	Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	Verifying an Applicative ATP Using Multiset Relations.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge	The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Masahiko Sato 0001, Yukiyoshi Kameyama, Izumi Takeuti	CAL: A Computer Assisted Learning System for Computation and Logic.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Takuhei Shimogawa	Information Structure and Logical Design of Social Rules.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Sebastian Meine	A Holarchical Organized Design Assistant for Hierarchical Decompositions.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Bruno Buchberger	Gröbner Bases: A Short Introduction for Systems Theorists.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Josef Scharinger	Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Pedro Albertos, Alfons Crespo	Integrated Design and Implementation of Digital Controllers.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Alexis Quesada-Arencibia, Roberto Moreno-Díaz Jr., Miguel Alemán-Flores	Biologically Based CAST-mechanism for Visual Motion Analysis.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Enrique Paniagua-Arís, José T. Palma-Méndez, Fernando Martín-Rubio	A Planning under Uncertainty Model.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Carmen Paz Suárez Araujo, Pablo Fernández López, Patricio García Báez	Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Manfred Mauerkirchner	A General Planning Method for Allocation of Human Resource Groups.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (eds.)	Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Isabel María del Águila, Samuel Túnez, Joaquín Cañadas, Alfonso Bosch, Roque Marín	A proposal for Projekt Management Using CommonKADS.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Jesús Rodríguez-Millán	Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica.	EUROCAST	2001	DBLP DOI BibTeX RDF	Jacobian and extended linearization, integrated symbolic-graphic-numeric computation, notebooks, Design, Analysis, Mathematica, Nonlinear control systems
1	Lina García-Cabrera, María José Rodríguez-Fórtiz, José Parets-Llorca	Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Hermann von Issendorff	Algebraic Description of Physical Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Bruno Buchberger	The PCS Prover in THEOREMA.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura	Adding Traces to a Lazy Monadic Evaluator.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Júlio Henrique Araújo Pereira Machado, Márcia R. Notare, Simone André da Costa, Tiarajú Asmuz Diverio, Paulo Blauth Menezes	Hyper-Automation System Applied to Geometry Demonstration Environment.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Markus Schwaninger	Optimizing Organizational Structuce: A Hausdorff Benchmark for Complex Social Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Germano Resconi, Alberto Borboni, Rodolfo Faglia, Monica Tiboni	Kinematics in Robotics by the Morphogenetic Neuron.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Agustin Raya, Darío Maravall Gómez-Allende	Contributions to the Control and Stabilization of the Pole-Cart System.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder	Functional Vs Object-Oriented Distributed Languages.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Tetsuo Ida, Mircea Marin, Taro Suzuki	Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani	Optimization Problems Categories.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Jesús Rodríguez-Millán	Symbolic Computation Tools for Dynamical Nonlinear Control Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF	Jacobian linearization, extended linearization, two-block decomposition approach, series-parallel compensation, centrifugal pendulum, Mathematica, Nonlinear control
1	André Rauber Du Bois, Antônio Carlos da Rocha Costa	Distributed Execution of Functional Programs Using the JVM.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Wolfgang Windsteiger	A Set Theory Prover Within Theorema.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas	Fusion in Coq.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Roberto Moreno-Díaz, Gabriel de Blasio	Systems Methodology for Classical Neural Nets at Various Levels.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen	Assertion-Based Analysis of Hybrid Systems with PVS.	EUROCAST	2001	DBLP DOI BibTeX RDF	deductive methods, machine-assisted verification, hybrid systems
1	Witold Jacak, Karin Pröll, Stephan Dreiseitl	Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	César Domínguez 0001, Laureano Lambán, Vico Pascual, Julio Rubio 0001	Hidden Specification of a Functional System.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Thomas Stauner	Hybrid Systems' Properties - Classification and Relation to Computer Science.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Juan David González Cobas, José Antonio López Brugos	A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Gábor Németh	Towards a Generic Model of Information Processing Systems.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Michael Affenzeller, Franz Pichler, Rudolf Mittelmann	On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	José Fernando Bienvenido, Isabel M. Flores-Parra, Rafael Guirado, Roque Marín	Knowledge Based Modeling of the Design Processes as a Base of Design Tools. Application to the Development of Agricultural Structures.	EUROCAST	2001	DBLP DOI BibTeX RDF	Knowledge-based CAD, dynamic selection of methods, design modeling, CommonKADS
1	Carlos Antonio Pereira Campani, Paulo Blauth Menezes	Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Marta E. Zorrilla, José Luis Crespo, Eduardo Mora	An Online Information Retrieval Systems by Means of Artificial Neural Networks.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi	Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Milan Ceska 0001, Vladimír Janousek, Tomás Vojnar	Analysis and Verification Queries over Object-Oriented Petri Nets.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Juan J. Quintela, Juan J. Sánchez	Persistent Haskell.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek (eds.)	Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings	EUROCAST	2000	DBLP DOI BibTeX RDF
1	Benedykt Licznerski, Przemyslaw Szecówka, Andrzej Szczurek, K. Nitsch	Non Selective Gas Sensors and Artificial Neural Networks-Determination of Gas Mixtures.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Gisbert Dittrich	AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Ramón P. Otero, José M. Rodríguez	Representing Petri Nets in an Action Based Formalism.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Paul Grünbacher, José Parets-Llorca	A Framework for the Elicitation, Evolution, and Traceability of System Requirements.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Harald Zebedin	Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Thomas Schmitt 0002, Dirk Fimmel, Mathias Kortke, Renate Merker	Parallel Processor Array for Tomographic Reconstruction Algorithms.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Marta E. Zorrilla, Eduardo Mora, Pedro Corcuera, J. Fernández	Vertical Partitioning Algorithms in Distributed Databases.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Franz Pichler	The CAST Project: Experiences and Future Perspectives.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Gerhard Hanappi	Modeling the Emergence of Social Entities.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Dragica Noe, Peter Peternel	Assembly Reengineering Model.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	María J. Rodríguez, José Parets-Llorca, Patricia Paderewski, Ana Anaya, María Visitación Hurtado	HEDES: A System Theory Based Tool to Support Evolutionary Software Systems.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Roberto Moreno-Díaz Jr., Juan Carlos Quevedo-Losada, Alexis Quesada-Arencibia	Systems Approach to Attention Mechanisms in the Virtual Pathway.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	B. Kwella, Heiko Lehmann	Floating Car Data Anaylsis of Urban Road Networks.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Zdzislaw Bubnicki	Uncertain Variables in the Computer Aided Analysis of Uncertain Systems.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Milan Ceska 0001, Vladimír Janousek, Tomás Vojnar	Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Libor Preucil, Vladimír Marík	System Integration Techniques in Robotics.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Franz Pichler	Modeling Complex Systems by Multi-agent Holarchies.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Elena Jharko	A Formalized Description Approach to Continuos Time Systems.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Vili Podgorelec, Peter Kokol, Milan Zorman	A Fractal Software Complexity Metric Analyser.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Juan Jesús Torres Carbonell, José Parets-Llorca	A Formalisation of the Evolution of Software Systems.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Witold Jacak, Karin Pröll	Multiagent Approach to Intelligent Control of Robot.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Heiko Lehmann	Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Edeltraud Hanappi-Egger	Simulating Social Grouping: An Interactive Team-Building Tool (ITBT).	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Werner DePauli-Schimanovich-Göttig	Automatic Players for Computer Games.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Germano Resconi	Partition of Systems by General System Logical Theory (GSLT).	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Manuel Cabarcos, Ramón P. Otero, Silvia Gómez Pose	Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Stefan Dierneder, Rudolf Scheidl	Conceptual Desin, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Manfred Mauerkirchner	Decision Based Adaptive Model for Managing Software Development Projects.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Olga Bolívar Toledo, José Antonio Muñoz-Blanco, Santiago Candela Solá, Roberto Moreno-Díaz	On Completeness in Early Vision from Systems Theory.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Regine Gernert, Peter John	Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Pedro Corcuera, Mario Garcés, Eduardo Mora, Marta E. Zorrilla	Distributed Simulation with Multimedia Interface.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Frantisek Solc	Matrix Model of Robot in Matlab-Simulink.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Ryszard Klempous, Barbara Lysakowska, Jan Nikodem	Sociological Aspects of Data Acquisition and Processing.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Theodor Borangiu, Mitica Manu, Virginia Ecaterina Oltean	Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Eduardo Rovaris, Francisco Eugenio, Roberto Moreno-Díaz	McCulloch Program II in Artificial Systems and Lastres Theorem.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Sergej Fatikow, Joerg Seyfried, Airat Faizullin	Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Giuseppe Del Castillo, Uwe Glässer	Computer-Aided Analysis and Validation of Heterogeneous System Specifications.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Ryo Sato	Integrating Two Dynamic Models of Business-Logistics Plant.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi, S. Rinaldi	Simulation of Gaussian Processes and First Passage Time Densities Evaluation.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Kirill Chernyshov, Fedor F. Pashchenko	An Identification Algorithmic Toolkit for Intelligent Control Systems.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Yasuhiro Yamada, Yoshiaki Komura, Junnosuke Mizutani, Ikuo Tanabe	Development of a Precision Assembly System Using Selective Assembly and Micro Machining (Evaluation of Combinatorial Optimization Method for Parts Matching).	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Elena Messina, Christopher Dabrowski, Hui-Min Huang, John Horst	Representation of the RCS Reference Model Architecture Using an Architectural Description Language.	EUROCAST	1999	DBLP DOI BibTeX RDF

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