首页>外文会议>其他>Seminar on Current Trends in Theory and Practice of Informatics

Seminar on Current Trends in Theory and Practice of Informatics

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Configuration-Based Programming Systems

机译：基于配置的编程系统
- 作者：Valerie Issarny
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
2.On f-Sparse Sets in NP - P

机译：在NP - P中的F稀疏集合
- 作者：Vladimir Glasnak
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
3.Object-Oriented Design Patterns

机译：面向对象的设计模式
- 作者：Wolfgang Pree
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
- Design patterns;
- object-oriented design;
- object-oriented software development;
- frameworks;
- reusability;
4.The Whole Picture to Software Process Improvement

机译：整个图片到软件过程改进
- 作者：Annie Kuntzmann-Combelles
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
5.On Finite Representations of Infinite-State Behaviours

机译：关于无限状态行为的有限表示
- 作者：Antonin Kucera
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
6.Towards Machines That Can Think

机译：迈向可以思考的机器
- 作者：Jiri Wiedermann
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
7.Algorithms for Triangulated Terrains

机译：三角形地形的算法
- 作者：Marc van Kreveld
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
8.A Foundation for Computable Analysis

机译：可计算分析的基础
- 作者：Klaus Weihrauch
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
9.Object-Oriented DBMS and Beyond

机译：面向对象的DBMS和超越
- 作者：Klaus R. Dittrich;Andreas Geppert
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
10.Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications

机译：自动生成面向对象编程语言的并行编译器，来自表示语义规范
- 作者：Prakash K. Muthukrishnan;Barrett R. Bryant
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
11.Approximation Algorithms for the Vertex Bipartization Problem

机译：顶点两分钟问题的近似算法
- 作者：H. Schroder;A. E. May;I. Vrto;O. Sykora
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
12.The Output-Store Formal Translator Directed by LR Parsing

机译：由LR解析指导的输出存储正式翻译
- 作者：Borivoj Melichara
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
13.Kahn's Fixed-Point Characterization for Linear Dynamic Networks

机译：Kahn的线性动态网络的定点表征
- 作者：Shan-Hwei Nienhuys-Cheng;Arie de Bruin
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
14.Requirements Specification Iteratively Combined with Reverse Engineering

机译：要求规范迭代地结合逆向工程
- 作者：P. Kroha;M. Straub
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
15.Path Layout in ATM Networks

机译：ATM网络中的路径布局
- 作者：Shmuel Zaks
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
16.On Integration of Relational and Object-Oriented Database

机译：关于关系和面向对象数据库的集成
- 作者：Maria E Orlowska;Hui Li;Chengfei Liu
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
17.A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema Versioning

机译：在支持架构版本控制的时间关系数据库中的时间谓词锁定的第一种方法
- 作者：Cristina De Castro
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
- Temporal Data;
- Intensional Concurrency;
- Extensional Concurrency;
18.Optimal Trees for Searching in Codebook

机译：用于搜索码本的最佳树木
- 作者：Ivan KopeCek
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
19.Efficient Strong Sequentially Using Replacement Restrictions

机译：使用替换限制顺序高效
- 作者：Salvador Lucas
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
- functional programming;
- neededness;
- replacement restric-tions;
- term rewriting;
20.Optical All-to-All Communication for Some Product Graphs

机译：用于某些产品图形的光学全面通信
- 作者：Heiko Schroder;Ondrej Sykora;Imrich Vrto
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
21.Efficient Insertion of Approximately Sorted Sequences of Items into a Dictionary

机译：高效插入大致排序的物品序列到字典中
- 作者：Carlo Gaibisso;Guido Proietti
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
22.High Availability Support in CORBA Environments

机译：Corba环境中的高可用性支持
- 作者：Pablo Galdamez;Francesc D. Munoz-Escof;Jose M. Bernabeu-Auban
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
23.Computer Chess: Algorithms and Heuristics for a Deep Look into the Future

机译：电脑国际象棋：深入了解未来的算法和启发式
- 作者：Rainer Feldmann
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
24.Stepping Stones to an Information Society

机译：踩到信息社会的石头
- 作者：Jiri Zlatuska
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
25.On the Distributed Realization of Parallel Algorithms

机译：在并行算法的分布式实现
- 作者：Klaus-Jorn Lange
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
26.DESAM - Annotated Corpus for Czech

机译：DESAM - 捷克的注释语料库
- 作者：Karel Pala;Pavel Rychly;Pavel Smrz
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
27.Parallel Processing on Alphas Under MATLAB 5

机译：在Matlab 5下的AlphaS上并行处理
- 作者：Jiri Kadlec
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
28.Lower Bounds for the Virtual Path Layout Problem in ATM Networks

机译：ATM网络中虚拟路径布局问题的下限
- 作者：Luca Becchetti;Carlo Gaibisso
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
29.Optimal Encodings

机译：最佳编码
- 作者：Massimo Marchiori
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
30.The Computational Power of Continuous Time Neural Networks

机译：连续时间神经网络的计算能力
- 作者：Pekka Orponen
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
31.The Mobile Agent Technology

机译：移动代理技术
- 作者：S. Covaci;T. Magedanz
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
32.The Fundamental Problem of Database Design

机译：数据库设计的根本问题
- 作者：J. A. Makowsky;E. V. Ravve
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
33.A Theory of Game Trees, Based on Solution Trees

机译：基于溶液树木的游戏理论
- 作者：Wim Pijls;Arie de Bruin
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
- Game tree search;
- Minimax search;
- Solution trees;
- Alpha-beta;
- SSS;
- MTD;
- (Nega)Scout;
- Proof Number Search;
34.Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service

机译：CORBA的移动性管理：生命周期服务的通用实现
- 作者：Yvan Peter
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
35.Time Optimal Self-Stabilizing Algorithms

机译：时间最佳自我稳定算法
- 作者：Rastislav Kralovic
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
36.Configuration-Based Programming Systems

机译：基于配置的编程系统
- 作者：David A. Duce
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
37.Parallelizing Self-Organizing Maps

机译：并行化自组织地图
- 作者：David Strupl;Roman Neruda
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
38.Monotonic Rewriting Automata with a Restart Operation

机译：单调重写自动机，重启操作
- 作者：Prantisek Mraz;Martin Platek;petr Jancar;Jorg Vogel
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
39.An Introduction to Virtual Reality Modeling Language

机译：虚拟现实建模语言介绍
- 作者：Jiri Zara
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
40.Computational Complexity of Continuous Problems

机译：连续问题的计算复杂性
- 作者：Henryk Wozniakowski
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
41.Zero-Overhead Exception Handling Using Metaprogramming

机译：使用Metaprogramming零开销异常处理
- 作者：Markus Hof;Hanspeter MossenbSck;Peter Pirkelbauer
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
42.Solving and Approximating Combinatorial Optimization Problems (Towards MAX CUT and TSP)

机译：求解和近似组合优化问题（朝向最大切割和TSP）
- 作者：Jarolslav Nesetril;Daniel Turzik
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
43.A Formal Software Engineering Paradigm: Prom Domains via Requirements to Software — Formal Specification Design Calculi -

机译：正式的软件工程范式：通过对软件的要求竞争域 - 正式规格和设计计算 -
- 作者：Dines Bjorner
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
44.Query Processing in Temporal Evidential Databases

机译：在时间证据数据库中查询处理
- 作者：Bingning Dai;David A Bell;John G Hughes
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
45.From OO Through Deduction to Active Databases ROCK, ROLL RAP

机译：从OO通过扣除活动数据库Rock，Roll＆Rap
- 作者：M. H. Williams;N. W. Paton
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年
46.PRAM Lower Bound for Element Distinctness Revisited

机译：RAP下限为元素明显重新审视
- 作者：Petr Kolman
- 会议名称：《Seminar on Current Trends in Theory and Practice of Informatics》 | 1997年