掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Second International Conference on Knowledge and Systems Engineering
Second International Conference on Knowledge and Systems Engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Integration of CAM Systems into Multi-axes Computerized Numerical Control Machines
机译:
将CAM系统集成到多轴计算机数控机床中
作者:
My Chu Anh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
CAM/CNC integration;
multi-axis CNC machine;
postprocessor;
2.
An Improvement of PIP for Time Series Dimensionality Reduction and Its Index Structure
机译:
时间序列降维的PIP改进及其指标结构
作者:
Son Nguyen Thanh
;
Anh Duong Tuan
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Skyline index;
dimensionality reduction;
perceptually important points;
time series;
whole sequence matching;
3.
Investigation of the Hemodynamic Response in Near Infrared Spectroscopy Data Analysis
机译:
近红外光谱数据分析中血流动力学响应的研究
作者:
Nguyen Le Hoa
;
Hong Keum-Shik
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
NIRS;
adaptive filter;
component;
deconvolution algorithm;
hemodynamic response function;
noise removal;
4.
SDA*: A Simple and Unifying Solution to Recent Bioinformatic Challenges for Conservation Genetics
机译:
SDA *:一种简单且统一的解决方案,以应对最近的保护遗传学生物信息学挑战
作者:
Minh Bui Quang
;
Klaere Steffen
;
von Haeseler Arndt
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
conservation genetics;
linear programming;
phylogenetic diversity;
phylogenetic network;
split diversity;
split system;
5.
Sentiment Analysis for Vietnamese
机译:
越南人情绪分析
作者:
Kieu Binh Thanh
;
Pham Son Bao
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Opinion Mining;
Sentiment Analysis;
Text Mining;
6.
A Runtime Approach to Verify Scenario in Multi-agent Systems
机译:
一种用于验证多主体系统中的方案的运行时方法
作者:
Trinh Thanh-Binh
;
Pham Quang-Thap
;
Truong Ninh-Thuan
;
Nguyen Viet-Ha
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
7.
A Semi-supervised Learning Method for Vietnamese Part-of-Speech Tagging
机译:
越南语词性标注的半监督学习方法
作者:
Nguyen Le Minh
;
Xuan Bach Ngo
;
Viet Cuong Nguyen
;
Nhat Minh Pham Quang
;
Shimazu Akira
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Conditional Random Fields;
Guided Learning;
Part of Speech tagging;
Semi-Supervised Learning;
8.
Extracting Parallel Texts from the Web
机译:
从Web提取平行文本
作者:
Hung Le Quang
;
Cuong Le Anh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
9.
Simulated Annealing-Based Algorithm for a Real-World High School Timetabling Problem
机译:
基于模拟退火算法的现实世界高中时间表问题
作者:
Nguyen Khang
;
Pham Tung
;
Le Nga
;
Dang Nguyen
;
Tran Nuong
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
10.
Simulation of Mixed Traffic Flow within Intersection
机译:
交叉口内混合交通流的仿真
作者:
Thanh Vo Hong
;
Hoai Tran Van
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
CA model;
Driver Behaviors in Intersection;
Mixed Traffic Flow;
11.
Constructive Generation of 3-COL Instances Focusing on Vertex Connectivity of Minimal Unsolvable Structures
机译:
专注于最小不可解结构的顶点连通性的3-COL实例的构造生成
作者:
Nagasawa Yoshitaka
;
Mizuno Kazunori
;
Sasaki Hitoshi
;
Nishihara Seiichi
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
constraint satisfaction;
graph coloring;
heuristics;
search phasc;
transition;
12.
EM-Coffee: An Improvement of M-Coffee
机译:
EM-Coffee:M-Coffee的改进
作者:
Tuan Nguyen Ha Anh
;
Cuong Ha Tuan
;
Dung Nguyen Hoang
;
Vinh Le Sy
;
Phuong Tu Minh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
DNA;
M-Coffee;
Multiple sequence alignment;
Muscle;
TCoffee;
protein;
13.
Interactive Exploration of Hierarchical Density Clusters in Gene Expression Data
机译:
基因表达数据中层次密度簇的交互式探索
作者:
Long Tran Van
;
Linsen Lars
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
cluster analysis;
gene expression data;
heatmaps;
hierarchical clustering;
kernel density estimation;
parallel coordinates;
14.
A New Method for Splitting Clumped Cells in Red Blood Images
机译:
分裂红血球图像中新细胞的新方法
作者:
Nguyen Ngoc-Tung
;
Duong Anh-Duc
;
Vu Hai-Quan
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Clumped cells splitting;
blood smears;
cell size estimation;
central point detection;
red blood cell;
15.
A Novel Computational Approach for Fire Detection
机译:
一种新颖的火灾探测计算方法
作者:
Duong Ha Dai
;
Tinh Dao Thanh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Correlation Coefficient;
Fire Detection;
Gaussian Mixture Model;
16.
Supervised Feature Evaluation by Consistency Analysis: Application to Measure Sets Used to Characterise Geographic Objects
机译:
通过一致性分析进行监督的特征评估:在用于表征地理对象的度量集上的应用
作者:
Taillandier Patrick
;
Drogoul Alexis
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Supervised feature evaluation;
consistency computation;
geomatic;
17.
An Effective Method for Ontology Integration by Propagating Inconsistency
机译:
传播不一致的有效本体集成方法
作者:
Duong Trong Hai
;
Cha Sang-Jin
;
Jo Geun Sik
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Ontology integration;
Ontology mapping;
Ontology matching;
18.
An Adaptive Ontology Based Hierarchical Browsing System for CiteSeerx
机译:
基于自适应本体的CiteSeerx分层浏览系统
作者:
Ye Nanhong
;
Gauch Susan
;
Wang Qiang
;
Luong Hiep
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Browsing System;
Ontology;
Unsupervised Learning;
19.
An Efficient Identity-Based Broadcast Signcryption Scheme
机译:
一种有效的基于身份的广播签密方案
作者:
Hien Dang Thu
;
Tien Trinh Nhat
;
Hien Truong Thi Thu
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
20.
Crawl Topical Vietnamese Web Pages Using Genetic Algorithm
机译:
使用遗传算法抓取越南语主题网页
作者:
Nhan Nguyen Quoc
;
Son Vu Tuan
;
Binh Huynh Thi Thanh
;
Khanh Tran Duc
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Focused Crawler;
Genetic Algorithm;
Keyword;
Vietnamese Word Segmentation;
21.
Spam Filter Based on Dynamic Sender Policy Framework
机译:
基于动态发件人策略框架的垃圾邮件过滤器
作者:
Anh Nguyen Tuan
;
Anh Tran Quang
;
Thang Nguyen Xuen
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
DSPF;
Dynamic Sender Policy Framework;
Phishing;
Spam;
22.
Author Index
机译:
作者索引
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
23.
Roster Page
机译:
名册页
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
24.
Title Page i
机译:
标题页
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
25.
Title Page iii
机译:
标题页iii
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
26.
Copyright Page
机译:
版权页
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
27.
Preface
机译:
前言
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
28.
Invited Talks
机译:
特邀演讲
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
29.
Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java
机译:
在多线程Java中对事务性和基于锁的并发进行安全键入
作者:
Tran Thi Mai Thuong
;
Owe Olaf
;
Steffen Martin
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
30.
Verifying Implementation of UML Sequence Diagrams Using Java PathFinder
机译:
使用Java PathFinder验证UML序列图的实现
作者:
Nguyen Dinh-Phuc
;
Luu Chung-Tuyen
;
Truong Anh-Hoang
;
Radics Norbert
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Java PathFinder;
UML sequence diagram;
verification;
31.
Change Management Strategies for the Successful Implementation of Enterprise Resource Planning Systems
机译:
成功实施企业资源计划系统的变更管理策略
作者:
Hau Trieu Thi Van
;
Kuzic Joze
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Change Management;
ERP;
Enterprise Resource Planning System;
32.
Extending CREST with Multiple SMT Solvers and Real Arithmetic
机译:
使用多个SMT解算器和实数算法扩展CREST
作者:
Huy Do Quoc
;
Hoang Truong Anh
;
Binh Nguyen Ngoc
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
C Programs;
SMT solver;
Software Testing;
Symbolic Execution;
Test Inputs;
33.
An Extension of Mazukiewicz Traces and their Applications in Specification of Real-Time Systems
机译:
Mazukiewicz迹线的扩展及其在实时系统规范中的应用
作者:
Chieu Do Van
;
Hung Dang Van
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Asynchronous automaton;
Distributed Automata;
Duration automata;
Mazurkiewicz trace;
timing constraint;
34.
Assume-Guarantee Tools for Component-Based Software Verification
机译:
假设担保工具,用于基于组件的软件验证
作者:
Hung Pham Ngoc
;
Nguyen Viet-Ha
;
Aoki Toshiaki
;
Katayama Takuya
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Assume-guarantee verification;
learning algorithm;
minimal assumption;
model checking;
modular verification;
35.
Privacy Preserving Classification in Two-Dimension Distributed Data
机译:
二维分布式数据中的隐私保护分类
作者:
Dung Luong The
;
Bao Ho Tu
;
Binh Nguyen The
;
Hoang Tuan-Hao
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
classification;
cryptography;
privacy preserving data mining;
36.
Smoothing Supervised Learning of Neural Networks for Function Approximation
机译:
平滑神经网络的函数逼近监督学习
作者:
Nguyen Thi T.
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
37.
Neural Networks Training Based on Sequential Extended Kalman Filtering for Single Trial EEG Classification
机译:
基于顺序扩展卡尔曼滤波的神经网络训练用于单次EEG分类
作者:
Turnip Arjon
;
Hong Keum-Shik
;
Ge Shuzhi Sam
;
Jeong Myung Yung
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
accuracy;
classification;
electroencephalography;
neural networks;
sequential extended Kalman filtering;
transfer rate;
38.
Predicting the Tide with Genetic Programming and Semantic-based Crossovers
机译:
通过遗传编程和基于语义的交叉预测潮流
作者:
Uy Nguyen Quang
;
ONeill Michael
;
Hoai Nguyen Xuan
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Crossover;
Genetic Programming;
Semantics;
Time Series;
39.
Supervised Learning of a Color-Based Active Basis Model for Object Recognition
机译:
基于颜色的物体识别主动基础模型的监督学习
作者:
Bui T.T. Quyen
;
Hong Keum-Shik
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
active basis model;
color;
deformable template;
local power spectrum;
object recognition;
40.
A Computational Framework for Adaptation in Military Mission Planning
机译:
军事任务规划中的适应性计算框架
作者:
Bui Lam Thu
;
Michalewicz Zbignew
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
41.
Rule-Based Attribute-Oriented Induction for Knowledge Discovery
机译:
基于规则的面向属性的知识发现归纳
作者:
Thanh Nguyen Duc
;
Phong Ngo Tuan
;
Anh Nguyen Kim
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Data Summarization;
Graphbased Attribute Oriented Induction;
Rule-based Attribute Oriented Induction;
Rule-based Concept Hierarchy;
42.
An Adaptive Ontology Based Hierarchical Browsing System for CiteSeerx
机译:
基于自适应本体的CiteSeerx分层浏览系统
作者:
Ye Nanhong
;
Gauch Susan
;
Wang Qiang
;
Luong Hiep
会议名称:
《》
|
2010年
关键词:
Browsing System;
Ontology;
Unsupervised Learning;
43.
An Efficient Identity-Based Broadcast Signcryption Scheme
机译:
一种有效的基于身份的广播签密方案
作者:
Hien Dang Thu
;
Tien Trinh Nhat
;
Hien Truong Thi Thu
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
44.
Crawl Topical Vietnamese Web Pages Using Genetic Algorithm
机译:
使用遗传算法抓取越南语主题网页
作者:
Nhan Nguyen Quoc
;
Son Vu Tuan
;
Binh Huynh Thi Thanh
;
Khanh Tran Duc
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Focused Crawler;
Genetic Algorithm;
Keyword;
Vietnamese Word Segmentation;
45.
Spam Filter Based on Dynamic Sender Policy Framework
机译:
基于动态发件人策略框架的垃圾邮件过滤器
作者:
Anh Nguyen Tuan
;
Anh Tran Quang
;
Thang Nguyen Xuen
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
DSPF;
Dynamic Sender Policy Framework;
Phishing;
Spam;
46.
Author Index
机译:
作者索引
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
47.
Roster Page
机译:
名册页
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
48.
Title Page i
机译:
标题页
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
49.
Title Page iii
机译:
标题页iii
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
50.
Copyright Page
机译:
版权页
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
51.
Preface
机译:
前言
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
52.
Invited Talks
机译:
特邀演讲
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
53.
Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java
机译:
在多线程Java中对事务性和基于锁的并发进行安全键入
作者:
Tran Thi Mai Thuong
;
Owe Olaf
;
Steffen Martin
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
54.
Verifying Implementation of UML Sequence Diagrams Using Java PathFinder
机译:
使用Java PathFinder验证UML序列图的实现
作者:
Nguyen Dinh-Phuc
;
Luu Chung-Tuyen
;
Truong Anh-Hoang
;
Radics Norbert
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Java PathFinder;
UML sequence diagram;
verification;
55.
Change Management Strategies for the Successful Implementation of Enterprise Resource Planning Systems
机译:
成功实施企业资源计划系统的变更管理策略
作者:
Hau Trieu Thi Van
;
Kuzic Joze
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Change Management;
ERP;
Enterprise Resource Planning System;
56.
Extending CREST with Multiple SMT Solvers and Real Arithmetic
机译:
使用多个SMT解算器和实数算法扩展CREST
作者:
Huy Do Quoc
;
Hoang Truong Anh
;
Binh Nguyen Ngoc
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
C Programs;
SMT solver;
Software Testing;
Symbolic Execution;
Test Inputs;
57.
An Extension of Mazukiewicz Traces and their Applications in Specification of Real-Time Systems
机译:
Mazukiewicz迹线的扩展及其在实时系统规范中的应用
作者:
Chieu Do Van
;
Hung Dang Van
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Asynchronous automaton;
Distributed Automata;
Duration automata;
Mazurkiewicz trace;
timing constraint;
58.
Assume-Guarantee Tools for Component-Based Software Verification
机译:
假设担保工具,用于基于组件的软件验证
作者:
Hung Pham Ngoc
;
Nguyen Viet-Ha
;
Aoki Toshiaki
;
Katayama Takuya
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Assume-guarantee verification;
learning algorithm;
minimal assumption;
model checking;
modular verification;
59.
Sentiment Analysis for Vietnamese
机译:
越南人情绪分析
作者:
Kieu Binh Thanh
;
Pham Son Bao
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Opinion Mining;
Sentiment Analysis;
Text Mining;
60.
A Runtime Approach to Verify Scenario in Multi-agent Systems
机译:
一种用于验证多主体系统中的方案的运行时方法
作者:
Trinh Thanh-Binh
;
Pham Quang-Thap
;
Truong Ninh-Thuan
;
Nguyen Viet-Ha
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
61.
A Semi-supervised Learning Method for Vietnamese Part-of-Speech Tagging
机译:
越南语词性标注的半监督学习方法
作者:
Nguyen Le Minh
;
Xuan Bach Ngo
;
Viet Cuong Nguyen
;
Nhat Minh Pham Quang
;
Shimazu Akira
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Conditional Random Fields;
Guided Learning;
Part of Speech tagging;
Semi-Supervised Learning;
62.
Extracting Parallel Texts from the Web
机译:
从Web提取平行文本
作者:
Hung Le Quang
;
Cuong Le Anh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
63.
Simulated Annealing-Based Algorithm for a Real-World High School Timetabling Problem
机译:
基于模拟退火算法的现实世界高中时间表问题
作者:
Nguyen Khang
;
Pham Tung
;
Le Nga
;
Dang Nguyen
;
Tran Nuong
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
64.
Simulation of Mixed Traffic Flow within Intersection
机译:
交叉口内混合交通流的仿真
作者:
Thanh Vo Hong
;
Hoai Tran Van
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
CA model;
Driver Behaviors in Intersection;
Mixed Traffic Flow;
65.
Constructive Generation of 3-COL Instances Focusing on Vertex Connectivity of Minimal Unsolvable Structures
机译:
专注于最小不可解结构的顶点连通性的3-COL实例的构造生成
作者:
Nagasawa Yoshitaka
;
Mizuno Kazunori
;
Sasaki Hitoshi
;
Nishihara Seiichi
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
constraint satisfaction;
graph coloring;
heuristics;
search phasc;
transition;
66.
Integration of CAM Systems into Multi-axes Computerized Numerical Control Machines
机译:
将CAM系统集成到多轴计算机数控机床中
作者:
My Chu Anh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
CAM/CNC integration;
multi-axis CNC machine;
postprocessor;
67.
Privacy Preserving Classification in Two-Dimension Distributed Data
机译:
二维分布式数据中的隐私保护分类
作者:
Dung Luong The
;
Bao Ho Tu
;
Binh Nguyen The
;
Hoang Tuan-Hao
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
classification;
cryptography;
privacy preserving data mining;
68.
Smoothing Supervised Learning of Neural Networks for Function Approximation
机译:
平滑神经网络的函数逼近监督学习
作者:
Nguyen Thi T.
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
69.
Neural Networks Training Based on Sequential Extended Kalman Filtering for Single Trial EEG Classification
机译:
基于顺序扩展卡尔曼滤波的神经网络训练用于单次EEG分类
作者:
Turnip Arjon
;
Hong Keum-Shik
;
Ge Shuzhi Sam
;
Jeong Myung Yung
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
accuracy;
classification;
electroencephalography;
neural networks;
sequential extended Kalman filtering;
transfer rate;
70.
Predicting the Tide with Genetic Programming and Semantic-based Crossovers
机译:
通过遗传编程和基于语义的交叉预测潮流
作者:
Uy Nguyen Quang
;
ONeill Michael
;
Hoai Nguyen Xuan
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Crossover;
Genetic Programming;
Semantics;
Time Series;
71.
Supervised Learning of a Color-Based Active Basis Model for Object Recognition
机译:
基于颜色的物体识别主动基础模型的监督学习
作者:
Bui T.T. Quyen
;
Hong Keum-Shik
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
active basis model;
color;
deformable template;
local power spectrum;
object recognition;
72.
A Computational Framework for Adaptation in Military Mission Planning
机译:
军事任务规划中的适应性计算框架
作者:
Bui Lam Thu
;
Michalewicz Zbignew
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
73.
Rule-Based Attribute-Oriented Induction for Knowledge Discovery
机译:
基于规则的面向属性的知识发现归纳
作者:
Thanh Nguyen Duc
;
Phong Ngo Tuan
;
Anh Nguyen Kim
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Data Summarization;
Graphbased Attribute Oriented Induction;
Rule-based Attribute Oriented Induction;
Rule-based Concept Hierarchy;
74.
Supervised Feature Evaluation by Consistency Analysis: Application to Measure Sets Used to Characterise Geographic Objects
机译:
通过一致性分析进行监督的特征评估:在用于表征地理对象的度量集上的应用
作者:
Taillandier Patrick
;
Drogoul Alexis
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Supervised feature evaluation;
consistency computation;
geomatic;
75.
An Effective Method for Ontology Integration by Propagating Inconsistency
机译:
传播不一致的有效本体集成方法
作者:
Duong Trong Hai
;
Cha Sang-Jin
;
Jo Geun Sik
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Ontology integration;
Ontology mapping;
Ontology matching;
76.
An Improvement of PIP for Time Series Dimensionality Reduction and Its Index Structure
机译:
时间序列降维的PIP改进及其指标结构
作者:
Son Nguyen Thanh
;
Anh Duong Tuan
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Skyline index;
dimensionality reduction;
perceptually important points;
time series;
whole sequence matching;
77.
Investigation of the Hemodynamic Response in Near Infrared Spectroscopy Data Analysis
机译:
近红外光谱数据分析中血流动力学响应的研究
作者:
Nguyen Le Hoa
;
Hong Keum-Shik
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
NIRS;
adaptive filter;
component;
deconvolution algorithm;
hemodynamic response function;
noise removal;
78.
SDA*: A Simple and Unifying Solution to Recent Bioinformatic Challenges for Conservation Genetics
机译:
SDA *:一种简单且统一的解决方案,以应对最近的保护遗传学生物信息学挑战
作者:
Minh Bui Quang
;
Klaere Steffen
;
von Haeseler Arndt
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
conservation genetics;
linear programming;
phylogenetic diversity;
phylogenetic network;
split diversity;
split system;
79.
EM-Coffee: An Improvement of M-Coffee
机译:
EM-Coffee:M-Coffee的改进
作者:
Tuan Nguyen Ha Anh
;
Cuong Ha Tuan
;
Dung Nguyen Hoang
;
Vinh Le Sy
;
Phuong Tu Minh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
DNA;
M-Coffee;
Multiple sequence alignment;
Muscle;
TCoffee;
protein;
80.
Interactive Exploration of Hierarchical Density Clusters in Gene Expression Data
机译:
基因表达数据中层次密度簇的交互式探索
作者:
Long Tran Van
;
Linsen Lars
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
cluster analysis;
gene expression data;
heatmaps;
hierarchical clustering;
kernel density estimation;
parallel coordinates;
81.
A New Method for Splitting Clumped Cells in Red Blood Images
机译:
分裂红血球图像中新细胞的新方法
作者:
Nguyen Ngoc-Tung
;
Duong Anh-Duc
;
Vu Hai-Quan
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Clumped cells splitting;
blood smears;
cell size estimation;
central point detection;
red blood cell;
82.
A Novel Computational Approach for Fire Detection
机译:
一种新颖的火灾探测计算方法
作者:
Duong Ha Dai
;
Tinh Dao Thanh
会议名称:
《Second International Conference on Knowledge and Systems Engineering》
|
2010年
关键词:
Correlation Coefficient;
Fire Detection;
Gaussian Mixture Model;
意见反馈
回到顶部
回到首页