Search results for "CSR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sergey M. Dudakov	Isolation and Reducibility Properties and the Collapse Result.	CSR	2006	DBLP DOI BibTeX RDF
1	Liran Shen, Qingbo Yin, Xueyao Li, Huiqiang Wang	Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition.	CSR	2006	DBLP DOI BibTeX RDF
1	Kalle Saari	On the Frequency of Letters in Morphic Sequences.	CSR	2006	DBLP DOI BibTeX RDF	Morphic sequences, HD0L sequences, Frequency of letters, Incidence matrix, Simple generator
1	Leonid Khachiyan, Vladimir Gurvich, Jihui Zhao	Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction.	CSR	2006	DBLP DOI BibTeX RDF
1	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	CSR	2006	DBLP DOI BibTeX RDF	Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
1	Rodolfo A. Pazos Rangel, Joaquín Pérez Ortega, José Antonio 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.	CSR	2006	DBLP DOI BibTeX RDF
1	Binod Vaidya, SangDuck Lee, Jae-Kyun Han, Seung Jo Han	Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN.	CSR	2006	DBLP DOI BibTeX RDF
1	Andreas Abel 0001	Polarized Subtyping for Sized Types.	CSR	2006	DBLP DOI BibTeX RDF
1	Hartmut Messerschmidt, Friedrich Otto	On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone.	CSR	2006	DBLP DOI BibTeX RDF
1	Carsten Sinz, Armin Biere	Extended Resolution Proofs for Conjoining BDDs.	CSR	2006	DBLP DOI BibTeX RDF
1	Haoran Zhang 0001, Xiaodong Wang 0005	Nonlinear Systems Modeling and Control Using Support Vector Machine Technique.	CSR	2006	DBLP DOI BibTeX RDF
1	Shengning Wu, Sikun Li	Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm.	CSR	2006	DBLP DOI BibTeX RDF
1	Tatiana Yavorskaya	Multi-agent Explicit Knowledge.	CSR	2006	DBLP DOI BibTeX RDF
1	Hao-ming Wang, Ye Guo, Boqin Feng	Optimizing Personalized Retrieval System Based on Web Ranking.	CSR	2006	DBLP DOI BibTeX RDF
1	Byung Ryong Kim, Ki-Chang Kim	Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback.	CSR	2006	DBLP DOI BibTeX RDF
1	Pasan Kulvanit, Theera Piroonratana, Nachol Chaiyaratana, Djitt Laowattana	Evolutionary Multi-objective Optimisation by Diversity Control.	CSR	2006	DBLP DOI BibTeX RDF
1	Igor Grunsky, Oleksiy Kurganskyy, Igor Potapov	On a Maximal NFA Without Mergible States.	CSR	2006	DBLP DOI BibTeX RDF
1	Pooya Shareghi, Navid Imani, Hamid Sarbazi-Azad	Capturing an Intruder in the Pyramid.	CSR	2006	DBLP DOI BibTeX RDF
1	Panrasee Ritthipravat, Thavida Maneewarn, Jeremy L. Wyatt, Djitt Laowattana	Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis.	CSR	2006	DBLP DOI BibTeX RDF
1	Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary	Synchronous Elastic Circuits.	CSR	2006	DBLP DOI BibTeX RDF
1	Maxim A. Babenko	Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure.	CSR	2006	DBLP DOI BibTeX RDF
1	Vikraman Arvind, Bireswar Das	SZK Proofs for Black-Box Group Problems.	CSR	2006	DBLP DOI BibTeX RDF
1	Daniel Mölle, Stefan Richter 0001, Peter Rossmanith	Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover.	CSR	2006	DBLP DOI BibTeX RDF
1	Alexander Okhotin	Language Equations with Symmetric Difference.	CSR	2006	DBLP DOI BibTeX RDF
1	Sergiy Popov	Nonlinear Visualization of Incomplete Data Sets.	CSR	2006	DBLP DOI BibTeX RDF
1	Stefan S. Dantchev, Florent R. Madelaine	Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.	CSR	2006	DBLP DOI BibTeX RDF	Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
1	Anna Gál, Michal Koucký 0001, Pierre McKenzie	Incremental Branching Programs.	CSR	2006	DBLP DOI BibTeX RDF
1	Yoram Hirshfeld, Alexander Moshe Rabinovich	Expressiveness of Metric Modalities for Continuous Time.	CSR	2006	DBLP DOI BibTeX RDF
1	Grigori Mints	Unwinding a Non-effective Cut Elimination Proof.	CSR	2006	DBLP DOI BibTeX RDF
1	Dima Grigoriev, John Harrison 0001, Edward A. Hirsch (eds.)	Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings	CSR	2006	DBLP DOI BibTeX RDF
1	Boaz Barak	Non-black-box Techniques in Cryptography.	CSR	2006	DBLP DOI BibTeX RDF
1	Alexander L. Chistov	Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties.	CSR	2006	DBLP DOI BibTeX RDF
1	Michael A. Ustinov	Non-approximability of the Randomness Deficiency Function.	CSR	2006	DBLP DOI BibTeX RDF
1	Nicolas Baudru, Rémi Morin	Unfolding Synthesis of Asynchronous Automata.	CSR	2006	DBLP DOI BibTeX RDF
1	Piotr Berman, Martin Fürer, Alexander Zelikovsky	Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees.	CSR	2006	DBLP DOI BibTeX RDF	parity matroid problem, Steiner trees, matroid, approximation ratio
1	Dina Q. Goldin, Huayan Gao	Dynamic Isoline Extraction for Visualization of Streaming Data.	CSR	2006	DBLP DOI BibTeX RDF
1	Konstantin Bournayev	Neural-Network Based Physical Fields Modeling Techniques.	CSR	2006	DBLP DOI BibTeX RDF
1	Stefan S. Dantchev	Relativisation Provides Natural Separations for Resolution-Based Proof Systems.	CSR	2006	DBLP DOI BibTeX RDF
1	Elena Zheleva, Abdullah N. Arslan	Fast Motif Search in Protein Sequence Databases.	CSR	2006	DBLP DOI BibTeX RDF	motif search, PROSITE pattern, heuristic, suffix tree, preprocessing, regular expression matching
1	Vladimir D. Tonchev, Hao Wang	Optimal Difference Systems of Sets with Multipliers.	CSR	2006	DBLP DOI BibTeX RDF	code synchronization, comma-free code, multiplier, cyclic difference set
1	Freiric Barral, Sergei Soloviev 0001	Inductive Type Schemas as Functors.	CSR	2006	DBLP DOI BibTeX RDF

Publications at "CSR"( http://dblp.L3S.de/Venues/CSR )