首页>外文会议>International workshop on computer aided systems theory;CAST

International workshop on computer aided systems theory;CAST

召开年：1997
召开地：Las Palmas de Gran Canaria(ES);Las Palmas de Gran Canaria(ES)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An Approach to Safety Critical Systems Design

机译：安全关键系统设计方法
- 作者：Miroslav Sveda
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
2.An Architecture for Complex Systems

机译：复杂系统的架构
- 作者：Gillian Hill
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
3.Application of Intelligent Worldwide DSS to Optimization Problems

机译：全球智能DSS在优化问题中的应用
- 作者：Motonari Tanabu;Jun-ichi Iijima;Naoki Shiba
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- DSS;
- WWW;
- optimization problems;
- internet;
4.Architectures for Complex Behaviour Inspired in the Nervous System

机译：受神经系统启发的复杂行为的体系结构
- 作者：Roberto Moreno-Diaz;Jose Mira Mira
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
5.Au Automatic Calculator with Penrose Diagrams

机译：Au具有Penrose图的自动计算器
- 作者：J.M.Molinelli;J.M.Barja;A.Blanco;J.L.Freire
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
6.Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept

机译：基于感觉梯度概念的移动机器人导航认知建模
- 作者：Francisco Serradilla;Dario Maravall
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- mobile robots;
- autonomous learning;
- topological maps;
- ultrasonic sensors;
- path planning.;
7.Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices

机译：基于沃尔什矩阵的BOOT分解的密码置换
- 作者：Dieter Schuett;Franz Pichler;Josef Scharinger
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
8.Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant

机译：钢铁综合厂能源管理系统的设计与实现
- 作者：Dagmar Auer;Heinz Dobler;Gerd Weishaar
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
9.Design of ANN Architectures for Handling the Temporal Dimension in Signal Processing

机译：处理信号处理中时间维度的ANN架构设计
- 作者：J.Santos;R.J.Duro
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
10.Design of Nonlinear Lag-lead Compensators by Extended Linearization Using Symbolic Computation Techniques

机译：利用符号计算技术扩展线性化设计滞后非线性补偿器
- 作者：Jesus Rodriguez-Millan;Jose Yepez;Bokor Jozsef
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- Lag-lead compensators;
- Jacobian;
- and extended lienarization;
- symbolic computation;
- Mathematica~direct R.;
11.Event Based Simulation of Software Development Project Planning

机译：基于事件的软件开发项目计划仿真
- 作者：Manfred Mauerkirchner
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- event based simualtion;
- software project planning multi-objective resource optimization;
12.Experiencing modeling and Development of an Intelligent Autonomous Robot

机译：体验智能自主机器人的建模和开发
- 作者：L.Preucil;P.Stepan
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
13.Extensions and Semantics of Controller State Diagrams for Practical Applications

机译：实际应用中控制器状态图的扩展和语义
- 作者：Thomas Mueller-Wipperfuerth
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
14.Formal Representation and Proof of the Interpreted Sequential Machine Model

机译：解释性顺序机器模型的形式表示和证明
- 作者：Mireille Larnac;Janine Magnier
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
15.From Sequential to Distributed Formal Proofs

机译：从顺序证明到分布式形式证明
- 作者：Victor M.Gulias;J.Santiago Jorge;Juan J.Quintela;Jose L.Freire
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- functional programming;
- formal proofs;
- distributed computing;
16.Fuzzy Traffic Police for Autonomous Vehicles

机译：自动驾驶汽车的模糊交通警察
- 作者：Ricardo Garcia Rosa;Teresa de Pedro;Ailson Rosetti
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- fuzzy model;
- autonomous vehicles;
17.G E M -- A Generic engineering Framework for Mechanical Engineering Based Upon Meta Models

机译：G E M-基于元模型的机械工程通用工程框架
- 作者：Herwig Mayr
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
18.Global Structural Approximate Controllability of Polynomial Nonlinear Systems

机译：多项式非线性系统的全局结构近似可控性
- 作者：H.-J.Sommer;H. Hahn
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
19.Image Compression by Multilevel Polynomial Interpolation and Wavelet Texture Coding

机译：多级多项式插值和小波纹理编码的图像压缩
- 作者：Josef Scharinger
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
20.Image Enhancement Using an Optimum Quantizer

机译：使用最佳量化器进行图像增强
- 作者：Luis Alvarez;Julio Esclarin;Esther Gonzalez;Luis Mazorra
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
21.Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions

机译：通过自适应时频分布提高信号分析中的计算效率
- 作者：J.A.Vila;J.Presedo;M.Fernandez Delgado;R.Iglesias;S.Barro
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
22.Introducing Planning in Descrete Event Systems

机译：在离散事件系统中引入计划
- 作者：Pedro Cabalar;Ramon P.Otero;Manuel Cabarcos;Alvaro Barreiro
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
23.Latest Developments in Robotics

机译：机器人技术的最新发展
- 作者：R. Probst;P. Kopacek
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- industrial robots;
- service robots;
- sensors;
- microsystems;
- intelligent robots;
24.Learning in Multi-Agent systems: Theoretical Issues

机译：多智能体系统中的学习：理论问题
- 作者：Lenka Lhotska
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
25.Learning Visual Ideals

机译：学习视觉理想
- 作者：M.Burge;W.Burger
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
26.Lifelong Learning Approach to Intelligent Agents Modeling

机译：终身学习方法的智能代理建模
- 作者：Witold Jacak;Stephan Dreiseitl
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
27.Logic-Algebraic Method for a Class of Knowledge Based Systems

机译：一类基于知识的系统的逻辑代数方法
- 作者：Zdzislaw Bubnicki
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
28.Model-Based System Design for Engineering (T3SD) and General System Logical Theory

机译：基于模型的工程系统设计（T3SD）和通用系统逻辑理论
- 作者：Germano Resconi;A.Wayne Wymore
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
29.Modelling of concurrent and Embedded Systems

机译：并发和嵌入式系统建模
- 作者：Uwe Glaesser
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
30.Modular Control System for robotized Cells and Lines

机译：自动化细胞和细胞系的模块化控制系统
- 作者：Gernot Kronreif;Robert Probst
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
31.Moving Towards and Agent-Based Engineering Environment

机译：迈向基于Agent的工程环境
- 作者：Paul Gruenbacher
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
32.Multilevel Approach to Traffic Control System

机译：交通控制系统的多层次方法
- 作者：Wojciech Czarczynski;Ryszard Klempous;Jan Nikodem
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
33.Multiple Representation of Compelx Intensity Changes for Image Segmentation

机译：用于图像分割的复杂强度变化的多重表示
- 作者：Pedro Medina-Rodriguez;Enrique Fernandez-Garcia
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
34.Multirate Control of a Class of Nonlinear Systems

机译：一类非线性系统的多速率控制
- 作者：P.Albertos;J.Bondia;P.Moya
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
35.A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces

机译：在元数据和动态用户界面方面比较4-GL开发工具
- 作者：Josef Kueng;Roland Wagner;Wolfram Woebeta
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- 4-GL development environments;
- metadata;
- dynamic user interfaces;
- information systems.;
36.A Computational Model for Visual Size, Location and movement

机译：视觉尺寸，位置和运动的计算模型
- 作者：Miguel Aleman-Flores;K.Nicholas Leibovic;Roberto Moreno-Diaz Jr
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- computational vision;
- visual location;
- motion discrimination.;
37.A Dense-time Temporal Logic with Nice Compositionality Properties

机译：具有良好组合性的密集时态逻辑
- 作者：Antonio Cau;Willem-Paul de Roever
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
38.A Formal Model for Integrated System Development

机译：集成系统开发的正式模型
- 作者：Susanne Hofer
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
39.A Numerical Computation for Declarative Expressions

机译：声明式表达式的数值计算
- 作者：Josep Miro;Margaret Miro-Julia
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
40.A System for Designing Parallel Processor Arrays

机译：设计并行处理器阵列的系统
- 作者：R.Merker;U.Eckhardt;D.Fimmel;H.Schreiber
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
41.Object-Oriented Model of an Open Communication Architecture for Flexible Manufacturing Control

机译：面向对象的开放式通信架构模型，用于柔性制造控制
- 作者：Th.Borangiu;L-M.Tomas Balibrea;L.A.Contreras gonzales;Cr.Nis;M.Manu
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
42.Object-Oriented Model of an Open Communication Archtiecture for Flexible Manufacturing Control

机译：面向对象的开放式通信架构模型，用于柔性制造控制
- 作者：Th.Borangiu;L-M.Tomas Balibrea;L.A.Contreras gonzales;Cr.Nis;M.Manu
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
43.On the Parametrization of Algebraic Discrete Fourier Transforms

机译：代数离散傅里叶变换的参数化
- 作者：Armin Nueckel;Andreas Klappenecker
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
44.On the Role of Architectures in Systems Engineering

机译：论体系结构在系统工程中的作用
- 作者：Christoph Schaffer
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
45.PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling

机译：PNtalk-用于面向对象的Petri网建模的计算机化工具
- 作者：Milan Ceska;Vladimir Janousek;Tomas Vojnar
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
46.Representation and Management of Memory and decision in Evolving Software Systems

机译：不断发展的软件系统中内存的表示和管理以及决策
- 作者：Ana Anaya;M.J.Rodriguez;Jose Parets
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
47.Role of Qualitative Reasoning in a multi-Agent System

机译：定性推理在多智能体系统中的作用
- 作者：Vladimir Marik;Olga Stepankova;Jiri Lazansky
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
48.System Level Design of Microcontroller Applications

机译：单片机应用的系统级设计
- 作者：Christoph Schaffer;Johannes Zeindl
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
49.System Theoretical Approach to control and Synchronization of Teleeducation in Open Distributed Environment

机译：开放分布式环境中远程教育控制与同步的系统理论方法
- 作者：Witold Jacak;Gerhard Jahn;Jerzy Rozenblit
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
50.Turing Universality of Neural Nets (Revisited)

机译：神经网络的图灵通用性（已修订）
- 作者：J.Pedro Neto;Hava T.Siegelmann;J.Felix Costa;C.P.Suarez Araujo
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年
- neural computation;
- recursive function theory, modularity.;
51.Vectorized Simulations of Normal Processes for First Crossing-Time Problems

机译：第一次穿越时间问题的正常过程的矢量化模拟
- 作者：E.Di Nardo E.Pirozzi;L.M.Ricciardi;S.Rinaldi
- 会议名称：《International workshop on computer aided systems theory;CAST》 | 1997年