掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on current trends in theory and practice of computer science
International conference on current trends in theory and practice of computer science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory
机译:
二维有理自动机:统一一维和二维语言理论的桥梁
作者:
Marcella Anselmo
;
Dora Giammarresi
;
Maria Madonia
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
2.
Incomplete Transition Complexity of Some Basic Operations
机译:
一些基本操作的过渡复杂性不完整
作者:
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
3.
The Orchestra of Multiple Model Repositories
机译:
多个模型库的乐团
作者:
Sergejs Kozlovics
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
models;
model repositories;
technical spaces;
on-the-fly transformation;
4.
Flow Decompositions in External Memory
机译:
外部存储器中的流分解
作者:
Maxim Babenko
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
5.
Improved Approximations for Ordered TSP on Near-Metric Graphs (Extended Abstract)
机译:
改进的近似度量图上有序TSP的逼近度(扩展摘要)
作者:
Hans-Joachim Boeckenhauer
;
Monika Steinova
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
6.
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
机译:
小直径图的三色性的算法和几乎严格的结果
作者:
George B. Mertzios
;
Paul G. Spirakis
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
3-coloring;
graph diameter;
graph radius;
subexponential algorithm;
NP-complete;
exponential time hypothesis;
7.
An Ontology-Driven Fuzzy Workflow System
机译:
本体驱动的模糊工作流系统
作者:
Vaclav Slavicek
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
workflow;
ontology;
fuzzy;
knowledge;
8.
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework
机译:
通过通用的OWL本体转换框架构造替换和复杂性降级
作者:
Ondrej Svab-Zamazal
;
Anne Schlicht
;
Heiner Stuckenschmidt
;
Vojtech Svatek
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
9.
Asymptotic Risk Analysis for Trust and Reputation Systems
机译:
信任和声誉系统的渐近风险分析
作者:
Michele Boreale
;
Alessandro Celestini
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
trust;
reputation;
information theory;
Bayesian decision theory;
10.
Approximating the k-Splittable Capacitated Network Design Problem
机译:
逼近k可分裂电容网络设计问题
作者:
Ehab Morsy
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
approximation algorithm;
graph algorithm;
routing problems;
network optimization;
11.
Tempo Adaptation within Interactive Music Instruments in Mobile Phone
机译:
手机交互式音乐中的节奏适应
作者:
Marek Takac
;
Alena Kovarova
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
mobile device sensors;
music;
tempo adaptation;
12.
Being Caught between a Rock and a Hard Place in an Election - Voter Deterrence by Deletion of Candidates
机译:
在选举中被困在一块岩石和一个困难的地方之间—删除候选人的选民威慑
作者:
Britta Dorn
;
Dominikus Krueger
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
13.
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
机译:
有界化和后果的有界树宽图的集体加性树扳手
作者:
Feodor F. Dragan
;
Muad Abu-Ata
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
14.
Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures
机译:
混合超图用于基于Denser哈希的数据结构的线性时间构造
作者:
Michael Rink
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
15.
Coalgebraic Bisimulation-Up-To
机译:
直到以前的Coalgebraic Bisimulation
作者:
Jurriaan Rot
;
Marcello Bonsangue
;
Jan Rutten
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
16.
A Model Transformation Language Based on Logic Programming
机译:
基于逻辑编程的模型转换语言
作者:
Jesus M. Almendros-Jimenez
;
Luis Iribarne
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
17.
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?
机译:
社交媒体中的动态投票界面:它会影响个人投票吗?
作者:
Michail Tsikerdekis
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
dynamic;
voting;
interface;
social;
media;
design;
18.
Preface
机译:
前言
作者:
Peter van Emde Boas
;
Giuseppe F. Italiano
;
Jerzy Nawrocki
;
Harald Sack
;
Frans C.A. Groen
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
19.
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
机译:
面向对象的一阶断言网络的弱算术完整性
作者:
Stijn de Gouw
;
Frank de Boer
;
Wolfgang Ahrendt
;
Richard Bubel
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
20.
Hypermodelling Reporting: Towards Cockpits for Code Structure
机译:
超模型化报告:面向驾驶舱的代码结构
作者:
Tim Frey
;
Matthias Graef
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
hypermodelling;
software dependency;
project controlling;
21.
Theory of Multi Core Hypervisor Verification
机译:
多核管理程序验证理论
作者:
Ernie Cohen
;
Wolfgang Paul
;
Sabine Schmaltz
会议名称:
《》
|
2013年
22.
Engineering Algorithms for Large Data Sets
机译:
大数据集的工程算法
作者:
Peter Sanders
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
23.
Generalising and Unifying SLUR and Unit-Refutation Completeness
机译:
归纳和统一SLUR和单位引用完整性
作者:
Matthew Gwynne
;
Oliver Kullmann
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
24.
On Structural Parameterizations for the 2-Club Problem
机译:
关于2-Club问题的结构参数化
作者:
Sepp Hartung
;
Christian Komusiewicz
;
Andre Nichterlein
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
25.
Search in Source Code Based on Identifying Popular Fragments
机译:
基于识别流行片段的源代码搜索
作者:
Eduard Kuric
;
Maria Bielikova
会议名称:
《》
|
2013年
关键词:
search;
source code;
reuse;
pagerank;
ranking;
functional dependencies;
26.
SimCo - Hybrid Simulator for Testing of Component Based Applications
机译:
SimCo-用于基于组件的应用程序测试的混合模拟器
作者:
Richard Lipka
;
Tomas Potuzak
;
Premek Brada
;
Pavel Herout
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
software component;
testing;
simulation;
performance;
OSGi;
27.
Core Stability in Hedonic Coalition Formation
机译:
享乐主义联盟形成中的核心稳定性
作者:
Gerhard J. Woeginger
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
computational social choice;
computational complexity;
coalition formation;
hedonic game;
28.
On Languages of One-Dimensional Overlapping Tiles
机译:
一维重叠磁贴的语言
作者:
David Janin
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
29.
Refinement Inference for Sequence Diagrams
机译:
时序图的细化推断
作者:
Lunjin Lu
;
Dae-Kyoo Kim
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
sequence diagrams;
semantics of sequence diagrams;
refinement of sequence diagrams;
refinement verification;
refinement inference;
sequence diagram transformation;
pattern conformance;
30.
A Model of the Commit Size Distribution of Open Source
机译:
开源提交大小分布模型
作者:
Carsten Kolassa
;
Dirk Riehle
;
Michel A. Salim
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
31.
ISICIL: Semantics and Social Networks for Business Intelligence
机译:
ISICIL:商业智能的语义和社交网络
作者:
Michel Buffa
;
Nicolas Delaforge
;
Guillaume Ereteo
;
Fabien Gandon
;
Alain Giboin
;
Freddy Limpens
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
social semantic web;
business intelligence;
social network;
social network analysis;
folksonomies;
semantic wiki;
32.
An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions
机译:
检查具有禁止跳变图的(基本)路径是否存在的精确算法和割问题的推广
作者:
Mamadou Moustapha Kante
;
Christian Laforest
;
Benjamin Momege
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
33.
Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
机译:
用于计算距离-遗传图和弦图的最小船体集的多项式时间算法
作者:
Mamadou Moustapha Kante
;
Lhouari Nourine
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
34.
Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information
机译:
利用视觉样式信息提高从Web提取关键字的相关性
作者:
Milan Lucansky
;
Marian Simko
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
automatic term recognition;
cascade style sheets;
keywords extraction;
web documents processing;
lightweight semantics;
35.
Utilizing Microblogs for Web Page Relevant Term Acquisition
机译:
利用微博获取网页相关术语
作者:
Tomas Uhercik
;
Marian Simko
;
Maria Bielikova
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
automatic term recognition;
keyword extraction;
user-generated content;
social annotations;
microblog;
twitter;
36.
A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations
机译:
表示n元关系的本体设计模式的多维比较
作者:
Aldo Gangemi
;
Valentina Presutti
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
n-ary relations;
ontology design patterns;
37.
Permuted Pattern Matching on Multi-track Strings
机译:
多轨字符串上的排列模式匹配
作者:
Takashi Katsura
;
Kazuyuki Narisawa
;
Ayumi Shinohara
;
Hideo Bannai
;
Shunsuke Inenaga
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
38.
State Coverage: An Empirical Analysis Based on a User Study
机译:
状态覆盖率:基于用户研究的实证分析
作者:
Dries Vanoverberghe
;
Emma Eyckmans
;
Frank Piessens
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
state coverage;
test adequacy metric;
user study;
39.
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
机译:
幂等项和幂一元运算符的SOS规则格式
作者:
Luca Aceto
;
Eugen-Ioan Goriac
;
Anna Ingolfsdottir
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
40.
Worst Case Analysis of Non-local Games
机译:
非本地游戏的最坏案例分析
作者:
Andris Ambainis
;
Arturs Backurs
;
Kaspars Balodis
;
Agnis Skuskovniks
;
Juris Smotrovs
;
Madars Virza
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
41.
Online and Quasi-online Colorings of Wedges and Intervals
机译:
楔形和间隔的在线和准在线着色
作者:
Balazs Keszegh
;
Nathan Lemons
;
Doemoetoer Palvoelgyi
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
42.
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
机译:
看不见的结构化语言的逻辑特征:以弗洛伊德语系为例
作者:
Violetta Lonati
;
Dino Mandrioli
;
Matteo Pradella
会议名称:
《》
|
2013年
关键词:
operator precedence languages;
deterministic context-free languages;
monadic second-order logic;
pushdown automata;
43.
Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks
机译:
基于GLM和RBF网络的混合变量进化优化代理模型。
作者:
Lukas Bajer
;
Martin Holena
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
surrogate modelling;
RBF networks;
genetic algorithms;
mixed-variables optimization;
continuous and discrete variables;
44.
Computing Semantic Similarity Using Large Static Corpora
机译:
使用大型静态语料库计算语义相似度
作者:
Andras Dobo
;
Janos Csirik
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
semantic similarity;
static corpora;
co-occurrence statistics;
45.
Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
机译:
用于计算距离遗传和十字图中最小船体的多项式时间算法
作者:
Mamadou Moustapha Kante
;
Lhouari Nourine
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
46.
The Orchestra of Multiple Model Repositories
机译:
多个模型存储库的管弦乐队
作者:
Sergejs Kozlovics
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
models;
model repositories;
technical spaces;
on-the-fly transformation;
47.
Worst Case Analysis of Non-local Games
机译:
非本地游戏的最坏情况分析
作者:
Andris Ambainis
;
Arturs Backurs
;
Kaspars Balodis
;
Agnis Skuskovniks
;
Juris Smotrovs
;
Madars Virza
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
48.
Search in Source Code Based on Identifying Popular Fragments
机译:
基于识别流行性片段搜索源代码
作者:
Eduard Kuric
;
Maria Bielikova
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
search;
source code;
reuse;
pagerank;
ranking;
functional dependencies;
49.
Engineering Algorithms for Large Data Sets
机译:
大型数据集的工程算法
作者:
Peter Sanders
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
50.
Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures
机译:
基于密度散列数据结构的线性时间施工的混合超图
作者:
Michael Rink
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
51.
Improved Approximations for Ordered TSP on Near-Metric Graphs (Extended Abstract)
机译:
在近度量图中改进了有序TSP的近似值(扩展摘要)
作者:
Hans-Joachim Boeckenhauer
;
Monika Steinova
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
52.
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
机译:
无形的结构化语言的逻辑表征:弗洛伊德语言的情况
作者:
Violetta Lonati
;
Dino Mandrioli
;
Matteo Pradella
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
operator precedence languages;
deterministic context-free languages;
monadic second-order logic;
pushdown automata;
53.
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory
机译:
二维理性自动机:统一统一的桥梁和二维语言理论
作者:
Marcella Anselmo
;
Dora Giammarresi
;
Maria Madonia
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
54.
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework
机译:
通过通用猫头鹰本体转换框架构建替代和复杂性降级
作者:
Ondrej Svab-Zamazal
;
Anne Schlicht
;
Heiner Stuckenschmidt
;
Vojtech Svatek
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
55.
Being Caught between a Rock and a Hard Place in an Election - Voter Deterrence by Deletion of Candidates
机译:
在选举中陷入岩石和艰难的地方 - 通过删除候选人威慑选民威慑
作者:
Britta Dorn
;
Dominikus Krueger
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
56.
Tempo Adaptation within Interactive Music Instruments in Mobile Phone
机译:
在手机中交互式音乐仪器中的节奏适应
作者:
Marek Takac
;
Alena Kovarova
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
mobile device sensors;
music;
tempo adaptation;
57.
An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions
机译:
一种检查(基本)路径的存在,以及禁止转换中的图表中的切割问题的概括算法
作者:
Mamadou Moustapha Kante
;
Christian Laforest
;
Benjamin Momege
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
58.
On Structural Parameterizations for the 2-Club Problem
机译:
关于2杆问题的结构参数化
作者:
Sepp Hartung
;
Christian Komusiewicz
;
Andre Nichterlein
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
59.
Utilizing Microblogs for Web Page Relevant Term Acquisition
机译:
利用MicroBlogs进行网页相关术语收购
作者:
Tomas Uhercik
;
Marian Simko
;
Maria Bielikova
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
automatic term recognition;
keyword extraction;
user-generated content;
social annotations;
microblog;
twitter;
60.
Asymptotic Risk Analysis for Trust and Reputation Systems
机译:
信任和声誉系统的渐近风险分析
作者:
Michele Boreale
;
Alessandro Celestini
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
trust;
reputation;
information theory;
Bayesian decision theory;
61.
Refinement Inference for Sequence Diagrams
机译:
序列图的细化推断
作者:
Lunjin Lu
;
Dae-Kyoo Kim
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
sequence diagrams;
semantics of sequence diagrams;
refinement of sequence diagrams;
refinement verification;
refinement inference;
sequence diagram transformation;
pattern conformance;
62.
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
机译:
具有概括和后果的有界树宽图的集体添加剂树扳手
作者:
Feodor F. Dragan
;
Muad Abu-Ata
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
63.
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
机译:
用于小直径图的3可色度的算法和几乎紧的结果
作者:
George B. Mertzios
;
Paul G. Spirakis
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
3-coloring;
graph diameter;
graph radius;
subexponential algorithm;
NP-complete;
exponential time hypothesis;
64.
A Model of the Commit Size Distribution of Open Source
机译:
开源的提交规模分布的模型
作者:
Carsten Kolassa
;
Dirk Riehle
;
Michel A. Salim
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
65.
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
机译:
面向对象一阶断声网络的弱算术完整性
作者:
Stijn de Gouw
;
Frank de Boer
;
Wolfgang Ahrendt
;
Richard Bubel
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
66.
Hypermodelling Reporting: Towards Cockpits for Code Structure
机译:
高端报告:用于代码结构的驾驶舱
作者:
Tim Frey
;
Matthias Graef
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
hypermodelling;
software dependency;
project controlling;
67.
Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks
机译:
基于GLM和RBF网络的混合变量进化优化代理模型
作者:
Lukas Bajer
;
Martin Holena
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
surrogate modelling;
RBF networks;
genetic algorithms;
mixed-variables optimization;
continuous and discrete variables;
68.
Core Stability in Hedonic Coalition Formation
机译:
核心联盟形成的核心稳定性
作者:
Gerhard J. Woeginger
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
computational social choice;
computational complexity;
coalition formation;
hedonic game;
69.
Permuted Pattern Matching on Multi-track Strings
机译:
在多轨字符串上匹配的置换模式匹配
作者:
Takashi Katsura
;
Kazuyuki Narisawa
;
Ayumi Shinohara
;
Hideo Bannai
;
Shunsuke Inenaga
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
70.
Online and Quasi-online Colorings of Wedges and Intervals
机译:
楔形和间隔的网上和准网上着色
作者:
Balazs Keszegh
;
Nathan Lemons
;
Doemoetoer Palvoelgyi
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
71.
Coalgebraic Bisimulation-Up-To
机译:
拟恐慌双刺激
作者:
Jurriaan Rot
;
Marcello Bonsangue
;
Jan Rutten
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
72.
SimCo - Hybrid Simulator for Testing of Component Based Applications
机译:
用于测试组件基于组件的应用的Simco - 混合模拟器
作者:
Richard Lipka
;
Tomas Potuzak
;
Premek Brada
;
Pavel Herout
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
software component;
testing;
simulation;
performance;
OSGi;
73.
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
机译:
SOS规则格式,用于IDEMPOTENT术语和IDEMPOTENT UNARE运算符
作者:
Luca Aceto
;
Eugen-Ioan Goriac
;
Anna Ingolfsdottir
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
74.
Generalising and Unifying SLUR and Unit-Refutation Completeness
机译:
普遍和统一诽谤和单位驳斥完整性
作者:
Matthew Gwynne
;
Oliver Kullmann
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
75.
A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations
机译:
内部ary关系的本体设计模式的多维比较
作者:
Aldo Gangemi
;
Valentina Presutti
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
n-ary relations;
ontology design patterns;
76.
Approximating the k-Splittable Capacitated Network Design Problem
机译:
近似k可分配电容网络设计问题
作者:
Ehab Morsy
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
approximation algorithm;
graph algorithm;
routing problems;
network optimization;
77.
Preface
机译:
前言
作者:
Peter van Emde Boas
;
Giuseppe F. Italiano
;
Jerzy Nawrocki
;
Harald Sack
;
Frans C.A. Groen
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
78.
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?
机译:
社交媒体中的动态投票界面:它是否会影响个人投票?
作者:
Michail Tsikerdekis
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
dynamic;
voting;
interface;
social;
media;
design;
79.
ISICIL: Semantics and Social Networks for Business Intelligence
机译:
Isicil:商业智能的语义和社交网络
作者:
Michel Buffa
;
Nicolas Delaforge
;
Guillaume Ereteo
;
Fabien Gandon
;
Alain Giboin
;
Freddy Limpens
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
social semantic web;
business intelligence;
social network;
social network analysis;
folksonomies;
semantic wiki;
80.
An Ontology-Driven Fuzzy Workflow System
机译:
Ontology驱动的模糊工作流系统
作者:
Vaclav Slavicek
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
workflow;
ontology;
fuzzy;
knowledge;
81.
Flow Decompositions in External Memory
机译:
外部存储器中的流量分解
作者:
Maxim Babenko
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
82.
Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information
机译:
利用视觉样式信息从Web上提高关键字提取的相关性
作者:
Milan Lucansky
;
Marian Simko
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
automatic term recognition;
cascade style sheets;
keywords extraction;
web documents processing;
lightweight semantics;
83.
A Model Transformation Language Based on Logic Programming
机译:
一种基于逻辑编程的模型转换语言
作者:
Jesus M. Almendros-Jimenez
;
Luis Iribarne
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
84.
Computing Semantic Similarity Using Large Static Corpora
机译:
使用大型静态语料库计算语义相似性
作者:
Andras Dobo
;
Janos Csirik
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
semantic similarity;
static corpora;
co-occurrence statistics;
85.
On Languages of One-Dimensional Overlapping Tiles
机译:
关于一维重叠瓷砖的语言
作者:
David Janin
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
86.
Theory of Multi Core Hypervisor Verification
机译:
多核管理验证的理论
作者:
Ernie Cohen
;
Wolfgang Paul
;
Sabine Schmaltz
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
87.
Incomplete Transition Complexity of Some Basic Operations
机译:
一些基本操作的不完全转变复杂性
作者:
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
88.
State Coverage: An Empirical Analysis Based on a User Study
机译:
国家报道:基于用户学习的实证分析
作者:
Dries Vanoverberghe
;
Emma Eyckmans
;
Frank Piessens
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2013年
关键词:
state coverage;
test adequacy metric;
user study;
89.
The Parameterized Complexity of Centrality Improvement in Networks
机译:
网络中居民改进的参数化复杂性
作者:
Clemens Hoffmann
;
Hendrik Molter
;
Manuel Sorge
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
90.
The k-Server Problem with Advice in d Dimensions and on the Sphere
机译:
K-Server问题在D维度和球体上的建议
作者:
Elisabet Burjons
;
Dennis Komm
;
Marcel Schoengens
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
关键词:
Online algorithms;
Advice complexity;
k-server problem;
d-dimensional Euclidean space;
Sphere;
Positive curvature;
91.
Global vs. Local Semantics of BPMN 2.0 OR-Join
机译:
全局与本地语义的BPMN 2.0或加入
作者:
Flavio Corradini
;
Chiara Muzi
;
Barbara Re
;
Lorenzo Rossi
;
Francesco Tiezzi
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
92.
Validating Data from Semantic Web Providers
机译:
从语义Web提供商验证数据
作者:
Jacques Chabin
;
Mirian Halfeld-Ferrari
;
Beatrice Markhoff
;
Thanh Binh Nguyen
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
关键词:
Semantic web data;
User quality constraint;
Query rewriting;
93.
LARS: A Logic-Based Framework for Analytic Reasoning over Streams (Extended Abstract)
机译:
LARS:基于逻辑的分析推理框架,用于流媒体(扩展摘要)
作者:
Harald Beck
;
Minh Dao-Tran
;
Thomas Eiter
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
关键词:
Answer Set Programming;
Stream reasoning;
Dynamic data;
94.
Formal Verification and Safety Assessment of a Hemodialysis Machine
机译:
血液透析机的正式验证和安全评估
作者:
Shahid Khan
;
Osman Hasan
;
Atif Mashkoor
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
95.
Fake Review Detection via Exploitation of Spam Indicators and Reviewer Behavior Characteristics
机译:
通过垃圾邮件指示符和审阅者行为特征进行假审查检测
作者:
Ioannis Dematis
;
Eirini Karapistoli
;
Athena Vakali
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
关键词:
Fake review;
Reviewer behavior;
Spam indicators;
96.
Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test
机译:
Quantum记忆通信协议和量子有序二进制决策图的下限和层次结构,重复测试
作者:
Farid Ablayev
;
Andris Ambainis
;
Kamil Khadiev
;
Aliya Khadieva
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
关键词:
Quantum computation;
Communication complexity;
Branching programs;
Binary decision diagrams;
OBDD;
Quantum models;
Hierarchy;
Computational complexity;
97.
External Memory Algorithms for Finding Disjoint Paths in Undirected Graphs
机译:
用于在无向图形中查找不相交路径的外部存储器算法
作者:
Maxim Babenko
;
Ignat Kolesnichenko
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
98.
Automated Change Propagation from Source Code to Sequence Diagrams
机译:
自动更改从源代码到序列图的传播
作者:
Karol Rastocny
;
and Andrej Mlyncar
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
关键词:
UML;
Sequence diagram;
Source code;
Change propagation;
99.
Nivat's Conjecture Holds for Sums of Two Periodic Configurations
机译:
Nivat的猜想持有两个定期配置的总和
作者:
Michal Szabados
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
100.
Transformation of OWL2 Property Axioms to Groovy
机译:
OWL2性能公理的转变为GROOVY
作者:
Bogumi?a Hnatkowska
;
Pawe? Woroniecki
会议名称:
《International conference on current trends in theory and practice of computer science》
|
2018年
关键词:
OWL2;
Groovy;
Transformation rules;
Property;
Symmetry;
Asymmetry;
Transitivity;
Reflexivity;
Irreflexivity;
Functional property;
Inverse functional property;
意见反馈
回到顶部
回到首页