首页>外文会议>International Conference on Computer Aided Systems Theory

International Conference on Computer Aided Systems Theory

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Analysis of Schema Frequencies in Genetic Programming

机译：遗传编程模式频率分析
- 作者：Bogdan Burlacu;Michael Affenzeller;Michael Kommenda;Gabriel Kronberger;Stephan Winkler
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
2.McCulloch's Relation to Connectionism and Artificial Intelligence

机译：麦克洛克与联系和人工智能的关系
- 作者：Gabriel de Blasio;Arminda Moreno-Diaz;Roberto Moreno-Diaz
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
3.The Models that Can Be Matched by Feedback

机译：可以通过反馈匹配的模型
- 作者：Vladimir Kucera
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Linear systems;
- Model matching;
- Static state feedback;
4.Charles Proteus Steinmetz - Pioneering Contributions in Electrical Engineering

机译：Charles Proteus Steinmetz - 电气工程中的开拓贡献
- 作者：Franz Pichler
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
5.Simplifying Some Characteristics of Manipulators Based on Features of Their Models

机译：基于模型的特征简化了机械手的一些特征
- 作者：Ignacy Duleba;Iwona Karcz-Duleba
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
6.Review of UHF-Based Signal Processing Approaches for Partial Discharge Detection

机译：基于UHF的信号处理方法进行局部放电检测方法
- 作者：Benjamin Schubert;Mauro Palo;Thomas Schlechter
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Partial Discharge (PD);
- Ultra-high frequency Signal processing;
- Data analysis;
7.Anticipating the Unexpected: Simulating a Health Care System Showing Counterintuitive Behavior

机译：期待意外：模拟展示反向行为的医疗保健系统
- 作者：Markus Schwaninger
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
8.Inscrutable Decision Makers: Knightian Uncertainty in Machine Learning

机译：可审理的决策者：机器学习中的骑士不确定性
- 作者：Rick Hangartner;Paul Cull
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Machine learning;
- Uncertainty;
- Ambiguity;
9.Stereo Vision-Based Convolutional Networks for Object Detection in Driving Environments

机译：基于立体视觉的驾驶环境对象检测的卷积网络
- 作者：Carlos Guindel;David Martin;Jose Maria Armingol
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Object detection;
- Stereo vision;
- Deep learning;
10.Modular 3D-Printed Robots for Education and Training for Industrie 4.0

机译：用于教育和培训的模块化3D印刷机器人4.0
- 作者：Dirk Jacob;Patrick Haberstroh;Dominik Neidhardt;Benno Timmermann
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Robotics;
- 3D printing;
- Teaching;
11.Solving a Weighted Set Covering Problem for Improving Algorithms for Cutting Stock Problems with Setup Costs by Solution Merging

机译：解决加权集涵盖问题改进算法，通过解决方案合并与设置成本切割股票问题
- 作者：Benedikt Klocker;Gunther R. Raidl
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Cutting stock problem;
- Discrete optimization;
- PILOT Beam search;
- Solution merging;
12.The Computer and the Calculator

机译：计算机和计算器
- 作者：Paul Cull
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
13.Deep Reinforcement Learning in Serious Games: Analysis and Design of Deep Neural Network Architectures

机译：严重游戏中深度加强学习：深神经网络架构的分析与设计
- 作者：Aline Dobrovsky;Cezary W. Wilczak;Paul Hahn;Marko Hofmann;Uwe M. Borghoff
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Deep learning;
- Serious games Convolutional neural networks;
- Neural network visualization;
14.SUMO Performance Comparative Analysis of SUMO's Speed Using Different Programming Languages

机译：SUMO性能对使用不同编程语言的SUMO速度的比较分析
- 作者：Samuel Romero Santana;Javier J. Sanchez-Medina;David Sanchez Rodriguez;Itziar Alonso Gonzalez
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
15.Gibbs Dyadic Differentiation on Groups - Evolution of the Concept

机译：吉布斯二级分化组 - 概念的演变
- 作者：Radomir S. Stankovic;Jaakko Astola;Claudio Moraga
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
16.Evaluating Parallel Minibatch Training for Machine Learning Applications

机译：评估机器学习应用程序的并行小攻击培训
- 作者：Stephan Dreiseitl
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Distributed machine learning;
- Logistic regression Sparse autoencoders;
- Minibatch training;
17.Towards Smaller Invariants for Proving Coverability

机译：走向较小的不变性，以证明覆盖性
- 作者：Lenka Turonova;Lukas Holik
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
18.A Three-Level Hierarchy of Models for Lattices of Boolean Functions

机译：布尔函数的格子的三级层次模型
- 作者：Bernd Steinbach;Christian Posthoff
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Lattice;
- Boolean function;
- Hierarchy;
- Mark function Derivative operation;
- Independence function;
- Independence matrix Rank;
19.The Metamodel of Heritage Preservation for Medical Big Data

机译：医疗大数据的遗产保存的元模型
- 作者：Zenon Chaczko;Lucia Carrion Gordon;Wojciech Bozejko
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Data;
- Preservation;
- Digital;
- Heritage;
- Metamodel Ontology;
20.Stochastic Computing Using Droplet-Based Microfluidics

机译：使用基于液滴的微流体的随机计算
- 作者：Werner Haselmayr;Andreas Grimmer;Robert Wille
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Droplet-based microfluidics;
- Microfluidic computing Microfluidic gates;
- Stochastic computing;
21.Steganographic Data Heritage Preservation Using Sharing Images App

机译：使用共享图像应用程序的隐写数据遗产保存
- 作者：Zenon Chaczko;Raniyah Wazirali;Lucia Carrion Gordon;Wojciech Bozejko
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
22.The Reed-Muller-Fourier Transform Applied to Pattern Analysis

机译：芦苇搬迁 - 傅立叶变换适用于模式分析
- 作者：Claudio Moraga;Radomir S. Stankovic
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
23.Some Spectral Invariant Operations for Functions with Disjoint Products in the Polynomial Form

机译：用于多项式表单中的差异产品的函数的一些光谱不变操作
- 作者：Milena Stankovic;Claudio Moraga;Radomir S. Stankovic
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Invariant operations;
- Walsh-Hadamard spectrum Bent functions;
24.Secure UAV-Based System to Detect and Filter Sea Objects Using Image Processing

机译：基于UV的系统使用图像处理来检测和过滤海对象
- 作者：Moises Lodeiro-Santiago;Candido Caballero-Gil;Ricardo Aguasca-Colomo;Jorge Munilla-Fajardo;Jorge Ramio-Aguirre
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- UAV;
- Image processing;
- Patera boat;
- Ship detection Security;
25.Global Decision Making for Wavelet Based ECG Segmentation

机译：基于小波的心电图分割的全局决策
- 作者：Carl Bock;Michael Lunglmayr;Christoph Mahringer;Christoph Mortl;Jens Meier;Mario Huemer
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- ECG beat delineation;
- ECG beat segmentation ECG characteristic points;
- Wavelet transform;
26.Offspring Selection Genetic Algorithm Revisited: Improvements in Efficiency by Early Stopping Criteria in the Evaluation of Unsuccessful Individuals

机译：重新提出的后代选择遗传算法：通过早期停止标准在不成功的个人评估中提高效率的提高
- 作者：Michael Affenzeller;Bogdan Burlacu;Stephan Winkler;Michael Kommenda;Gabriel Kronberger;Stefan Wagner
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
27.Modifications of Model Free Control to FOTD Plants

机译：对FOTD植物进行模型自由控制的修改
- 作者：Mikulas Huba;Tomas Huba
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
28.Influence of MEMS Microphone Imperfections on the Performance of First-Order Adaptive Differential Microphone Arrays

机译：MEMS麦克风缺陷对一阶自适应微分麦克风阵列性能的影响
- 作者：Andreas Gaich;Mario Huemer
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Beamforming;
- Differential microphone array MEMS microphones;
29.Multi-split Decision Tree and Conditional Dispersion

机译：多分割决策树和条件分散
- 作者：Monica J. Ruiz-Miro;Margaret Miro-Julia
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
30.V2V Communication System to Increase Driver Awareness of Emergency Vehicles

机译：V2V通信系统增加驾驶员对应急车辆的认识
- 作者：Mehran Mostaed;Khaled Aldabas;Cristina Olaverri-Monreal
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Vehicle-to-vehicle communication Emergency Warning System;
- DSRC;
31.Analysing a Hybrid Model-Based Evolutionary Algorithm for a Hard Grouping Problem

机译：基于混合模型的进化算法进行硬分组问题
- 作者：Sebastian Raggl;Andreas Beham;Stefan Wagner;Michael Affenzeller
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Hybrid algorithm;
- Memetic algorithm Estimation of distribution algorithm;
- Grouping problem;
32.Tabu Search and Solution Space Analyses. The Job Shop Case

机译：禁忌搜索和解决方案空间分析。工作店案件
- 作者：Czeslaw Smutnicki;Wojciech Bozejko
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
33.DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms

机译：DetectionEvaluationJ：一种评估对象检测算法的工具
- 作者：C. Dominguez;M. Garcia;J. Heras;A. Ines;E. Mata;V. Pascual
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
34.Utilization of a Web Browser for Complex Heterogeneous Parallel Computing Using Multi-core CPU/GPU Systems

机译：利用Web浏览器使用多核CPU / GPU系统进行复杂异构并行计算
- 作者：Marek Woda;Adam Hajduga
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Heterogeneous parallel computing;
- HTML5 Computing in a web browser;
- OpenCL/WebCL;
35.Kurt Godel: A Godfather of Computer Science

机译：Kurt Godel：计算机科学的教父
- 作者：Eckehart Kohler;Werner Schimanovich
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
36.One Degree of Freedom Copter

机译：一定程度的自由直升机
- 作者：Peter Tapak;Mikulas Huba
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
37.Particle Therapy Patient Scheduling: Time Estimation for Scheduling Sets of Treatments

机译：颗粒治疗患者调度：调度治疗组的时间估计
- 作者：Johannes Maschler;Martin Riedler;Gunther R. Raidl
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
38.Ramon Llull's Ars Magna

机译：Ramon Llull's Ars Magna
- 作者：Thessa Jensen
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
- Ramon Llull;
- Ars Magna;
- Conceptual systems;
39.Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics

机译：使用更便宜的指标预测昂贵的并发指标覆盖
- 作者：Bohuslav Krena;Hana Pluhackova;Shmuel Ur;Tomas Vojnar
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2018年
40.Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language

机译：使用句法结构算法对西班牙语的每个功能解释的功能歧义
- 作者：Octavio Santana Suarez;Jose Rafael Perez Aguiar;Idafen Santana Perez;Ruben Quesada Lopez
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Functional Disambiguation;
- Syntactic Analysis;
- Computational Linguistics;
- Natural Language Processing;
41.Optimizing the Hardware Usage of Parallel FSMs

机译：优化并行FSMS的硬件使用
- 作者：Rainer Findenig;Florian Eibensteiner;Markus Pfaff
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- FSM;
- Scheduling;
- Serialization;
- Resource Sharing;
42.Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems

机译：基于实时视觉的后端碰撞缓解系统的车辆检测
- 作者：D. Balcones;D. F. Llorca;M. A. Sotelo;M. Gavilan;S. Alvarez;I. Parra;M. Ocana
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
43.Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images

机译：基于2D B模式超声图像的组织异常自动系统识别
- 作者：Victor D. Diaz-Suarez;Carlos M. Travieso;Javier Gonzalez-Fernandez;Miguel A. Ferrer;Luis Gomez;Jesus B. Alonso
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Ultrasound;
- Tissue-mimicking phantom;
- B-mode imaging database;
- Higuchi Fractal dimension;
- Feed-forward neural network;
44.SynPSL: Behavioral Synthesis of PSL Assertions

机译：SYNPSL：PSL断言的行为合成
- 作者：Florian Eibensteiner;Rainer Findenig;Markus Pfaff
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- PSL;
- Assertion-based Verification;
- Synthesis;
45.Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method

机译：rissanen部分实现方法应用多值加密数据流的线性复杂度措施
- 作者：Franz Pichler
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
46.SPICE Simulation of Analog Filters: A Method for Designing Digital Filters

机译：模拟过滤器的Spice仿真：一种设计数字滤波器的方法
- 作者：Corneliu Rusu;Lacrimioara Grama;Jarmo Takala
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- SPICE;
- Analog filter;
- Digital filter;
47.A Software Implementation of the Rissanen Method for Partial Linear Systems Realization

机译：用于部分线性系统实现的Rissanen方法的软件实现
- 作者：Dominik Jochinger
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
48.Vascular Landmark Detection in Retinal Images

机译：视网膜图像中的血管地标检测
- 作者：M. Ortega;J. Rouco;J. Novo;M. G. Penedo
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Landmark points;
- Retinal vascular tree;
- Feature extraction;
49.Pre-identification for Real-Time Control

机译：预识别实时控制
- 作者：Karel Perutka
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
50.Robust Control of a Two Tank System Using Algebraic Approach

机译：使用代数方法的两个罐系统的鲁棒控制
- 作者：Marek Dlapa;Roman Prokop;Monika Bakosova
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
51.On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity

机译：关于单一神经元活动的广义泄漏整合 - 消防模型
- 作者：Aniello Buonocore;Luigia Caputo;Enrica Pirozzi;Luigi M. Ricciardi
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Neuron firing;
- LIF model;
- Diffusion process;
52.A General Purpouse Control System

机译：通用控制系统
- 作者：Adrian Penate-Sanchez;Alexis Quesada-Arencibia;Roberto Moreno-Diaz
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- User friendly;
- Industrial control;
- Web application;
53.Supporting Information Services for Travellers of Public Transport by Road

机译：支持公共交通旅行者的信息服务
- 作者：Carmelo R. Garcia;Ricardo Perez;Alvaro Lorenz;Francisco Alayon;Gabino Padron
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Information Systems;
- Public Transport;
- Ubiquitous computing;
54.Boundary Scan Security Enhancements for a Cryptographic Hardware

机译：密码硬件的边界扫描安全增强
- 作者：Maciej Nikodem
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Boundary scan;
- IEEE 1149;
- Side-channel attacks;
- Counter-measures;
55.Walsh Matrices in the Design of Industrial Experiments

机译：沃尔什矩阵在工业实验设计中
- 作者：Claudio Moraga;Hector Allende
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
56.Software Simulator to Model an Energy Autonomous System

机译：软件模拟器模拟能量自治系统
- 作者：Francisco Cabrera;Victor Arana;Lourdes Suarez;Gonzalo Gutierrez;Carlos M. Travieso
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
57.Vehicle Detection Based on Laser Radar

机译：基于激光雷达的车辆检测
- 作者：Fernando Garcia;Pietro Cerri;Alberto Broggi;Jose Maria Armingol;Arturo de la Escalera
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- ADAS;
- Intelligent Vehicles;
- Data Fusion;
- Laser Radar;
58.Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks

机译：车载ad-hoc网络中的合作执法计划
- 作者：C. Hernandez-Goya;P. Caballero-Gil;J. Molina-Gil;C. Caballero-Gil
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Cooperation;
- Vehicular Ad-Hoc Network;
- VANET;
59.Separation of Transitions, Actions, and Exceptions in Model-Based Testing

机译：基于模型的测试中的过渡，行动和例外的分离
- 作者：Cyrille Artho
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
60.Analytical Representation of Intrinsic Directionality in Retinal Cells

机译：视网膜细胞内在方向性的分析表示
- 作者：Gabriel de Blasio;Roberto Moreno-Diaz;Roberto Moreno-Diaz
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
61.Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE

机译：Web应用程序：提出改善响应时间及其应用于Moodle的建议
- 作者：David Horat;Alexis Quesada Arencibia
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Web;
- Optimization;
- Web application;
- Moodle;
- PHP;
- Apache;
- Javascript;
- HTTP;
- DNS;
- CSS;
- XHTML;
- HTML;
- Minification;
- Cookies;
62.Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding

机译：基于传输天线相关的空间复用的分集顺序
- 作者：Christian Hofbauer;Yann Lebrun;Valery Ramon;Andre Bourdoux;Francois Horlin;Mario Huemer
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
63.Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks

机译：用于无线传感器网络的合作扩展Kohonen Mapping（EKM）
- 作者：Zenon Chaczko;Perez Moses;Christopher Chiu
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
64.Solving a Real-World FAP Using the Scatter Search Metaheuristic

机译：使用散点搜索型成果术语解决真实世界的FAP
- 作者：Jose M. Chaves-Gonzalez;Miguel A. Vega-Rodriguez;Juan A. Gomez-Pulido;Juan M. Sanchez-Perez
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- FAP;
- Frequency Planning;
- SS;
- Real-world GSM network;
65.WiFi Localization System Using Fuzzy Rule-Based Classification

机译：WiFi本地化系统使用模糊规则的分类
- 作者：Jose M. Alonso;Manuel Ocana;Miguel A. Sotelo;Luis M. Bergasa;Luis Magdalena
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
66.Automated Design of Totally Self-Checking Sequential Circuits

机译：完全自检顺序电路的自动设计
- 作者：Jerzy Greblicki;Jerzy Kotowski
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Fault tolerant systems;
- Totally self-checking circuits;
- Sequential circuits;
67.Decomposing Pattern Matching Circuit

机译：分解模式匹配电路
- 作者：Grzegorz Borowik;Tadeusz Luba
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Logic synthesis;
- Pattern matching;
- Address generator;
- Finite state machine;
- Decomposition;
- FPGA;
- Embedded memory;
68.Debugging and Verification of Multi-Agent Systems

机译：调试和验证多代理系统
- 作者：Clara Benac Earle;Lars-Ake Fredlund
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
69.Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms

机译：拟合矩形信号与常规算法的时间序列数据
- 作者：Andreas M. Chwatal;Gunther R. Raidl
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
70.Morphotronic System (Theory)

机译：Morphoterronic系统（理论）
- 作者：Germano Resconi;Zenon Chaczko
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Morphotronics;
- Turing machine;
- Dissipative thermodynamics;
71.Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness

机译：使用秩融合技术提高射击边界检测效果
- 作者：M. Eduardo Ares;Alvaro Barreiro
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
72.A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process

机译：具有兴奋性和抑制投入的神经元模型，受脱脂过程管理的
- 作者：Antonio Di Crescenzo;Barbara Martinucci
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
73.Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks

机译：基于无线传感器网络的多算系统冲突解决
- 作者：Witold Jacak;Karin Proll
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
74.Integrated System and Network Simulation of a 5.8GHz Local Positioning System

机译：5.8GHz局部定位系统的集成系统和网络仿真
- 作者：Ralf Mosshammer;Ralf Eickhoff;Mario Huemer;Robert Weigel
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
75.Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling

机译：使用扩散图进行局部形状建模的无监督聚类
- 作者：Daniel Valdes-Amaro;Abhir Bhalerao
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Shape;
- Statistical Shape Modelling;
- Local Shape Models;
- Curvature Scale Space;
- Diffusion Maps;
- Brain contours;
76.Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments

机译：城市环境中实时等级GPS辅助视觉抨击
- 作者：David Schleicher;Luis M. Bergasa;Manuel Ocana;Rafael Barea;Elena Lopez
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- SLAM;
- Intelligent Vehicles;
- Computer Vision;
- Real-Time;
77.Observable Runtime Behavior for Defects Indicated by Automated Static Analysis

机译：可观察到的自动静态分析指示的缺陷运行时行为
- 作者：Klaus Wolfmaier;Rudolf Ramler;Gabor Guta;Heinz Dobler
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Automated Static Analysis;
- Defect Classification;
78.Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes

机译：线性和非线性视网膜过程的本地空间时间系统仿真
- 作者：Roberto Moreno-Diaz;Arminda Moreno-Diaz;Gabriel de Blasio
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
79.Effective Bit-Width and Under-Approximation

机译：有效位宽度和近似
- 作者：Robert Brummayer;Armin Biere
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
80.Applying Reinforcement Learning to Multi-robot System Behavior Coordination

机译：将钢筋学习应用于多机器人系统行为协调
- 作者：Yolanda Sanz;Javier de Lope;Dario Maravall
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Multi-robots systems;
- Cooperative systems;
- Coordination;
- Learning systems;
81.Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach

机译：连续时间非线性输入输出方程的实现：多项式方法
- 作者：Maris Tonso;Ulle Kotta
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Nonlinear control system;
- Continuous-time system;
- Input-output models;
- Polynomial methods;
- State space realization;
82.Analysis of the Properties of the Harmony Search Algorithm Carried Out on the One Dimensional Binary Knapsack Problem

机译：在一维二进制背包问题上进行的和声搜索算法的性质分析
- 作者：Jerzy Greblicki;Jerzy Kotowski
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Knapsack problem;
- HSA;
- Baldwin Effect;
- Lamarck Effect;
83.Evolutionary Selection in Simulation-Based Optimization

机译：基于仿真优化的进化选择
- 作者：Andreas Beham;Monika Kofler;Michael Affenzeller;Stefan Wagner
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Simulation-based optimization;
- Selection;
- Evolutionary algorithms;
84.On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms

机译：关于选择方案对遗传算法遗传多样性的影响
- 作者：Michael Affenzeller;Stephan Winkler;Andreas Beham;Stefan Wagner
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
85.Nonlinear Systems: A Polynomial Approach

机译：非线性系统：多项式方法
- 作者：Miroslav Halas
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Nonlinear systems;
- Algebraic approach;
- Polynomial approach;
- Transfer functions;
86.An Algorithm of Schedule Planning for Tanker Drivers

机译：油轮驱动程序计划规划算法
- 作者：Jerzy Greblicki;Jerzy Kotowski
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Cutting stock;
- Vehicle routing problem;
- Genetic algorithm;
87.Automatic Test Generation for Coverage Analysis Using CBMC

机译：使用CBMC的覆盖分析自动测试生成
- 作者：Damiano Angeletti;Enrico Giunchiglia;Massimo Narizzano;Alessandra Puddu;Salvatore Sabina
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
88.Biomimetic Controller for Situated Robots Based on State-Driven Behaviour

机译：基于状态驱动行为的位于机器人的仿生控制器
- 作者：Gerhard Hoefer;Manfred Mauerkirchner
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
89.Simulation Based Optimization of Vertex Packing Decoding Algorithms

机译：基于仿真的顶点包装解码算法优化
- 作者：Michael Lunglmayr;Jens Berkmann;Mario Huemer
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Channel coding;
- Low-density parity-check (LDPC) codes;
- Vertex packing;
- Performance simulation;
90.Feature Selection Based on Pairwise Classification Performance

机译：特征选择基于成对分类性能
- 作者：Stephan Dreiseitl;Melanie Osl
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Feature selection;
- Feature ranking;
- Pairwise evaluation;
91.New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem

机译：基于新的近似的本地搜索算法，用于概率旅行推销员问题
- 作者：Dennis Weyland;Leonora Bianchi;Luca Maria Gambardella
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
92.Heuristic Methods for Searching and Clustering Hierarchical Workflows

机译：搜索和群集分层工作流的启发式方法
- 作者：Michael Kastner;Mohamed Wagdy Saleh;Stefan Wagner;Michael Affenzeller;Witold Jacak
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
93.Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering

机译：控制工程rings rens rings的象征性计算
- 作者：N. P. Karampetakis;E. N. Antoniou;A. I. G. Vardulakis;S. Vologiannidis
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
94.Model-Based Design and Verification of Reactive Systems

机译：基于模型的反应系统设计与验证
- 作者：Jiri Hysek;Milan Ceska;Vladimir Janousek
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Model-based design;
- Formal verification;
- State charts;
- Reactive systems;
95.On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization

机译：关于室内蓝牙定位的2D回归函数的结构识别
- 作者：Rene Mayrhofer;Stephan Winkler;Helmut Hlavacs;Michael Affenzeller;Stefan Schneider
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
96.A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem

机译：基于Kruskal的启发式植根延迟约束最小生成树问题
- 作者：Mario Ruthmair;Gunther R. Raidl
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
97.Modelling Differential Structures in Proof Assistants: The Graded Case

机译：校对助理中的差分结构模拟：分级案例
- 作者：Jesus Aransay;Cesar Dominguez
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
98.Using Heuristic Optimization for Segmentation of Symbolic Music

机译：使用启发式优化进行象征音乐的分割
- 作者：Brigitte Rafael;Stefan Oertl;Michael Affenzeller;Stefan Wagner
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
99.Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering-Based (Meta-)Heuristics

机译：通过基于聚类的（Meta-）启发式求解欧几里德有界直径最小跨越树问题
- 作者：Martin Gruber;Gunther R. Raidl
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
100.A GRASP-VNS Hybrid for the Fuzzy Vehicle Routing Problem with Time Windows

机译：带时间窗口模糊车辆路由问题的掌握VNS混合
- 作者：J. Brito;F. J. Martinez;J. A. Moreno;J. L. Verdegay
- 会议名称：《International Conference on Computer Aided Systems Theory》 | 2009年
- Vehicle Routing Problem;
- GRASP;
- VNS;
- Fuzzy travel time;