Conferences in DBLP
(csr) Boaz Barak Non-black-box Techniques in Cryptography. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kaminski Complexity of Polynomial Multiplication over Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kishinevsky , Jordi Cortadella , Bill Grundmann , Sava Krstic , John O'Leary Synchronous Elastic Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Vikraman Arvind , Bireswar Das SZK Proofs for Black-Box Group Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey V. Avgustinovich , Anna E. Frid Canonical Decomposition of a Regular Factorial Language. [Citation Graph (0, 0)][DBLP ] Conf ] Maxim A. Babenko Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Freiric Barral , Sergei Soloviev Inductive Type Schemas as Functors. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Baudru , Rémi Morin Unfolding Synthesis of Asynchronous Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Pierre Béal , Sylvain Lombardy , Jacques Sakarovitch Conjugacy and Equivalence of Weighted Automata and Functional Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Berman , Martin Fürer , Alexander Zelikovsky Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Beyersdorff Tuples of Disjoint NP-Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Bienvenu Constructive Equivalence Relations on Computable Probability Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Bodini , Thomas Fernique Planar Dimer Tilings. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bodirsky , Jan Kára The Complexity of Equality Constraint Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cégielski , Irène Guessarian , Yury Lifshits , Yuri Matiyasevich Window Subsequence Problems for Compressed Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander L. Chistov Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan S. Dantchev Relativisation Provides Natural Separations for Resolution-Based Proof Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan S. Dantchev , Florent R. Madelaine Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey M. Dudakov Isolation and Reducibility Properties and the Collapse Result. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Gál , Michal Koucký , Pierre McKenzie Incremental Branching Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Evan Goris Logic of Proofs for Bounded Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Grunsky , Oleksiy Kurganskyy , Igor Potapov On a Maximal NFA Without Mergible States. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Hirshfeld , Alexander Moshe Rabinovich Expressiveness of Metric Modalities for Continuous Time. [Citation Graph (0, 0)][DBLP ] Conf ] Leonid Khachiyan , Vladimir Gurvich , Jihui Zhao Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction. [Citation Graph (0, 0)][DBLP ] Conf ] Ingmar Meinecke Weighted Logics for Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Messerschmidt , Friedrich Otto On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone. [Citation Graph (0, 0)][DBLP ] Conf ] Grigori Mints Unwinding a Non-effective Cut Elimination Proof. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Mölle , Stefan Richter , Peter Rossmanith Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei A. Muchnik , Nikolai K. Vereshchagin Shannon Entropy vs. Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Okhotin Language Equations with Symmetric Difference. [Citation Graph (0, 0)][DBLP ] Conf ] Valery Plisko On Primitive Recursive Realizabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Natalia Rubtsova Evidence Reconstruction of Epistemic Modal Logic S5. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Rybakov Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Kalle Saari On the Frequency of Letters in Morphic Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey P. Shlepakov Functional Equations in Shostak Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Tiskin All Semi-local Longest Common Subsequences in Subquadratic Time. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Ustinov Non-approximability of the Randomness Deficiency Function. [Citation Graph (0, 0)][DBLP ] Conf ] Tatiana Yavorskaya Multi-agent Explicit Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Abel Polarized Subtyping for Sized Types. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantin Bournayev Neural-Network Based Physical Fields Modeling Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaogang Dong , Ilya Pollak Approximate Methods for Constrained Total Variation Minimization. [Citation Graph (0, 0)][DBLP ] Conf ] Dina Q. Goldin , Huayan Gao Dynamic Isoline Extraction for Visualization of Streaming Data. [Citation Graph (0, 0)][DBLP ] Conf ] Byung Ryong Kim , Ki-Chang Kim Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback. [Citation Graph (0, 0)][DBLP ] Conf ] Yong-Guk Kim , Min-Soo Jang , Kyoung-Sic Cho , Gwi-Tae Park Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM. [Citation Graph (0, 0)][DBLP ] Conf ] Pasan Kulvanit , Theera Piroonratana , Nachol Chaiyaratana , Djitt Laowattana Evolutionary Multi-objective Optimisation by Diversity Control. [Citation Graph (0, 0)][DBLP ] Conf ] Yeung-hak Lee , Chang-Wook Han 3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaojun Liu , Jie Yang , Hong-bin Shen , Xiangyang Wang A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Loulergue , R. Benheddi , Frédéric Gava , D. Louis-Régis Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. [Citation Graph (0, 0)][DBLP ] Conf ] Feng Lu , Poh-Chin Lai A Shortest Path Algorithm Based on Limited Search Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Guoteng Pan , Lunguo Xie , Qiang Dou , Erhua He A New Hybrid Directory Scheme for Shared Memory Multi-processors. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitry Pavlov Manipulator Path Planning in 3-Dimensional Space. [Citation Graph (0, 0)][DBLP ] Conf ] Rodolfo A. Pazos Rangel , Joaquín Pérez Ortega , José A. Martínez F. , 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. [Citation Graph (0, 0)][DBLP ] Conf ] Sergiy Popov Nonlinear Visualization of Incomplete Data Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Aoun Raza A Review of Race Detection Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Panrasee Ritthipravat , Thavida Maneewarn , Jeremy Wyatt , Djitt Laowattana Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jan-Willem Roorda , Koen Claessen Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Hamid Sarbazi-Azad , Hamid Mahini , Ahmad Patooghy Analytic Modeling of Channel Traffic in n -Cubes. [Citation Graph (0, 0)][DBLP ] Conf ] Pooya Shareghi , Navid Imani , Hamid Sarbazi-Azad Capturing an Intruder in the Pyramid. [Citation Graph (0, 0)][DBLP ] Conf ] Liran Shen , Qingbo Yin , Xueyao Li , Huiqiang Wang Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Sinz , Armin Biere Extended Resolution Proofs for Conjoining BDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir D. Tonchev , Hao Wang Optimal Difference Systems of Sets with Multipliers. [Citation Graph (0, 0)][DBLP ] Conf ] Binod Vaidya , SangDuck Lee , Jae-Kyun Han , Seung Jo Han Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN. [Citation Graph (0, 0)][DBLP ] Conf ] Hao-ming Wang , Ye Guo , Boqin Feng Optimizing Personalized Retrieval System Based on Web Ranking. [Citation Graph (0, 0)][DBLP ] Conf ] Shengning Wu , Sikun Li Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Haoran Zhang , Peng Sun A New Flow Control Algorithm for High Speed Computer Network. [Citation Graph (0, 0)][DBLP ] Conf ] Haoran Zhang , Xiaodong Wang Nonlinear Systems Modeling and Control Using Support Vector Machine Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Zheleva , Abdullah N. Arslan Fast Motif Search in Protein Sequence Databases. [Citation Graph (0, 0)][DBLP ] Conf ] 