掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Computer aided systems theory-EUROCAST 2009
Computer aided systems theory-EUROCAST 2009
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
工矿自动化
化学传感器
计算机辅助绘图.设计与制造:英文版
计算机系统应用
计算机安全
机器人技术与应用
电子竞技
小型微型计算机系统
现代计算机(普及版)
电脑与信息技术
更多>>
相关外文期刊
Genetic programming and evolvable machines
International journal of intelligent engineering informatics
Australian computer journal
Control Theory & Advanced Technology
Computer
Real-Time Imaging
EventDV
Computers, IEEE Transactions on
Journal of Robotic Systems
Physical Communication
更多>>
相关中文会议
第十一届全国高等学校过程装备与控制工程专业教学改革与学科建设成果校际交流会
2000年CERNET第七届学术会议
第四届全国信息检索与内容安全学术会议
中国标准化协会计算机、多媒体防伪技术标准研讨会
第六届中国系统建模与仿真技术高层论坛
第三届中国Rough集与软计算机学术研讨会
全国抗恶劣环境计算机第二十一届学术年会
第二十四届测试与故障诊断技术研讨会
2008年全国开放式分布与并行计算学术年会
中国自动化学会第二十五届青年学术年会
更多>>
相关外文会议
Conference on Internet Imaging IV, Jan 21-22, 2003, Santa Clara, California, USA
4th workshop on cognitive aspects of the lexicon
Seventh International Joint Conference on the Theory and Practice of Software Development. University of Lille I, France, 14-18 April, 1997
International workshop on affective-aware virtual agents and social robots 2009
Formal methods and software engineering
Applied cryptography and network security
International Working Conference on Intelligent Virtual Agents(IVA 2005); 20050912-14; Kos(GR)
Ninth Workshop on Virtual Intelligence/Dynamic Neural Networks
Advances in grid and pervasive computing
Rural Electric Power Conference, 1988
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Grid-Enabled Mutation-Based Genetic Algorithm to Optimise Nuclear Fusion Devices
机译:
基于网格的基于变异的遗传算法优化核聚变装置
作者:
Antonio Gomez-Iglesias
;
Miguel A. Vega-Rodriguez
;
Francisco Castejon-Magana
;
Miguel Cardenas-Montes
;
Enrique Morales-Ramos
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
grid computing;
genetic algorithm;
mutation-based algorithm;
nuclear fusion;
2.
Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs
机译:
使用遗传算法的优先规则生成,以最小化序列相关的设置成本
作者:
Monika Kofler
;
Stefan Wagner
;
Andreas Beham
;
Gabriel Kronberger
;
Michael Affenzeller
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
scheduling;
dispatching;
setup costs;
genetic algorithms;
3.
Model-Based Design and Verification of Reactive Systems
机译:
基于模型的反应系统设计与验证
作者:
Jiri Hysek
;
Milan Ceska
;
Vladimir Janousek
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
model-based design;
formal verification;
state charts;
reactive systems;
4.
Tomographic Image Reconstruction Using Abstractions
机译:
使用抽象的断层图像重建
作者:
J.A. Alvarez
;
J. Roca
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
abstractions;
high level parallel constructions;
concurrence;
threads;
object orientation;
5.
System Approach to Complex Signal Processing Task
机译:
复杂信号处理任务的系统方法
作者:
Vaclav Gerla
;
Vladana Djordjevic
;
Lenka Lhotska
;
Vladimir Krajca
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
PSG;
EEG;
neonatal;
sleep;
segmentation;
classification;
clustering;
6.
Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering
机译:
有理函数环的符号计算及其在控制工程中的应用
作者:
N.P. Karampetakis
;
E.N. Antoniou
;
A.I.G. Vardulakis
;
S. Vologiannidis
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
7.
Nonlinear Systems: A Polynomial Approach
机译:
非线性系统:多项式方法
作者:
Miroslav Halas
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
nonlinear systems;
algebraic approach;
polynomial approach;
transfer functions;
8.
Nonlinear Controllers for a Fluid Tank System
机译:
储液罐系统的非线性控制器
作者:
Vladimir Zilka
;
Miroslav Halas
;
Mikulas Huba
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
nonlinear systems;
polynomial approach;
transfer functions;
fluid tank system;
9.
Pre-identification for Real-Time Control
机译:
实时控制的预识别
作者:
Karel Perutka
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
closed-loop identification;
identification algorithms;
leastsquares identification;
nonlinear control;
self-tuning control;
switching algorithms;
10.
Easing the Definition of N-Ary Relations for Supporting Spatio-Temporal Models in OWL
机译:
简化N-Ary关系的定义以支持OWL中的时空模型
作者:
Alberto G. Salguero
;
Cecilia Delgado
;
Francisco Araque
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
ontology;
data sources;
data integration;
OWL;
11.
Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering
机译:
基于面向对象Petri网的项目工程资源建模
作者:
Vladimir Janousek
;
Sarka Kvetonova
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
object oriented petri net;
modeling;
simulation;
monitoring;
optimization;
12.
Performance Modelling for Avionics Systems
机译:
航空电子系统的性能建模
作者:
Visar Januzaj
;
Ralf Mauersberger
;
Florian Biechele
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
13.
Reversible Synthesis through Shared Functional Decision Diagrams
机译:
通过共享功能决策图进行可逆综合
作者:
Milena Stankovic
;
Suzana Stojkovic
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
14.
Complete Sets of Hamiltonian Circuits for Classification of Documents
机译:
哈密顿回路的全套文件分类
作者:
Bernd Steinbach
;
Christian Posthoff
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
15.
Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness
机译:
使用秩融合技术提高镜头边界检测效率
作者:
M. Eduardo Ares
;
Alvaro Barreiro
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
16.
Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks
机译:
无线传感器网络的协作扩展Kohonen映射(EKM)
作者:
Zenon Chaczko
;
Perez Moses
;
Christopher Chiu
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
software engineering;
extended kohonen wireless sensor networks (WSN);
sensor actor networks (SANET);
17.
Angular Contour Parameterization for Signature Identification
机译:
用于特征识别的角度轮廓参数化
作者:
Juan Carlos Briceno
;
Carlos M. Travieso
;
Miguel A. Ferrer
;
Jesus B. Alonso
;
Francisco Vargas
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
signature identification;
biometric system;
edge parameterization;
handwritten writing;
document analysis;
classification system;
pattern recognition;
18.
From Industrial to Ubiqitous Robots
机译:
从工业机器人到无处不在的机器人
作者:
Peter Kopacek
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
industrial robots;
AGV's;
humanoid robots;
ubiquitous robots;
19.
Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms
机译:
通过元启发式算法将矩形信号拟合到时间序列数据
作者:
Andreas M. Chwatal
;
Guenther R. Raidl
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
20.
Using Heuristic Optimization for Segmentation of Symbolic Music
机译:
使用启发式优化对符号音乐进行细分
作者:
Brigitte Rafael
;
Stefan Oertl
;
Michael Affenzeller
;
Stefan Wagner
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
21.
Virtual Sensors for Emissions of a Diesel Engine Produced by Evolutionary System Identification
机译:
通过进化系统识别产生的用于柴油机排放的虚拟传感器
作者:
Stephan M. Winkler
;
Markus Hirsch
;
Michael Affenzeller
;
Luigi del Re
;
Stefan Wagner
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
22.
Modelling Differential Structures in Proof Assistants: The Graded Case
机译:
在证明助手中建模差异结构:分级案例
作者:
Jesus Aransay
;
Cesar Dominguez
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
23.
Solving the Rectangle Packing Problem by an Iterative Hybrid Heuristic
机译:
迭代混合启发式求解矩形堆积问题
作者:
David Beltran-Cano
;
Belen Melian-Batista
;
J. Marcos Moreno-Vega
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
rectangle packing problem;
strip packing problem;
GRASP;
VNS;
SA;
24.
Web Applications: A Proposal to Improve Response Time and Its Application to MOODLE
机译:
Web应用程序:改善响应时间的建议及其在MOODLE中的应用
作者:
David Horat
;
Alexis Quesada Arencibia
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
web;
optimization;
web application;
moodle;
PHP;
apache;
javascript;
HTTP;
DNS;
CSS;
XHTML;
HTML;
minification;
cookies;
25.
New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem
机译:
基于新的基于近似的局部旅行商问题的局部搜索算法
作者:
Dennis Weyland
;
Leonora Bianchi
;
Luca Maria Gambardella
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
26.
On Similarity in Case-Based Reasoning for Structural Health Monitoring
机译:
基于案例推理的结构健康监测的相似性
作者:
Reinhard Stumptner
;
Bernhard Freudenthaler
;
Josef Kueng
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
case-based reasoning;
indexing;
similarity;
structural health monitoring;
27.
Analytical Representation of Intrinsic Directionality in Retinal Cells
机译:
视网膜细胞内在方向性的解析表示
作者:
Gabriel de Blasio
;
Roberto Moreno-Diaz jr.
;
Roberto Moreno-Diaz
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
28.
New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis
机译:
验证仿真模型的新领域-结构优势分析
作者:
Markus Schwaninger
;
Stefan Groesser
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
modeling;
simulation;
validation;
validity;
model quality;
system dynamics;
structural dominance analysis;
29.
Optimizing the Hardware Usage of Parallel FSMs
机译:
优化并行FSM的硬件使用
作者:
Rainer Findenig
;
Florian Eibensteiner
;
Markus Pfaff
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
FSM;
scheduling;
serialization;
resource sharing;
30.
On the First Exit Time Problem for a Gompertz-Type Tumor Growth
机译:
关于Gompertz型肿瘤生长的第一个出口时间问题
作者:
G. Albano
;
V. Giorno
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
31.
SynPSL: Behavioral Synthesis of PSL Assertions
机译:
SynPSL:PSL断言的行为综合
作者:
Florian Eibensteiner
;
Rainer Findenig
;
Markus Pfaff
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
PSL;
assertion-based verification;
synthesis;
32.
Automated Design of Totally Self-Checking Sequential Circuits
机译:
完全自检时序电路的自动化设计
作者:
Jerzy Greblicki
;
Jerzy Kotowski
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
fault tolerant systems;
totally self-checking circuits;
sequential circuits;
33.
Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images
机译:
基于二维B型超声图像的组织异常自动系统识别
作者:
Victor D. Diaz-Suarez
;
Carlos M. Travieso
;
Javier Gonzalez-Fernandez
;
Miguel A. Ferrer
;
Luis Gomez
;
Jesus B. Alonso
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
ultrasound;
tissue-mimicking phantom;
B-mode imaging database;
higuchi fractal dimension;
feed-forward neural network;
34.
Vision-An Essay from a Computational View Point
机译:
视觉-从计算角度出发的散文
作者:
Jose Luis S. Da Fonseca
;
Jose Barahona da Fonseca
;
Isabel Barahona da Fonseca
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
vision;
computation;
signification;
intention;
logigcs;
35.
A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem
机译:
根延迟约束最小生成树问题的基于Kruskal的启发式算法
作者:
Mario Ruthmair
;
Guenther R. Raidl
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
36.
Model Driven Rapid Prototyping of Heuristic Optimization Algorithms
机译:
模型驱动的启发式优化算法快速原型
作者:
Stefan Wagner
;
Gabriel Kronberger
;
Andreas Beham
;
Stephan Winkler
;
Michael Affenzeller
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
37.
Conflict Resolution in Multiagent Systems Based on Wireless Sensor Networks
机译:
基于无线传感器网络的多代理系统中的冲突解决
作者:
Witold Jacak
;
Karin Proell
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
38.
Evolutionary Selection in Simulation-Based Optimization
机译:
基于仿真的优化中的进化选择
作者:
Andreas Beham
;
Monika Kofler
;
Michael Affenzeller
;
Stefan Wagner
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
simulation-based optimization;
selection;
evolutionary algorithms;
39.
Supporting Information Services for Travellers of Public Transport by Road
机译:
公路公共交通旅客的支持信息服务
作者:
Carmelo R. Garcia
;
Ricardo Perez
;
Alvaro Lorenz
;
Francisco Alayon
;
Gabino Padron
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
information systems;
public transport;
ubiquitous computing;
40.
Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks
机译:
车载Ad-Hoc网络中的合作执行方案
作者:
C. Hernandez-Goya
;
P. Caballero-Gil
;
J. Molina-Gil
;
C. Caballero-Gil
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
cooperation;
vehicular ad-hoc network;
VANET;
41.
A Practical Methodology for Integration Testing
机译:
集成测试的实用方法
作者:
Laura M. Castro
;
Miguel A. Francisco
;
Victor M. Gulias
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
42.
On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms
机译:
遗传算法中选择方案对遗传多样性的影响
作者:
Michael Affenzeller
;
Stephan Winkler
;
Andreas Beham
;
Stefan Wagner
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
43.
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
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
FAP;
frequency planning SS;
real-world GSM network;
44.
Kolmogorov Stream Ciphers
机译:
Kolmogorov流密码
作者:
Josef Scharinger
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
45.
Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes
机译:
线性和非线性视网膜过程的本地时空系统仿真
作者:
Roberto Moreno-Diaz
;
Arminda Moreno-Diaz
;
Gabriel de Blasio
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
46.
A Heterogeneous Decision Diagram Package
机译:
异构决策图包
作者:
D. Michael Miller
;
Radomir S. Stankovic
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
47.
Separation of Transitions, Actions, and Exceptions in Model-Based Testing
机译:
基于模型的测试中的过渡,操作和异常分离
作者:
Cyrille Artho
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
48.
Algorithm for Testing the Leibniz Algebra Structure
机译:
莱布尼兹代数结构测试算法
作者:
Jose Manuel Casas
;
Manuel A. Insua
;
Manuel Ladra
;
Susana Ladra
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
49.
Automatic Drusen Detection from Digital Retinal Images: AMD Prevention
机译:
从数字视网膜图像自动检测玻璃疣:AMD预防
作者:
B. Remeseiro
;
N. Barreira
;
D. Calvo
;
M. Ortega
;
M.G. Penedo
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
drusen;
AMD;
retinal images;
template matching;
normalized cross correlation;
region growing;
50.
Parallel Distributed Genetic Algorithm for Expensive Multi-Objective Optimization Problems
机译:
昂贵的多目标优化问题的并行分布式遗传算法
作者:
Ewa Szlachcic
;
Waldemar Zubik
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
multi-objective optimization;
parallel genetic algorithm;
multiple resolution;
island model;
migration strategy;
51.
Knowledge Discovery in Databases Using Multivalued Array Algebra
机译:
使用多值数组代数的数据库知识发现
作者:
Margaret Miro-Julia
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
52.
Software Simulator to Model an Energy Autonomous System
机译:
用于模拟能源自治系统的软件模拟器
作者:
Francisco Cabrera
;
Victor Arana
;
Lourdes Suarez
;
Gonzalo Gutierrez
;
Carlos M. Travieso
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
53.
SPICE Simulation of Analog Filters: A Method for Designing Digital Filters
机译:
模拟滤波器的SPICE仿真:一种设计数字滤波器的方法
作者:
Corneliu Rusu
;
Lacrimioara Grama
;
Jarmo Takala
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
SPICE;
analog filter;
digital filter;
54.
Dynamic Behavior of Time-Domain Features for Prosthesis Control
机译:
假体控制时域特征的动态行为
作者:
Stefan Herrmann
;
Klaus J. Buchenrieder
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
myoelectric signal processing;
upper limb prosthesis;
muscle fatigue;
multinormal distribution;
guilin-Hills selection;
55.
A Distributed System for Massive Generation of Synthetic Video Using GPUs
机译:
使用GPU大规模生成合成视频的分布式系统
作者:
Javier Paris
;
Victor Gulias
;
Carlos Abalde
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
56.
On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity
机译:
关于单个神经元活动的广义泄漏积分和射击模型
作者:
Aniello Buonocore
;
Luigia Caputo
;
Enrica Pirozzi
;
Luigi M. Ricciardi
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
neuron firing;
LIF model;
diffusion process;
57.
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles
机译:
神经元和神经元集成的数学和计算建模
作者:
Andreas Schierwagen
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
neurons;
neuronal ensembles;
mathematical;
computational;
modeling;
58.
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection
机译:
后代遗传规划交叉算子的成功率
作者:
Gabriel Kronberger
;
Stephan Winkler
;
Michael Affenzeller
;
Andreas Beham
;
Stefan Wagner
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
59.
Walsh Matrices in the Design of Industrial Experiments
机译:
工业实验设计中的沃尔什矩阵
作者:
Claudio Moraga
;
Hector Allende
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
60.
On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization
机译:
室内蓝牙定位的二维回归函数的结构辨识
作者:
Rene Mayrhofer
;
Stephan Winkler
;
Helmut Hlavacs
;
Michael Affenzeller
;
Stefan Schneider
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
61.
Decomposing Pattern Matching Circuit
机译:
分解模式匹配电路
作者:
Grzegorz Borowik
;
Tadeusz Luba
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
logic synthesis;
pattern matching;
address generator;
finite state machine;
decomposition;
FPGA;
embedded memory;
62.
Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals
机译:
基于选定的肌电信号DFT点的人工手控制的硬件方法
作者:
Przemyslaw M. Szecowka
;
Jadwiga Pedzinska-Rzany
;
Andrzej R. Wolczowski
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
63.
Robust Control of a Two Tank System Using Algebraic Approach
机译:
使用代数方法的两坦克系统的鲁棒控制
作者:
Marek Dlapa
;
Roman Prokop
;
Monika Bakosova
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
64.
Comparing Algebraic and Constrained Pole Assignment Controllers for a Thermal System
机译:
比较热系统的代数和约束极点分配控制器
作者:
Mikulas Huba
;
Frantisek Jelenciak
;
Peter Tapak
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
algebraic approach;
constrained control;
pole assignment control;
thermal process;
65.
Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach
机译:
连续时间非线性输入输出方程的实现:多项式方法
作者:
Maris Tonso
;
UElle Kotta
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
nonlinear control system;
continuous-time system;
input-output models;
polynomial methods;
state space realization;
66.
Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines
机译:
临床指南的分步指导临床工作流程实现措施
作者:
Jose M. Juarez
;
Patricia Martinez
;
Manuel Campos
;
Jose Palma
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
67.
Debugging and Verification of Multi-Agent Systems
机译:
多代理系统的调试和验证
作者:
Clara Benac Earle
;
Lars-Ake Fredlund
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
68.
Effective Bit-Width and Under-Approximation
机译:
有效位宽和欠逼近
作者:
Robert Brummayer
;
Armin Biere
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
69.
Automatic Test Generation for Coverage Analysis Using CBMC
机译:
使用CBMC自动生成覆盖率分析的测试
作者:
Damiano Angeletti
;
Enrico Giunchiglia
;
Massimo Narizzano
;
Alessandra Puddu
;
Salvatore Sabina
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
70.
Self-healing Assurance Based on Bounded Model Checking
机译:
基于有界模型检查的自我修复保证
作者:
Vendula Hruba
;
Bohuslav Krena
;
Tomas Vojnar
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
71.
Observable Runtime Behavior for Defects Indicated by Automated Static Analysis
机译:
通过自动静态分析表明的可观察到的运行时行为
作者:
Klaus Wolfmaier
;
Rudolf Ramler
;
Gabor Guta
;
Heinz Dobler
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
automated static analysis;
defect classification;
72.
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
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
73.
Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments
机译:
城市环境中实时分层GPS辅助Visual SLAM
作者:
David Schleicher
;
Luis M. Bergasa
;
Manuel Ocana
;
Rafael Barea
;
Elena Lopez
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
SLAM;
intelligent vehicles;
computer vision;
real-time;
74.
Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling
机译:
使用扩散图进行局部形状建模的无监督聚类
作者:
Daniel Valdes-Amaro
;
Abhir Bhalerao
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
shape;
statistical shape modelling;
local shape models;
curvature scale space;
diffusion maps;
brain contours;
75.
Simulation Based Design of Control Systems Using DEVS and Petri Nets
机译:
基于DEVS和Petri网的控制系统仿真设计。
作者:
Radek Koci
;
Vladimir Janousek
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
76.
Transforming UML-Based System Descriptions into Simulation Models as Part of System DeveloDment Frameworks
机译:
将基于UML的系统描述转换为仿真模型,作为系统开发框架的一部分
作者:
Andreas W. Liehr
;
Klaus J. Buchenrieder
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
hardware/software co-design;
performance simulation;
system modeling;
unified modeling language;
queuing network models;
77.
A GRASP-VNS Hybrid for the Fuzzy Vehicle Routing Problem with Time Windows
机译:
带时间窗的模糊车辆路径问题的GRASP-VNS混合
作者:
J. Brito
;
F.J. Martinez
;
J.A. Moreno
;
J.L. Verdegay
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
vehicle routing problem;
GRASP;
VNS;
fuzzy travel time;
78.
On Stochastic Variation in Discrete Time Systems
机译:
离散时间系统中的随机变化
作者:
Yasushi Endow
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
stochastic variation;
random walk;
martingale representation;
walsh functions;
79.
Integrated System and Network Simulation of a 5.8 GHz Local Positioning System
机译:
5.8 GHz本地定位系统的集成系统和网络仿真
作者:
Ralf Mosshammer
;
Ralf Eickhoff
;
Mario Huemer
;
Robert Weigel
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
80.
Analysis of the Properties of the Harmony Search Algorithm Carried Out on the One Dimensional Binary Knapsack Problem
机译:
一维二元背包问题的和声搜索算法的性质分析
作者:
Jerzy Greblicki
;
Jerzy Kotowski
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
knapsack problem;
HSA;
baldwin effect;
lamarck effect;
81.
An Algorithm of Schedule Planning for Tanker Drivers
机译:
油轮驾驶员调度计划算法
作者:
Jerzy Greblicki
;
Jerzy Kotowski
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
cutting stock;
vehicle routing problem;
genetic algorithm;
82.
Control Action Continuity on Situation-Based Obstacle Avoidance
机译:
基于情境避障的控制动作连续性
作者:
D. Hernandez
;
J. Cabrera
;
A. Dominguez
;
J. Isern
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
83.
Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences
机译:
真实图像序列中物体运动预测近似的敏感性分析
作者:
J.L. Crespo
;
P. Bernardos
;
E. Mora
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
computer vision and image processing;
84.
Image Sequences Noise Reduction: An Optical Flow Based Approach
机译:
图像序列降噪:一种基于光流的方法
作者:
Roman Dudek
;
Carmelo Cuenca
;
Francisca Quintana
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
85.
Biomimetic Controller for Situated Robots Based on State-Driven Behaviour
机译:
基于状态驱动行为的机器人仿生控制器
作者:
Gerhard Hoefer
;
Manfred Mauerkirchner
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
86.
WiFi Localization System Using Fuzzy Rule-Based Classification
机译:
基于模糊规则分类的WiFi定位系统
作者:
Jose M. Alonso
;
Manuel Ocana
;
Miguel A. Sotelo
;
Luis M. Bergasa
;
Luis Magdalena
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
87.
Vehicle Detection Based on Laser Radar
机译:
基于激光雷达的车辆检测
作者:
Fernando Garcia
;
Pietro Cerri
;
Alberto Broggi
;
Jose Maria Armingol
;
Arturo de la Escalera
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
ADAS;
intelligent vehicles;
data fusion;
laser radar;
88.
Vascular Landmark Detection in Retinal Images
机译:
视网膜图像中的血管地标检测
作者:
M. Ortega
;
J. Rouco
;
J. Novo
;
M.G. Penedo
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
landmark points;
retinal vascular tree;
feature extraction;
89.
Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering-Based (Meta-) Heuristics
机译:
通过基于聚类(元)的启发式方法求解欧氏有界直径最小生成树问题
作者:
Martin Gruber
;
Guenther R. Raidl
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
90.
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
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
functional disambiguation;
syntactic analysis;
computational linguistics;
natural language processing;
91.
Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search
机译:
进化的六态自动机相对于穷举搜索的最佳行为
作者:
Patrick Ediger
;
Rolf Hoffmann
;
Mathias Halbach
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
92.
SNIPER: A Wireless Sensor Network Simulator
机译:
SNIPER:无线传感器网络模拟器
作者:
Sourendra Sinha
;
Zenon Chaczko
;
Ryszard Klempous
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
93.
Embedded Fortress-Software Environment for Intellectual Property Protection in Embedded Systems
机译:
嵌入式堡垒软件环境,用于嵌入式系统中的知识产权保护
作者:
Adam Handzlik
;
Tomasz Englert
;
Andrzej Jablonski
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
embedded systems;
intellectual property;
protection;
field programmable gate arrays;
IP core;
94.
Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method
机译:
应用Rissanen部分实现方法的多值密码数据流线性复杂度度量
作者:
Franz Pichler
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
95.
A Software Implementation of the Rissanen Method for Partial Linear Systems Realization
机译:
Rissanen方法用于部分线性系统实现的软件实现
作者:
Dominik Jochinger
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
96.
Designing Communication Space in Wireless Sensor Network Based on Relational Attempt
机译:
基于关系尝试的无线传感器网络通信空间设计
作者:
Jan Nikodem
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
wireless sensors network;
relational systems;
97.
Boundary Scan Security Enhancements for a Cryptographic Hardware
机译:
加密硬件的边界扫描安全性增强
作者:
Maciej Nikodem
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
boundary scan;
IEEE 1149;
side-channel attacks;
countermeasures;
98.
Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning
机译:
通过进化强化学习来学习自主直升机飞行
作者:
Jose Antonio Martin H.
;
Javier de Lope
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
reinforcement learning;
evolutionary computation;
autonomous helicopter;
99.
A General Purpouse Control System
机译:
通用控制系统
作者:
Adrian Penate-Sanchez
;
Alexis Quesada-Arencibia
;
Roberto Moreno-Diaz jr.
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
关键词:
user friendly;
industrial control;
web application;
100.
A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process
机译:
具有兴奋和抑制输入的出生死亡过程控制的神经元模型
作者:
Antonio Di Crescenzo
;
Barbara Martinucci
会议名称:
《Computer aided systems theory-EUROCAST 2009》
|
2009年
意见反馈
回到顶部
回到首页