首页>外文会议>Conference on Current Trends in Theory and Practice of Computer Science

Conference on Current Trends in Theory and Practice of Computer Science

召开年：2008
召开地：Novy Smokovec(SK)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Untangling a Planar Graph

机译：解开平面图
- 作者：Andreas Spillner;Alexander Wolff
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
2.Quantum Walks with Multiple or Moving Marked Locations

机译：量子行走具有多个或移动的标记位置
- 作者：Andris Ambainis;Alexander Rivosh
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
3.Parallel Immune System for Graph Coloring

机译：用于图形着色的并行免疫系统
- 作者：Jacek Dabrowski
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
4.The Quantum Complexity of Group Testing

机译：组测试的量子复杂性
- 作者：Sebastian Doern;Thomas Thierauf
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
5.Quantum Walks: A Markovian Perspective

机译：量子行走：马尔可夫观点
- 作者：Diego de Falco;Dario Tamascelli
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- continuous-time quantum walks;
- birth-and-death processes;
- sample paths;
6.A Memetic Algorithm for Global Induction ofDecision Trees

机译：决策树全局归纳的模因算法
- 作者：Marek Kretowski
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
7.Geometric Rates of Approximation by Neural Networks

机译：神经网络的几何近似率
- 作者：Vera Kurkova;Marcello Sanguineti
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
8.A Sensitive Metaheuristic for Solving a Large Optimization Problem

机译：解决大型优化问题的敏感元启发式方法
- 作者：Camelia-M. Pintea;Camelia Chira;D. Dumitrescu;Petrica C. Pop
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
9.Domain Name System as a Memory and Communication Medium

机译：域名系统作为存储和通信介质
- 作者：Dusan Bernat
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- DNS;
- CACHE;
- security;
- covert channel;
- memory;
10.Strong Authentication over Lock-Keeper

机译：通过锁守者的强大身份验证
- 作者：Feng Cheng;Christoph Meinel
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
11.Short Ballot Assumption and Threeballot VotingProtocol

机译：简短投票假设和Threeballot投票协议
- 作者：Jacek Cichon;Miroslaw Kutylowski;Bogdan Weglorz
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- e-voting;
- anonymity;
12.Practical Deniable Encryption

机译：实用的可否认加密
- 作者：Marek Klonowski;Przemyslaw Kubiak;Miroslaw Kutylowski
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- deniable encryption;
13.Taming of Pict

机译：驯服Pict
- 作者：Matej Kosik
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
14.Classification, Formalization and Verification of Security Functional Requirements

机译：安全功能需求的分类，形式化和验证
- 作者：Shoichi Morimoto;Shinjiro Shigematsu;Yuichi Goto;Jingdc Cheng
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
15.ONN the Use of Neural Networks for Data Privacy

机译：关于使用神经网络进行数据保密
- 作者：Jordi Pont-Tuset;Pau Medrano-Graeia;Jordi Nin;Josep-L. Larriba-Pey;Victor Muntes-Mulero
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
16.Threshold Privacy Preserving Keyword Searches

机译：阈值隐私保护关键字搜索
- 作者：Peishun Wang;Huaxiong Wang;Josef Pieprzyk
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- keyword search;
- threshold;
- key distribution;
- secure index;
17.3D_XML: A Three-Dimensional XML-Based Model

机译：3D_XML：基于XML的三维模型
- 作者：Khadija Ali;Jaroslav Pokorny
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- XML;
- 3d_xml model;
- transaction time;
- valid time;
- efficacy time;
- xquery;
- three-dimensional element;
- native xml databases;
18.Visual Exploration of RDF Data

机译：RDF数据的可视化探索
- 作者：Jiri Dokulil;Jana Katreniakova
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
19.Creation, Population and Preprocessing ofExperimental Data Sets for Evaluation of Applications for the Semantic Web

机译：用于评估语义网应用程序的实验数据集的创建，填充和预处理
- 作者：Gyoergy Frivolt;Jan Suchal;Richard Vesely;Peter Vojtek;Oto Vozar;Maria Bielikova
- 会议名称：《》 | 2008年
20.Algorithm for Intelligent Prediction of Requests in Business Systems

机译：业务系统中的请求智能预测算法
- 作者：Piotr Kalita;Igor Podolak;Adam Roman;Bartosz Bierkowski
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
21.Mining Personal Social Features in the Community of Email Users

机译：在电子邮件用户社区中挖掘个人社交功能
- 作者：Przemyslaw Kazienko;Katarzyna Musial
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- email communication;
- user ranking;
- social network analysis;
- personal importance;
- social features in community;
22.Proofs of Communication and Its Application for Fighting Spam

机译：通信证明及其在反垃圾邮件中的应用
- 作者：Marek Klonowski;Tomasz Struminski
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
23.Web Pages Reordering and Clustering Based on Web Patterns

机译：基于Web模式的网页重新排序和聚类
- 作者：Milos Kudelka;Vaclav Snasel;Ondrej Lehecka;Eyas El-Qawasmeh;Jaroslav Pokorny
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
24.Quantum Random Walks - New Method for Designing Quantum Algorithms

机译：量子随机游走-设计量子算法的新方法
- 作者：Andris Ambainis
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
25.Social Information Access: The Other Side of the Social Web

机译：社交信息访问：社交网络的另一面
- 作者：Peter Brusilovsky
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
26.Designing Adaptive Web Applications

机译：设计自适应Web应用程序
- 作者：Peter Dolog
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
27.Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa

机译：两者兼有：使用语义Web技术丰富用户与Web的交互，反之亦然
- 作者：Martin Dzbor
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
28.On the Hardness of Reoptimization

机译：关于重新优化的难度
- 作者：Hans-Joachim Boeckenhauer;Juraj Hromkovic;Tobias Moemke;Peter Widmayer
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- reoptimization;
- approximation algorithms;
- inapproxi-mability;
29.Describing Self-assembly of Nanostructures

机译：描述纳米结构的自组装
- 作者：Natasha Jonoska;Gregory L. McColm
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
30.On the Undecidability of the Tiling Problem

机译：关于平铺问题的不确定性
- 作者：Jarkko Kari
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
31.Remote Entrusting by Run-Time Software Authentication

机译：通过运行时软件身份验证进行远程委托
- 作者：Mariano Ceccato;Yoram Ofek;Paolo Tonella
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
32.Trusted Computing -Special Aspects and Challenges

机译：可信计算-特殊方面和挑战
- 作者：Ahmad-Reza Sadeghi
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
33.Optimizing Winning Strategies in Regular Infinite Games

机译：优化常规无限游戏中的获胜策略
- 作者：Wolfgang Thomas
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
34.Recursive Domain Equations of Filter Models

机译：滤波器模型的递归域方程
- 作者：Fabio Alessi;Paula Severi
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
35.Algorithmic Problems for Metrics on PermutationGroups

机译：置换组度量的算法问题
- 作者：V. Arvind;Pushkar S. Joglekar
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
36.Periodic and Infinite Traces in Matrix Semigroups

机译：矩阵半群中的周期和无限迹
- 作者：Paul Bell;Igor Potapov
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
37.From Asynchronous to Synchronous Specifications for Distributed Program Synthesis

机译：从异步到同步规范的分布式程序综合
- 作者：Julien Bernet;David Janin
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
38.Exact OBDD Bounds for Some FundamentalFunctions (Extended Abstract)

机译：某些基本功能的确切OBDD界限（扩展摘要）
- 作者：Beate Bollig;Niko Range;Ingo Wegener
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- computational complexity;
- lower bounds;
- ordered binary decision diagrams;
39.Clustering-Based Similarity Search in Metric Spaces with Sparse Spatial Centers

机译：具有稀疏空间中心的度量空间中基于聚类的相似性搜索
- 作者：Nieves Brisaboa;Oscar Pedreira;Diego Seco;Roberto Solar;Roberto Uribe
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- similarity search;
- metric spaces;
- sparse spatial selection;
- cluster center selection;
40.A Useful Bounded Resource Functional Language

机译：有用的有限资源功能语言
- 作者：Michael J. Burrell;James H. Andrews;Mark Daley
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
41.On Reachability Games of Ordinal Length

机译：关于序数长度的可达性博弈
- 作者：Julien Cristau;Florian Horn
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
42.An Algorithm for Computation of the SceneGeometry by the Log-Polar Area Matching Around Salient Points

机译：通过围绕凸点的对数极化区域匹配来计算SceneGeometry的算法
- 作者：Boguslaw Cyganek
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
43.The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agentsin a Ring

机译：令牌的力量：环形中两个移动代理的集合和对称检测
- 作者：Jurek Czyzowicz;Stefan Dobrev;Evangelos Kranakis;Danny Krizanc
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
44.How Much Information about the Future IsNeeded?

机译：需要多少有关未来的信息？
- 作者：Stefan Dobrev;Rastislav Kralovic;Dana Pardubska
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
45.On Compiling Structured Interactive Programs with Registers and Voices

机译：关于用寄存器和声音编译结构化交互式程序
- 作者：Cezara Dragoi;Ghcorghe Stefanescu
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- interactive systems;
- structured rv-systems;
- programming languages;
- operational semantics;
- registers and voices;
- compiler correctness;
46.Optimal Orientation On-Line

机译：最佳定向在线
- 作者：Lech Duraj;Grzegorz Gutowski
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- on-line algorithms;
- connectivity;
- oriented graphs;
47.Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distancefrom Triviality

机译：间隔数据最小值最大值后悔问题的一些可行实例：与平凡度的有限距离
- 作者：Bruno Escoffier;Jerome Monnot;Olivier Spanjaard
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- robust optimization;
- interval data;
- shortest path;
- spanning tree;
- bipartite perfect matching;
48.Assisted Problem Solving and Decompositions ofFinite Automata

机译：有限自动机的辅助问题解决和分解
- 作者：Peter Gazi;Branislav Rovan
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
49.Energy-Efficient Windows Scheduling

机译：节能Windows计划
- 作者：Christian Gunia
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
50.A New Model to Solve the Swap Matching Problem and Efficient Algorithms for ShortPatterns

机译：解决交换匹配问题的新模型和短模式的高效算法
- 作者：Costas S. Iliopoulos;M. Sohel Rahman
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
51.Certification of Proving Termination of Term Rewriting by Matrix Interpretations

机译：通过矩阵解释证明终止术语重写的证书
- 作者：Adam Koprowski;Hans Zantema
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
52.Extension of Rescheduling Based on MinimalGraph Cut

机译：基于最小图割的重新调度扩展
- 作者：Marian Lekavy;Pavol Navrat
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
53.Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets

机译：从1-Safe Petri网得出交互系统的复杂性结果
- 作者：Mila Majster-Cederbaum;Christoph Minnameier
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
54.Computing Longest Common Substring and All Palindromes from Compressed Strings

机译：从压缩的字符串计算最长的公共子字符串和所有回文
- 作者：Wataru Matsubara;Shunsuke Inenaga;Akira Ishino;Ayumi Shinohara;Tomoyuki Nakamura;Kazuo Hashimoto
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
55.Basic Sets in the Digital Plane

机译：数字飞机中的基本设置
- 作者：Neza Mramor-Kosta;Eva Trenklerova
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- basic sets in the plane;
- digital topology;
56.Algebraic Optimization of Relational Queries with Various Kinds of Preferences

机译：具有各种偏好的关系查询的代数优化
- 作者：Radim Nedbal
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- logic of preference;
- relational query;
- optimization;
57.Mortality Problem for 2×2 Integer Matrices

机译：2×2整数矩阵的死亡率问题
- 作者：C. Nuccio;E. Rodaro
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
58.Element Distinctness and Sorting on One-Tape Off-Line Turing Machines

机译：一卷离线图灵机上的元素区别和分类
- 作者：Holger Petersen
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
59.Improved Bounds for Range Mode and RangeMedian Queries

机译：范围模式和RangeMedian查询的改进边界
- 作者：Holger Petersen
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
60.An Automata Theoretic Approach to Rational Tree Relations

机译：有理树关系的自动机理论方法
- 作者：Frank G. Radmachcr
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
61.Slicing Petri Nets with an Application to Workflow Verification

机译：切片Petri网及其在工作流验证中的应用
- 作者：Astrid Rakow
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- verification;
- net reduction;
- slicing;
- ctl_(-x)~*;
- workflow nets;
62.Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata

机译：部分同步自动机中同步字长度的下界
- 作者：Adam Roman;Wit Forys
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
63.Verifying Parameterized taDOM+ Lock Managers

机译：验证参数化的taDOM +锁定管理器
- 作者：Antti Siirtola;Michal Valenta
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- verification;
- model-checking;
- parameterized systems;
- case study;
- xml databases;
64.Compression of Concatenated Web Pages UsingXBW

机译：使用XBW压缩链接的网页
- 作者：Radovan Sestak;Jan Lansky
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
65.A Highly Efficient XML Compression Schemefor the Web

机译：Web的高效XML压缩方案
- 作者：Przemyslaw Skibinski;Jakub Swacha;Szymon Grabowski
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
- xml compression;
- semi-structural data compression;
- text transform;
- prediction by partial matching;
66.The Dynamic Web Presentations with a Generality Model on the News Domain

机译：新闻领域具有通用性模型的动态Web演示
- 作者：Hyun Woong Shin;Eduard Hovy;Dennis McLeod
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年
67.Improving Semantic Search Via IntegratedPersonalized Faceted and Visual Graph Navigation

机译：通过集成的个性化多面和可视化图形导航改进语义搜索
- 作者：Michal Tvarozek;Michal Barla;Gyoergy Frivolt;Marek Tomsa;Maria Bielikova
- 会议名称：《Conference on Current Trends in Theory and Practice of Computer Science》 | 2008年