掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference of the Chilean Computer Science Society
International Conference of the Chilean Computer Science Society
召开年:
2012
召开地:
Valparaiso(CL)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Method Lookup Simulation with a Gradual Typing Language
机译:
渐进式输入法的方法查找仿真
作者:
Allende Esteban
;
Fabry Johan
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
gradual typing;
method lookup;
performance;
2.
Usability Heuristics Validation through Empirical Evidences: A Touchscreen-Based Mobile Devices Proposal
机译:
通过经验证据进行可用性启发式验证:基于触摸屏的移动设备提案
作者:
Inostroza Rodolfo
;
Rusu Cristian
;
Roncagliolo Silvana
;
Jimenez Cristhy
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
empirical evidences;
touchscreen-based mobile devices;
usability evaluation;
usability heuristics;
3.
Theoretical Basis of a New Method for DNA Fragment Assembly in k-mer Graphs
机译:
k-mer图中DNA片段组装新方法的理论基础
作者:
Couto Adriano Donato
;
Cerqueira Fabio Ribeiro
;
Guerra Rafael Luciano
;
Goncalves Luciana Brugiolo
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
DNA fragment assembly;
k-mer graphs;
maximum matching;
4.
Use of Backpropagation and Differential Evolution Algorithms to Training MLPs
机译:
使用反向传播和差分进化算法训练MLP
作者:
Camargo Luiz Carlos
;
Tissot Hegler Correa
;
Pozo Aurora Trinidad Ramirez
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Artificial Neural Network;
Backpropagation (BP) algorithm;
Differential Evolution (DE) algorithm;
Multilayer Perceptron;
5.
Online Ridge Regression Method Using Sliding Windows
机译:
滑动窗口的在线岭回归方法
作者:
Arce Paola
;
Salinas Luis
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Machine Learning;
Online Learning;
Ridge Regression;
6.
A Wavelet-Based Method for Time Series Forecasting
机译:
基于小波的时间序列预测方法
作者:
Dominguez Gabriela
;
Guevara Miguel
;
Mendoza Marcelo
;
Zamora Juan
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
forecasting;
spectral analysis;
time series;
wavelets;
7.
Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems
机译:
可满足性问题的改进二元决策图约束传播
作者:
Olivo Oswaldo
;
Emerson E.Allen
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
satisfiability;
quantified boolean formulas;
constraint propagation;
symbolic algorithms;
8.
AntSeg: The Application of Ant Colony Optimization to Interactive Image Segmentation
机译:
AntSeg:蚁群优化在交互式图像分割中的应用
作者:
Versuti Tiago Alexandre Beraldi
;
Flores Franklin Cesar
;
Mulati Mauro Henrique
;
Polidorio Airton Marco
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
ant colony optimization;
interactive image segmentation;
morphological gradient;
9.
Validation Strategies of Competences in a Computer Science Curriculum
机译:
计算机课程中的能力验证策略
作者:
Levano Marcos A.
;
Herrera Oriel A.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
competency-based training;
education;
learning;
10.
Selection of Software Development Good Practices in Micro and Small Enterprises: An Approach Using Knowledge-Based Systems
机译:
小型和小型企业中软件开发良好实践的选择:一种基于知识系统的方法
作者:
Castro Ronney Moreira de
;
Braga Jose Luis
;
Soares Liziane Santos
;
Oliveira Alcione de Paiva
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Best practices selection;
Knowledge-based systems;
Micro and small enterprises;
Software quality;
11.
A Systematic Review on Aspects in Software Architecture Design
机译:
对软件体系结构设计方面的系统评价
作者:
Oliveira Kenia Santos de
;
Soares Michel dos Santos
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Aspects;
Software Architecture;
Systematic Review;
12.
A Tool for Modeling Software Development Contexts in Small Software Organizations
机译:
小型软件组织中的软件开发上下文建模工具
作者:
Ortega Daniel
;
Silvestre Luis
;
Bastarrica Maria Cecilia
;
Ochoa Sergio F.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Software development context;
model-driven engineering;
modeling tool;
software process tailoring;
13.
T2M and M2T Transformations between Software Processes and Software Process Models
机译:
软件过程和软件过程模型之间的T2M和M2T转换
作者:
Bertero Aldo
;
Silvestre Luis
;
Bastarrica Maria Cecilia
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
model-driven engineering;
software process;
transformations;
14.
Inconsistency Recovery in Business Processes Using a Possibilistic WorkFlow Net
机译:
使用可能的WorkFlow Net进行业务流程中的不一致恢复
作者:
Rezende Leiliane Pereira de
;
Julia Stephane
;
Cardoso Janette
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
WorkFlow net;
possibilistic Petri net;
process monitoring;
process non-conformance;
15.
Evaluating a Methodology to Establish Usability Heuristics
机译:
评估建立可用性启发式方法
作者:
Jimenez Cristhy
;
Rusu Cristian
;
Roncagliolo Silvana
;
Inostroza Rodolfo
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
heuristic evaluation;
heuristics;
methodology;
usability;
16.
Semi-automatic Follow-Up of Graduates
机译:
毕业生半自动跟进
作者:
Rodrigues Diego Fialho
;
Oliveira Alcione de Paiva
;
Filho Jugurta Lisboa
;
Moreira Alexandra
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Follow-up of people;
frames;
multiagent;
ontology;
17.
Distributed Planning in Processes Customization
机译:
流程定制中的分布式计划
作者:
Furtado Tiago
;
Oliveira Alcione de Paiva
;
Braga Jose Luis
;
Arroyo Jose Elias Claudio
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Software proces;
multi-agent planning;
process tailorin;
18.
ARGOsearch: An Information Retrieval System Based on Text Similarity and Extensible Relevance Criteria
机译:
ARGOsearch:基于文本相似性和可扩展相关性准则的信息检索系统
作者:
Borges Eduardo Nunes
;
Pereira Igor Avila
;
Tomasini Caroline
;
Vargas Andre Prisco
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
information management;
information retrieval;
keyword search;
19.
Multi-objective Algorithms for the Single Machine Scheduling Problem with Sequence-Dependent Family Setups
机译:
具有序列相关家庭设置的单机调度问题的多目标算法
作者:
Rego Marcelo Ferreira
;
Souza Marcone Jamilson Freitas
;
Arroyo Jose Elias Claudio
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Multi-Objective Optimization;
Multi-Objective Variable Neighborhood Search;
Pareto Iterated Local Search;
Single Machine Scheduling;
20.
GARP: A New Genetic Algorithm for the Unrelated Parallel Machine Scheduling Problem with Setup Times
机译:
GARP:带有建立时间的无关并行机器调度问题的一种新遗传算法
作者:
Haddad Matheus Nohra
;
Coelho Igor Machado
;
Souza Marcone Jamilson Freitas
;
Ochi Luiz Satoru
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
GARP;
Genetic Algorithm;
PR;
RVND;
UPMSPST;
21.
Time Series Forecasting Methods for Creating Digital Signature of Network Segments Using Flow Analysis
机译:
使用流量分析创建网段数字签名的时间序列预测方法
作者:
Assis Marcos Vinicius Oliveira de
;
Zacaron Alexandro Marcelo
;
Proenca Mario Lemes Proenca
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Baseline;
DSNSF;
Holt-Winters;
NetFlow;
22.
Ant Colony Optimization for Creating Digital Signature of Network Segments Using Flow Analysis
机译:
使用流量分析创建网段数字签名的蚁群优化
作者:
Carvalho Luiz Fernando
;
Zacaron Alexandro Marcelo
;
Adaniya Mario Henrique Akihiko da Costa
;
Proenca Mario Lemes
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Ant Colony Optmization;
Clustering;
Network Management;
Traffic Characterization;
23.
The UNB-RISC16 Object File Format
机译:
UNB-RISC16对象文件格式
作者:
DAmato Andre Luiz Tinassi
;
Ruiz Linnyer Beatrys
;
Silva Anderson Faustino da
;
Foleiss Juliano Henrique
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Object file format;
UNB-RISC16;
memory safe;
24.
A Detailed Analysis of the LLVM's Register Allocators
机译:
LLVM的寄存器分配器的详细分析
作者:
Xavier Tiago Cariolano de Souza
;
Oliveira George Souza
;
Lima Ewerton Daniel de
;
Silva Anderson Faustino da
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
LLVM;
Performance;
Register Allocator;
25.
Dynamic Binary Translation -- A Model-Driven Approach
机译:
动态二进制翻译-一种模型驱动的方法
作者:
Foleiss Juliano Henrique
;
DAmato Andre Luis Tinassi
;
Silva Anderson Faustino da
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
DBT;
Dynamic Binary Translation;
Emulation;
26.
Register Allocation by Evolutionary Algorithm
机译:
通过进化算法分配寄存器
作者:
Lintzmayer Carla Negri
;
Mulati Mauro Henrique
;
Silva Anderson Faustino da
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Ant Colony Optimization;
ColorAnt-RT;
Graph Coloring;
HCA;
Register Allocation;
27.
Atmospheric Model Cluster Performance Evaluation on Hybrid MPI/OpenMP/Cuda Programming Model Platform
机译:
MPI / OpenMP / Cuda混合编程模型平台的大气模型聚类性能评估
作者:
Osthoff C.
;
Souto R.P.
;
Dias P.L.Silva
;
Panetta J.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Atmospheric Numerical Simulation Model;
Cluster;
GPU;
High Performance Computing;
Multicore;
28.
Development of Software that Supports the Improvement of the Empathy in Children with Autism Spectrum Disorder
机译:
支持自闭症谱系障碍儿童改善同理心的软件的开发
作者:
Munoz Roberto
;
Barcelos Thiago
;
Noel Rene
;
Kreisel Sandra
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Autism Spectrum Disorder;
Empathy;
Muti-touch devices;
User Centered Design;
29.
Improving Primary Health Services and Their User Experiences from Improving Their Logistic and Operational Management
机译:
通过改善物流和运营管理来改善基本医疗服务及其用户体验
作者:
Saint-Pierre Cecilia
;
Epstein Rafael
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
EMR;
e-government;
primary healthcare services;
service quality;
user experience;
30.
SoPD -- A New Consensus Function for the Ensemble Clustering Problem
机译:
SoPD-集成聚类问题的新共识功能
作者:
Abdala Daniel Duarte
;
Jiang Xiaoyi
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
ensemble clustering;
median partition problem;
31.
Sieve Bootstrap Prediction Intervals for Contamined BIP-ARMA Processes
机译:
受污染的BIP-ARMA流程的筛网引导预测间隔
作者:
Ulloa Gustavo
;
Allende Hector
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Forecasting in time series;
Prediction intervals;
Sieve bootstrap;
Time series;
Winsorized filter;
32.
Methodological Proposal of Requirements Engineering Aligning IS/IT to the Business Strategy
机译:
需求工程方法论,使IS / IT与业务策略保持一致
作者:
Cravero Ania
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
BMM;
BPMN;
objectives alignment;
requirement engineering;
33.
Modeling a Retailer B2B Integration Portal as Choreography Intermediary with BPMN 2.0 Choreography Diagrams
机译:
使用BPMN 2.0编排图将零售商B2B集成门户建模为编排中介
作者:
Hitpass Bernhard
;
Leiva Juan
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2012年
关键词:
Business Process Model and Notation (BPMN 2.0);
Business to Business (B2B);
ESB (Enterprise Service Bus);
Processes Choreography;
Supply Chain Management (SCM);
34.
Algorithm explanation using multimodal interfaces
机译:
使用多模式接口说明算法
作者:
Baloian N.
;
Luther W.
;
Putzer T.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
computer animation;
data visualisation;
keyboards;
program visualisation;
user interfaces;
algorithm animation;
algorithm explanation;
data visualization;
multimodal interfaces;
software visualization;
specific concept keyboards;
visual channel;
35.
Balancing active objects on a peer to peer infrastructure
机译:
平衡对等基础设施的对等方面的活动对象
作者:
Bustos-Jimenez J.
;
Caromel D.
;
di Costanzo A.
;
Leyton M.
;
Piquer J.M.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
distributed object management;
object-oriented programming;
parallel programming;
peer-to-peer computing;
remote procedure calls;
resource allocation;
Jacobi parallel application;
active object balancing;
data transfer;
distributed object-oriented applications;
dy;
36.
A geometric framework to visualize fuzzy-clustered data
机译:
几何框架,用于可视化模糊群集数据
作者:
Yuanquan Zhang
;
Rueda L.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
data visualisation;
expectation-maximisation algorithm;
fuzzy set theory;
pattern clustering;
cluster membership;
data visualization;
expectation maximization;
fuzzy clustering;
fuzzy k-means;
fuzzy membership;
geometric visualization;
intercluster relationships;
ob;
37.
EXEHDA middleware: aspects to manage the ISAM pervasive environment
机译:
Exehda中间件:管理ISAM普遍环境的方面
作者:
Yamin A.C.
;
Augustin I.
;
da Silva L.C.
;
Real R.A.
;
Geyer C.F.R.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
distributed object management;
middleware;
ubiquitous computing;
EXEHDA middleware;
ISAM pervasive environment management;
adaptive service-oriented middleware;
context awareness;
dynamic resource discovery;
follow-me semantics;
on-demand adaptive service loading;
38.
A stochastic non-deterministic temporal concurrent constraint calculus
机译:
随机非确定性时间并发约束计数
作者:
Olarte C.
;
Rueda C.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
concurrency theory;
constraint handling;
formal specification;
inference mechanisms;
process algebra;
stochastic systems;
temporal logic;
asynchronous timed behavior modeling;
concurrent systems;
formal reasoning;
formal specification;
linear temporal logic;
nondete;
39.
Using active messages to explore high performance in clusters of computers
机译:
使用活动消息探索计算机集群中的高性能
作者:
Peranconi D.S.
;
Cavalheiro H.G.G.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
biology computing;
dynamic programming;
message passing;
multi-threading;
workstation clusters;
Anahy;
active messages;
biological sequence alignment;
communication library;
communication support;
computer cluster communication;
dynamic programming;
high performance;
40.
Optimizing repair programs for consistent query answering
机译:
优化维修程序,以获得一致查询应答
作者:
Caniupan M.
;
Bertossi L.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
constraint handling;
data integrity;
database management systems;
query processing;
consistent query answering;
database repair;
databases;
disjunctive logic programs;
integrity constraints;
logic programming system;
magic sets;
model semantics;
program constraints;
41.
Parallel evolution strategy for protein threading
机译:
蛋白质螺纹的平行进化策略
作者:
Islam R.
;
Ngom A.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
biology computing;
computational complexity;
evolutionary computation;
molecular biophysics;
parallel programming;
proteins;
3D protein structure;
NP-hard problem;
parallel evolution strategy;
protein sequence;
protein threading;
42.
Parallel strategies for a multi-criteria GRASP algorithm
机译:
多标准掌握算法的并行策略
作者:
Vianna D.S.
;
Arroyo J.E.C.
;
Vieira P.S.
;
de Azeredo T.R.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
Pareto optimisation;
adaptive systems;
computational complexity;
greedy algorithms;
parallel algorithms;
randomised algorithms;
tree searching;
trees (electrical);
NP-hard problem;
Pareto optimal spanning trees;
combinatorial optimization;
graph edges;
greedy random;
43.
Design pattern for the adaptive scheduling of real-time tasks with multiple versions in RTSJ
机译:
RTSJ中具有多个版本的实时任务的自适应调度设计模式
作者:
Goncalves R.
;
de Oliveira R.S.
;
Montez C.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
Java;
Unified Modeling Language;
adaptive scheduling;
formal specification;
object-oriented programming;
task analysis;
Java;
RTSJ;
UML diagrams;
adaptive control;
adaptive scheduling;
application code;
design pattern;
real-time specification;
real-time task schedulin;
44.
Obtaining possible execution histories on multiple memory consistency models
机译:
在多个内存一致性模型上获取可能的执行历史
作者:
Melo A.C.M.A.
;
Silva N.S.B.
;
Mendes H.C.
;
Aranha D.F.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
data integrity;
distributed shared memory systems;
pipeline processing;
random-access storage;
storage management;
PipelinedRAM consistency;
distributed architecture;
distributed shared memory systems;
multiple memory consistency models;
operation orderings;
relea;
45.
Propagating updates in real-time search: FALCONS(k)
机译:
在实时搜索中传播更新:猎鹰(k)
作者:
Hernandez C.
;
Meseguer P.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
heuristic programming;
learning (artificial intelligence);
real-time systems;
search problems;
FALCONS(k);
heuristic change;
real-time search algorithm;
update propagation;
46.
A simulated annealing approach to find the optimal parameters for fuzzy clustering microarray data
机译:
一种模拟退火方法,用于找到模糊聚类微阵列数据的最佳参数
作者:
Wei Yang
;
Rueda L.
;
Ngom A.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
biology computing;
data analysis;
genetics;
pattern clustering;
scientific information systems;
simulated annealing;
expression analysis;
fuzzy k-means clustering;
gene expression data;
hierarchical clustering;
microarray data;
nearly-optimal pair;
optimal parameter;
47.
Modeling expert players' behavior through data mining
机译:
通过数据挖掘建模专家参与者的行为
作者:
Acuna D.
;
Parada V.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2005年
关键词:
behavioural sciences computing;
cognition;
computer games;
data mining;
travelling salesman problems;
Euclidian traveling salesman problem;
cognitive modeling;
computer game tournament;
data mining;
expert player behavior modeling;
games;
heuristics;
human-behavior;
48.
Hardware Synthesis for Asynchronous Communications Mechanisms
机译:
异步通信机制的硬件合成
作者:
Gorg
;
nio Kyller
;
Cortadella Jordi
;
#x0F4
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
formal methods;
49.
An Experimental Study of the FIB Framework Driven by the PDCA Cycle
机译:
PDCA周期驱动的FIB框架的实验研究
作者:
Chaves Ana Paula
;
Leal Gislaine Camila Lapasini
;
Moriya Huzita Elisa Hatsue
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
experimental study;
framework;
pdca;
50.
BMC Encoding for Concurrent Systems
机译:
BMC编码用于并发系统
作者:
Rakotoarisoa Manitra
;
Pastor Enric
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
formal methods;
51.
Mapping Tasks to Processors in Heterogeneous Multiprocessor Architectures: The MATEHa Algorithm
机译:
将任务映射到异构多处理器架构中的处理器:Mateha算法
作者:
De Giusti Laura
;
Chichizola Franco
;
Naiouf Marcelo
;
De Giusti Armando
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
Distributed Architectures;
Heterogeneity Performance Prediction Models;
Parallel Systems;
Robustness;
Task-to-processor Mapping;
52.
Weak Constraint Programming to Identify Alternative Composite COTS-Based Software Systems from Imperfect Information
机译:
弱约束编程从不完美信息识别基于替代综合COTS的软件系统
作者:
Castro Carlos Becerra
;
Astudillo Hern
;
n
;
#x0E1
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
Component-based Software Development;
Constraint Programming;
Software Architecture;
53.
A Domain Specific Language for the Development of Collaborative Systems
机译:
用于开发协作系统的域特定语言
作者:
#x0ED
;
Bibbo Luis Mariano
;
Garc
;
a Diego
;
Pons Claudia
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
DSL;
UML;
collaborative system;
domain specific language;
model driven development;
54.
PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence
机译:
Palta:对等对等适应性拓扑,用于环境智能
作者:
#x0E1
;
#x0ED
;
C
;
diz Alfredo
;
Mej
;
as Boris
;
Vallejos Jorge
;
Mens Kim
;
Van Roy Peter
;
de Meuter Wolfgang
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
Ambient intelligence;
Decentralized systems;
Network topologies;
Network variability;
Self-management;
55.
A Scheduling Algorithm to Optimize Parallel Processes
机译:
优化并行过程的调度算法
作者:
Solar Mauricio
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
56.
One-Shot Time Management Analysis in EPOS
机译:
EPOS中的一次性管理分析
作者:
Gracioli Giovani
;
Santos Danillo Moura
;
de Matos Roberto
;
Wanner Lucas Francisco
;
Fr
;
hlich Ant
;
nio Augusto
;
#x0F6
;
#x0F4
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
One-Shot;
Periodic timers;
real-time;
57.
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities
机译:
通过具有可变形的功能模型和UML StateCharts的产品线的行为规范
作者:
Gonzalez Ariel
;
Luna Carlos
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
Feature Models;
Pruduct Line;
Statecharts;
Variabilities;
58.
A Framework of Composable Access Control Definition, Enforcement and Assurance
机译:
可组合访问控制定义,执行和保证的框架
作者:
Pavlich-Mariscal Jaime A.
;
Demurjian Steven A.
;
Michel Laurent D.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
Access Control;
Security Assurance;
UML;
59.
A Translation from RSL to CSP
机译:
从RSL到CSP的翻译
作者:
Vargas Abigail Parisaca
;
Tapia Lizeth
;
George Chris
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
CSP;
FDR;
RAISE;
RSL;
formal methods;
60.
Deconstructing Agile Processes: Would Planned Design Be Helpful in XP Projects?
机译:
解构敏捷过程:计划设计是否有助于XP项目?
作者:
No
;
l Ren
;
Valdes Gonzalo
;
Visconti Marcello
;
Astudillo Hern
;
n
;
#x0EB
;
#x0E9
;
#x0E1
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
Evolutionary Software Design;
Experimental Studies;
Extreme Programming;
Planned Software Design;
61.
Sets Matching in Binary Images Using Mathematical Morphology
机译:
使用数学形态学在二进制图像中设置匹配
作者:
Vidal Javier
;
Crespo Jos
;
#x0E9
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
Image Processing;
Matching;
Mathematical Morphology;
62.
GeoMergeP: Supporting an Ontological Approach to Geographic Information Integration
机译:
Geomergep:支持地理信息集成的本体论方法
作者:
Buccella Agustina
;
Perez Laura
;
Cechich Alejandra
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
63.
Design of a Cluster-Based Peer to Peer Architecture for MANETs
机译:
基于集群的对等体架构的设计为船只
作者:
Galera Francisco J.
;
Martinez Juan A.
;
Sanchis Miguel A.
;
Gomez-Skarmeta Antonio F.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2008年
关键词:
MANET;
cluster;
collaborative working;
multicast;
64.
A Certified Access Controller for JME-MIDP 2.0 Enabled Mobile Devices
机译:
用于JME-MIDP 2.0支持的移动设备的经过认证的访问控制器
作者:
Oskui Ramin Roushani
;
Betarte Gustavo
;
Luna Carlos
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Mobile devices;
access control;
certified code;
65.
Typing Textual Entities and M2T/T2M Transformations in a Model Management Environment
机译:
在模型管理环境中键入文本实体和M2T / T2M变换
作者:
Vignaga Andramp
;
#x0E9
;
s
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Global Model Management;
Model Transformation;
Model-Driven Engineering;
Textual Concrete Syntax;
Type System;
66.
Message from the Conference Chairs
机译:
来自会议椅的信息
作者:
(missing)
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
67.
Performance Evaluation of the Covariance Descriptor for Target Detection
机译:
目标检测协方差描述符的性能评估
作者:
Cargill Pedro Cortez
;
Rius Cristobal Undurraga
;
Quiroz Domingo Mery
;
Soto Alvaro
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Region Covariance;
target detection;
68.
A Scalable Distributed Algorithm for Optimizing Distribution Power-Grids
机译:
一种可伸缩分布式算法,用于优化分发电网
作者:
Pezoa Jorge E.
;
Garcamp
;
#x0ED
;
a-Santander Luis
;
Camp
;
#x0E1
;
rcamo-Gallardo Angely A.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Reliability;
distribution grids;
energy-not-supplied;
greedy algorithms;
optimization;
reconfiguration;
69.
Delayed Insertion Strategies in Dynamic Metric Indexes
机译:
动态度量索引中的延迟插入策略
作者:
Champ
;
#x0E1
;
vez Edgar
;
Reyes Nora
;
Roggero Patricia
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Metric indexing;
dynamic indexes;
70.
Publisher's Information
机译:
出版商的信息
作者:
(missing)
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
71.
High-Performance Reverse Time Migration on GPU
机译:
GPU上的高性能相反时间迁移
作者:
Cabezas Javier
;
Araya-Polo Mauricio
;
Gelado Isaac
;
Navarro Nacho
;
Morancho Enric
;
Cela Josamp
;
#x0E9
;
M.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
GPU;
PDE;
finite differences;
high-performance computing;
seismic imaging;
stencil computation;
72.
Feature Extraction Based on Circular Summary Statistics in ECG Signal Classification
机译:
基于ECG信号分类的循环概述统计的特征提取
作者:
Soto Gustavo
;
Torres Sergio
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Cardiac signals;
analytic signal;
circular statistics;
73.
Formal Specification and Analysis of the MIDP 3.0 Security Model
机译:
MIDP 3.0安全模型的正式规范与分析
作者:
Mazeikis Gustavo
;
Betarte Gustavo
;
Luna Carlos
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Formal model;
MIDP;
mobile devices;
74.
Adaptive Algorithm for Threshold Path Subset Queries
机译:
阈值路径子集查询的自适应算法
作者:
Barbay Jamp
;
#x0E9
;
ramp
;
#x0E9
;
my
;
Veraskouski Aleh
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Adaptive;
Intersection;
Labeled Trees;
Threshold;
75.
Author Index
机译:
作者索引
作者:
(missing)
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
76.
A Language for Encoding and Reconstruction of Rewriting Proofs
机译:
一种用于编码和重建重写证明的语言
作者:
Salas Jorge F.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Semiautomated theorem proving;
encoding languages for proofs;
rewriting induction;
rewriting systems;
77.
Implementation of an Improvement Cycle Using the Competisoft Methodological Framework and the Tutelkan Platform
机译:
使用竞争方法框架和TUTELKAN平台实施改进周期
作者:
Villarroel Rodolfo
;
Gamp
;
#x0F3
;
mez Yessica
;
Gajardo Romamp
;
#x0E1
;
n
;
Rodramp
;
#x0ED
;
guez Oscar
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Competisoft;
PmCompetisoft;
Tutelkan;
agil_MANTEMA;
improvement cycle;
profile 1;
78.
A Skandium Based Parallelization of DNSSEC
机译:
基于Skandium的DNSSEC并行化
作者:
Leyton Mario
;
Piquer Josamp
;
#x0E9
;
M.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
algorithmic skeletons;
dns;
dnssec;
multi-core;
parallel programming;
patterns;
79.
Title Page iii
机译:
标题Page III
作者:
(missing)
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
80.
Copyright Page
机译:
版权页面
作者:
(missing)
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
81.
Face Recognition with Local Binary Patterns, Spatial Pyramid Histograms and Naive Bayes Nearest Neighbor Classification
机译:
与局部二进制模式,空间金字塔直方图和Naive Bayes最近邻分类的人脸识别
作者:
Maturana Daniel
;
Mery Domingo
;
Soto amp
;
#x0C1
;
lvaro
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
face recognition;
local binary patterns;
naive Bayes;
nearest neighbor;
spatial pyramid;
82.
Efficient Algorithms for Context Query Evaluation over a Tagged Corpus
机译:
在标记语料库上的上下文查询评估的高效算法
作者:
Barbay Jamp
;
#x0E9
;
ramp
;
#x0E9
;
my
;
Lamp
;
#x0F3
;
pez-Ortiz Alex
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Adaptive Algorithms;
Pattern Matching;
83.
A Two-Level Calculus for Composing Hybrid QVT Transformations
机译:
用于组成混合QVT变换的两级微积分
作者:
Pons Claudia
;
Giandini Roxana
;
Perez Gabriela
;
Baum Gabriel
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
84.
O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems
机译:
O形圈:对等系统的容错和负载平衡架构
作者:
Melliar-Smith P.M.
;
Moser Louise E.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
fault tolerance;
load balancing;
peer-to-peer systems;
update consistency;
85.
Title Page i
机译:
标题页I.
作者:
(missing)
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
86.
Combining a Probabilistic Sampling Technique and Simple Heuristics to Solve the Dynamic Path Planning Problem
机译:
结合概率采样技术和简单的启发式来解决动态路径规划问题
作者:
Barriga Nicolas A.
;
Solar Mauricio
;
Araya-Lamp
;
#x0F3
;
pez Mauricio
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2009年
关键词:
Multi-stage;
RRT;
artificial intelligence;
greedy heuristics;
local search;
motion planning;
probabilistic sampling;
87.
Discovering Sensing Capability in Multi-agent Systems
机译:
在多种代理系统中发现感应能力
作者:
Parpaglione Cristina
;
Santos Juan Miguel
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Genetic Algorithms;
Multiagent Systems;
Reinforcement Learning;
Sensing Capability;
Sensing Parametrization;
88.
Operators over Compressed Integer Encodings
机译:
压缩整数编码的运算符
作者:
Lizarraga Carlos Bedregal
;
Tellez Eric Sadit
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
compressed integers;
integer operators;
89.
Selection Techniques for Dense and Occluded Virtual 3D Environments, Supported by Depth Feedback: Double, Bound and Depth Bubble Cursors
机译:
深度反馈支持的密集和遮挡虚拟3D环境的选择技术:双,绑定和深度泡沫光标
作者:
Rosa Daniel Alejandro Winkler
;
Nagel Hubert Hoffmann
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
3D interaction;
Depth feedback;
Selection;
Virtual reality;
90.
A Decision Support System for Medium-Sized Emergencies
机译:
中型紧急情况的决策支持系统
作者:
Engelbrecht Andre
;
Vivacqua Adriana S.
;
Borges Marcos R.S.
;
Monares Alvaro
;
Ochoa Sergio F.
;
Pino Jose A.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Decision Support System;
Emergency Management;
Situation Awareness;
91.
A Viability Study of an Integrated Approach of Software Development and Test to Distributed Teams
机译:
软件开发综合方法的可行性研究和分布式团队的测试
作者:
Leal Gislaine Camila Lapasini
;
Huzita Elisa H. Moriya
;
Silva Cesar Alberto da
;
Delamaro Marcio Eduardo
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
distributed teams;
process;
quasi-experimental study;
viability study;
92.
MACOCO: A Discoverable Component Composition Framework Using a Multiagent System
机译:
宏:使用多算系统的可发现组件组成框架
作者:
Torres Romina
;
Astudillo Hernan
;
Canessa Enrique
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Contract Net;
Multiagent system;
Request for Tender;
based development;
component composition;
component discovery;
93.
Automated Text Binary Classification Using Machine Learning Approach
机译:
自动化文本二进制分类使用机器学习方法
作者:
Holts Alberto
;
Riquelme Claudio
;
Alfaro Rodrigo
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Machine learning;
Text classification;
94.
Neuro-fuzzy-based Arrhythmia Classification Using Heart Rate Variability Features
机译:
基于神经模糊的心律失常分类使用心率变异功能
作者:
Ramirez Felipe
;
Allende-Cid Hector
;
Veloz Alejandro
;
Allende Hector
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Arrhythmia;
Artificial Neural Networks;
Fuzzy Logic;
Heart Rate Variability;
Support Vector Machines;
95.
A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis
机译:
基于完善的界面自动机的非干扰概念:合成性,可解密性和合成
作者:
Lee Matias
;
DArgenio Pedro R.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Interface Automata;
non-interference;
refinement;
security;
96.
A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types
机译:
二阶逻辑,其中变量范围与完整的一阶类型的关系
作者:
Grosso Alejandro L.
;
Turull-Torres Jose M.
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Descriptive Complexity;
Finite Model Theory;
Relational Machine;
97.
Title Page i
机译:
标题页I.
作者:
{missing}
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
98.
Simulating Passenger Transportation Scenarios through SIM-MADARP
机译:
通过SIM-MADARP模拟乘客运输方案
作者:
Donoso Makarena
;
Sandoval Daniel
;
Cubillos Claudio
;
Cabrera-Paniagua Daniel
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Agent Architecture;
DARPTW;
Dial-a-ride;
Scheduling;
99.
Estimating the Size of Natural Networks Using Local Information
机译:
使用本地信息估算自然网络的大小
作者:
Bustos-Jimenez Javier
;
Hidalgo Mauricio
;
Schaeffer Elisa
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
complex networks;
natural networks;
peer-to-peer networks;
size estimation;
social networks;
100.
An Improved Fuzzy Rule-Based Automated Trading Agent
机译:
一种改进的基于模糊规则的自动交易代理
作者:
Allende-Cid Hector
;
Canessa Enrique
;
Quezada Ariel
会议名称:
《International Conference of the Chilean Computer Science Society》
|
2010年
关键词:
Automated trading agent;
Fuzzy rule-based agent;
意见反馈
回到顶部
回到首页