CSR 2006:
St. Petersburg,
Russia
Dima Grigoriev, John Harrison, Edward A. Hirsch (Eds.):
Computer Science - Theory and Applications, First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings.
Lecture Notes in Computer Science 3967 Springer 2006, ISBN 3-540-34166-8 BibTeX
Invited Papers
Theory Track
- Vikraman Arvind, Bireswar Das:
SZK Proofs for Black-Box Group Problems.
6-17
Electronic Edition (link) BibTeX
- Sergey V. Avgustinovich, Anna E. Frid:
Canonical Decomposition of a Regular Factorial Language.
18-22
Electronic Edition (link) BibTeX
- Maxim A. Babenko:
Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure.
23-34
Electronic Edition (link) BibTeX
- Freiric Barral, Sergei Soloviev:
Inductive Type Schemas as Functors.
35-45
Electronic Edition (link) BibTeX
- Nicolas Baudru, Rémi Morin:
Unfolding Synthesis of Asynchronous Automata.
46-57
Electronic Edition (link) BibTeX
- Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch:
Conjugacy and Equivalence of Weighted Automata and Functional Transducers.
58-69
Electronic Edition (link) BibTeX
- Piotr Berman, Martin Fürer, Alexander Zelikovsky:
Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees.
70-79
Electronic Edition (link) BibTeX
- Olaf Beyersdorff:
Tuples of Disjoint NP-Sets.
80-91
Electronic Edition (link) BibTeX
- Laurent Bienvenu:
Constructive Equivalence Relations on Computable Probability Measures.
92-103
Electronic Edition (link) BibTeX
- Olivier Bodini, Thomas Fernique:
Planar Dimer Tilings.
104-113
Electronic Edition (link) BibTeX
- Manuel Bodirsky, Jan Kára:
The Complexity of Equality Constraint Languages.
114-126
Electronic Edition (link) BibTeX
- Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich:
Window Subsequence Problems for Compressed Texts.
127-136
Electronic Edition (link) BibTeX
- Alexander L. Chistov:
Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties.
137-146
Electronic Edition (link) BibTeX
- Stefan S. Dantchev:
Relativisation Provides Natural Separations for Resolution-Based Proof Systems.
147-158
Electronic Edition (link) BibTeX
- Stefan S. Dantchev, Florent R. Madelaine:
Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.
159-170
Electronic Edition (link) BibTeX
- Sergey M. Dudakov:
Isolation and Reducibility Properties and the Collapse Result.
171-177
Electronic Edition (link) BibTeX
- Anna Gál, Michal Koucký, Pierre McKenzie:
Incremental Branching Programs.
178-190
Electronic Edition (link) BibTeX
- Evan Goris:
Logic of Proofs for Bounded Arithmetic.
191-201
Electronic Edition (link) BibTeX
- Igor Grunsky, Oleksiy Kurganskyy, Igor Potapov:
On a Maximal NFA Without Mergible States.
202-210
Electronic Edition (link) BibTeX
- Yoram Hirshfeld, Alexander Moshe Rabinovich:
Expressiveness of Metric Modalities for Continuous Time.
211-220
Electronic Edition (link) BibTeX
- Leonid Khachiyan, Vladimir Gurvich, Jihui Zhao:
Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction.
221-234
Electronic Edition (link) BibTeX
- Ingmar Meinecke:
Weighted Logics for Traces.
235-246
Electronic Edition (link) BibTeX
- Hartmut Messerschmidt, Friedrich Otto:
On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone.
247-258
Electronic Edition (link) BibTeX
- Grigori Mints:
Unwinding a Non-effective Cut Elimination Proof.
259-269
Electronic Edition (link) BibTeX
- Daniel Mölle, Stefan Richter, Peter Rossmanith:
Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover.
270-280
Electronic Edition (link) BibTeX
- Andrei A. Muchnik, Nikolai K. Vereshchagin:
Shannon Entropy vs. Kolmogorov Complexity.
281-291
Electronic Edition (link) BibTeX
- Alexander Okhotin:
Language Equations with Symmetric Difference.
292-303
Electronic Edition (link) BibTeX
- Valery Plisko:
On Primitive Recursive Realizabilities.
304-312
Electronic Edition (link) BibTeX
- Natalia Rubtsova:
Evidence Reconstruction of Epistemic Modal Logic S5.
313-321
Electronic Edition (link) BibTeX
- Vladimir V. Rybakov:
Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.
322-333
Electronic Edition (link) BibTeX
- Kalle Saari:
On the Frequency of Letters in Morphic Sequences.
334-345
Electronic Edition (link) BibTeX
- Sergey P. Shlepakov:
Functional Equations in Shostak Theories.
346-351
Electronic Edition (link) BibTeX
- Alexandre Tiskin:
All Semi-local Longest Common Subsequences in Subquadratic Time.
352-363
Electronic Edition (link) BibTeX
- Michael A. Ustinov:
Non-approximability of the Randomness Deficiency Function.
364-368
Electronic Edition (link) BibTeX
- Tatiana Yavorskaya:
Multi-agent Explicit Knowledge.
369-380
Electronic Edition (link) BibTeX
Applications and Technology Track
- Andreas Abel:
Polarized Subtyping for Sized Types.
381-392
Electronic Edition (link) BibTeX
- Konstantin Bournayev:
Neural-Network Based Physical Fields Modeling Techniques.
393-402
Electronic Edition (link) BibTeX
- Xiaogang Dong, Ilya Pollak:
Approximate Methods for Constrained Total Variation Minimization.
403-414
Electronic Edition (link) BibTeX
- Dina Q. Goldin, Huayan Gao:
Dynamic Isoline Extraction for Visualization of Streaming Data.
415-426
Electronic Edition (link) BibTeX
- Byung Ryong Kim, Ki-Chang Kim:
Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback.
427-437
Electronic Edition (link) BibTeX
- Yong-Guk Kim, Min-Soo Jang, Kyoung-Sic Cho, Gwi-Tae Park:
Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM.
438-446
Electronic Edition (link) BibTeX
- Pasan Kulvanit, Theera Piroonratana, Nachol Chaiyaratana, Djitt Laowattana:
Evolutionary Multi-objective Optimisation by Diversity Control.
447-456
Electronic Edition (link) BibTeX
- Yeung-hak Lee, Chang-Wook Han:
3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach.
457-465
Electronic Edition (link) BibTeX
- Xiaojun Liu, Jie Yang, Hong-bin Shen, Xiangyang Wang:
A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity.
466-474
Electronic Edition (link) BibTeX
- Frédéric Loulergue, Radia Benheddi, Frédéric Gava, D. Louis-Régis:
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition.
475-486
Electronic Edition (link) BibTeX
- Feng Lu, Poh-Chin Lai:
A Shortest Path Algorithm Based on Limited Search Heuristics.
487-497
Electronic Edition (link) BibTeX
- Guoteng Pan, Lunguo Xie, Qiang Dou, Erhua He:
A New Hybrid Directory Scheme for Shared Memory Multi-processors.
498-504
Electronic Edition (link) BibTeX
- Dmitry Pavlov:
Manipulator Path Planning in 3-Dimensional Space.
505-513
Electronic Edition (link) BibTeX
- Rodolfo A. Pazos Rangel, Joaquín Pérez Ortega, José A. Martínez Flores, Juan Javier González Barbosa, Mirna P. Ponce F.:
Least Likely to Use: A New Page Replacement Strategy for Improving Database Management System Response Time.
514-523
Electronic Edition (link) BibTeX
- Sergiy Popov:
Nonlinear Visualization of Incomplete Data Sets.
524-533
Electronic Edition (link) BibTeX
- Aoun Raza:
A Review of Race Detection Mechanisms.
534-543
Electronic Edition (link) BibTeX
- Panrasee Ritthipravat, Thavida Maneewarn, Jeremy Wyatt, Djitt Laowattana:
Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis.
544-554
Electronic Edition (link) BibTeX
- Jan-Willem Roorda, Koen Claessen:
Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.
555-566
Electronic Edition (link) BibTeX
- Hamid Sarbazi-Azad, Hamid Mahini, Ahmad Patooghy:
Analytic Modeling of Channel Traffic in n-Cubes.
567-579
Electronic Edition (link) BibTeX
- Pooya Shareghi, Navid Imani, Hamid Sarbazi-Azad:
Capturing an Intruder in the Pyramid.
580-590
Electronic Edition (link) BibTeX
- Liran Shen, Qingbo Yin, Xueyao Li, Huiqiang Wang:
Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition.
591-599
Electronic Edition (link) BibTeX
- Carsten Sinz, Armin Biere:
Extended Resolution Proofs for Conjoining BDDs.
600-611
Electronic Edition (link) BibTeX
- Vladimir D. Tonchev, Hao Wang:
Optimal Difference Systems of Sets with Multipliers.
612-618
Electronic Edition (link) BibTeX
- Binod Vaidya, SangDuck Lee, Jae-Kyun Han, Seung Jo Han:
Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN.
619-628
Electronic Edition (link) BibTeX
- Hao-ming Wang, Ye Guo, Boqin Feng:
Optimizing Personalized Retrieval System Based on Web Ranking.
629-640
Electronic Edition (link) BibTeX
- Shengning Wu, Sikun Li:
Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm.
641-651
Electronic Edition (link) BibTeX
- Haoran Zhang, Peng Sun:
A New Flow Control Algorithm for High Speed Computer Network.
652-659
Electronic Edition (link) BibTeX
- Haoran Zhang, Xiaodong Wang:
Nonlinear Systems Modeling and Control Using Support Vector Machine Technique.
660-669
Electronic Edition (link) BibTeX
- Elena Zheleva, Abdullah N. Arslan:
Fast Motif Search in Protein Sequence Databases.
670-681
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:04:15 2009
by Michael Ley (ley@uni-trier.de)
