Search results for "CSR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rostislav Deviatov	On Subword Complexity of Morphic Sequences.	CSR	2008	DBLP DOI BibTeX RDF
1	Eric Allender	Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds.	CSR	2008	DBLP DOI BibTeX RDF
1	Ugo Dal Lago, Martin Hofmann 0001	A Semantic Proof of Polytime Soundness of Light Affine Logic.	CSR	2008	DBLP DOI BibTeX RDF
1	Vladimir V. V'yugin	On Sequences with Non-learnable Subsequences.	CSR	2008	DBLP DOI BibTeX RDF
1	Arseny M. Shur	Combinatorial Complexity of Regular Languages.	CSR	2008	DBLP DOI BibTeX RDF
1	Uffe Flarup, Laurent Lyaudet	On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract).	CSR	2008	DBLP DOI BibTeX RDF
1	Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang 0001, Xiaodong Yan	Additive Preconditioning for Matrix Computations.	CSR	2008	DBLP DOI BibTeX RDF	Additive preconditioning, Weak randomization, Matrix computations
1	Edward A. Hirsch, Alexander A. Razborov, Alexei L. Semenov, Anatol Slissenko (eds.)	Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings	CSR	2008	DBLP DOI BibTeX RDF
1	Yury Savateev	Lambek Grammars with One Division Are Decidable in Polynomial Time.	CSR	2008	DBLP DOI BibTeX RDF
1	Markus Bläser, Holger Dell, Johann A. Makowsky	Complexity of the Bollobás-Riordan Polynomial.	CSR	2008	DBLP DOI BibTeX RDF
1	Vladimir V. Podolskii	A Uniform Lower Bound on Weights of Perceptrons.	CSR	2008	DBLP DOI BibTeX RDF
1	Laura Kovács	Invariant Generation for P-Solvable Loops with Assignments.	CSR	2008	DBLP DOI BibTeX RDF
1	Mingyu Xiao 0001	Algorithms for Multiterminal Cuts.	CSR	2008	DBLP DOI BibTeX RDF	Multiterminal Cut, Graph Algorithm, Fixed Parameter Tractability, Multicut
1	Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov	Using Coloured Petri Nets to Model and Verify Telecommunications Systems.	CSR	2008	DBLP DOI BibTeX RDF
1	Enrico Formenti, Jarkko Kari, Siamak Taati	The Most General Conservation Law for a Cellular Automaton.	CSR	2008	DBLP DOI BibTeX RDF
1	Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Kazuhisa Makino, Vladimir Oudalov	A Complete Characterization of Nash-Solvability of Bimatrix Games in Terms of the Exclusion of Certain 2×2 Subgames.	CSR	2008	DBLP DOI BibTeX RDF
1	Melvin Fitting	S4LPand Local Realizability.	CSR	2008	DBLP DOI BibTeX RDF
1	Maxim A. Babenko, Tatiana Starikovskaya	Computing Longest Common Substrings Via Suffix Arrays.	CSR	2008	DBLP DOI BibTeX RDF
1	Arnon Avron, Anna Zamansky	A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.	CSR	2008	DBLP DOI BibTeX RDF
1	Vladimir Shpilrain	Cryptanalysis of Stickel's Key Exchange Scheme.	CSR	2008	DBLP DOI BibTeX RDF
1	Dmitriy Yu. Cherukhin	Lower Bounds for Depth-2 and Depth-3 Boolean Circuits with Arbitrary Gates.	CSR	2008	DBLP DOI BibTeX RDF	complexity, lower bound, Boolean function, circuit, depth, cyclic convolution
1	Avi Wigderson	Randomness - A Computational Complexity Perspective.	CSR	2008	DBLP DOI BibTeX RDF	derandomnization, complexity, randomness, pseudorandom
1	Nicolas Bedon, Alexis Bès, Olivier Carton, Chloe Rispal	Logic and Rational Languages of Words Indexed by Linear Orderings.	CSR	2008	DBLP DOI BibTeX RDF
1	Nutan Limaye, Meena Mahajan, Antoine Meyer	On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.	CSR	2008	DBLP DOI BibTeX RDF
1	Yevgeniy V. Bodyanskiy, Sergiy Popov, Taras Rybalchenko	Multilayer Neuro-fuzzy Network for Short Term Electric Load Forecasting.	CSR	2008	DBLP DOI BibTeX RDF
1	Roman Kuznets	Self-referentiality of Justified Knowledge.	CSR	2008	DBLP DOI BibTeX RDF
1	Pavel Pudlák	Twelve Problems in Proof Complexity.	CSR	2008	DBLP DOI BibTeX RDF
1	Sumit Ganguly	Lower Bounds on Frequency Estimation of Data Streams (Extended Abstract).	CSR	2008	DBLP DOI BibTeX RDF
1	Didier Caucal, Stéphane Hassen	Synchronization of Grammars.	CSR	2008	DBLP DOI BibTeX RDF
1	Marius Zimand	Two Sources Are Better Than One for Increasing the Kolmogorov Complexity of Infinite Sequences.	CSR	2008	DBLP DOI BibTeX RDF	Hausdorff dimension, Kolmogorov complexity
1	Johannes Köbler, Oleg Verbitsky 0001	From Invariants to Canonization in Parallel.	CSR	2008	DBLP DOI BibTeX RDF
1	Reza Moraveji, Hamid Sarbazi-Azad, Abbas Nayebi, Keivan Navi	Performance Modeling of Wormhole Hypermeshes Under Hotspot Traffic.	CSR	2007	DBLP DOI BibTeX RDF	Hypermesh, Hotspot traffic, Interconnection network, Performance modeling
1	Sergey P. Tarasov, Mikhail N. Vyalyi	An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity.	CSR	2007	DBLP DOI BibTeX RDF	algorithm, sparse representation, root of unity, cyclotomic polynomial
1	Artur Jez, Alexander Okhotin	Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth.	CSR	2007	DBLP DOI BibTeX RDF
1	Bogdan Aman, Gabriel Ciobanu	Timers and Proximities for Mobile Ambients.	CSR	2007	DBLP DOI BibTeX RDF
1	Harry Buhrman, Lance Fortnow, Michal Koucký 0001, John D. Rogers, Nikolai K. Vereshchagin	Inverting Onto Functions and Polynomial Hierarchy.	CSR	2007	DBLP DOI BibTeX RDF
1	Andrey Yu. Rumyantsev	Kolmogorov Complexity, Lovász Local Lemma and Critical Exponents.	CSR	2007	DBLP DOI BibTeX RDF
1	Markus Lohrey, Saul Schleimer	Efficient Computation in Groups Via Compression.	CSR	2007	DBLP DOI BibTeX RDF
1	Alexei G. Myasnikov	Generic Complexity of Undecidable Problems.	CSR	2007	DBLP DOI BibTeX RDF
1	Yury Lifshits, Dirk Nowotka	Estimation of the Click Volume by Large Scale Regression Analysis.	CSR	2007	DBLP DOI BibTeX RDF
1	Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka	Maximal Intersection Queries in Randomized Graph Models.	CSR	2007	DBLP DOI BibTeX RDF
1	Meena Mahajan, Jayalal Sarma	On the Complexity of Matrix Rank and Rigidity.	CSR	2007	DBLP DOI BibTeX RDF
1	Sylvain Perifel	Symmetry of Information and Nonuniform Lower Bounds.	CSR	2007	DBLP DOI BibTeX RDF	nonuniform lower bounds, resource-bounded Kolmogorov complexity, symmetry of information, computational complexity
1	Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr	Equivalence Problems for Circuits over Sets of Natural Numbers.	CSR	2007	DBLP DOI BibTeX RDF
1	Alexei Lysenko	Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization.	CSR	2007	DBLP DOI BibTeX RDF	secret image partition, pseudorandom partition, loss of synchronization problem, digital image watermarking
1	Robin Sharp, Michael R. Hansen	Timed Traces and Strand Spaces.	CSR	2007	DBLP DOI BibTeX RDF	verification, real-time, Security protocols, interval logic
1	Mark Sh. Levin	Towards Hierarchical Clustering (Extended Abstract).	CSR	2007	DBLP DOI BibTeX RDF	agglomerative algorithm, hierarchy, system architecture, Hierarchical clustering, multicriteria analysis
1	Volker Diekert, Mikhail V. Volkov 0001, Andrei Voronkov (eds.)	Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings	CSR	2007	DBLP DOI BibTeX RDF
1	Ziyad Hanna	Abstract Modeling and Formal Verification of Microprocessors.	CSR	2007	DBLP DOI BibTeX RDF
1	Scott Aaronson	The Limits of Quantum Computers.	CSR	2007	DBLP DOI BibTeX RDF
1	Alexander N. Rybalov	Generic Complexity of Presburger Arithmetic.	CSR	2007	DBLP DOI BibTeX RDF
1	Dominique Cansell, Dominique Méry	Proved-Patterns-Based Development for Structured Programs.	CSR	2007	DBLP DOI BibTeX RDF
1	Alexei Lisitsa 0001, Andrei P. Nemytykh	A Note on Specialization of Interpreters.	CSR	2007	DBLP DOI BibTeX RDF	program verification, cache coherence protocols, Program specialization, supercompilation
1	Maxim A. Babenko	A Fast Algorithm for Path 2-Packing Problem.	CSR	2007	DBLP DOI BibTeX RDF
1	Kalle Saari	Everywhere alpha -Repetitive Sequences and Sturmian Words.	CSR	2007	DBLP DOI BibTeX RDF	Everywhere ?-repetitive sequence, ?-power, squareful sequence, overlapful sequence, Sturmian word
1	Rajeev Alur	Marrying Words and Trees.	CSR	2007	DBLP DOI BibTeX RDF
1	Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena Mahajan	Planarity, Determinants, Permanents, and (Unique) Matchings.	CSR	2007	DBLP DOI BibTeX RDF
1	Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen	Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems.	CSR	2007	DBLP DOI BibTeX RDF	maximum constraint satisfaction, complexity, approximability
1	Vladimir V. Podolskii	Perceptrons of Large Weight.	CSR	2007	DBLP DOI BibTeX RDF
1	Victor S. Grishchenko	Bouillon: A Wiki-Wiki Social Web.	CSR	2007	DBLP DOI BibTeX RDF
1	Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama	Reversible Machine Code and Its Abstract Processor Architecture.	CSR	2007	DBLP DOI BibTeX RDF
1	Jorge R. Manjarrez Sanchez, José Martinez 0001, Patrick Valduriez	On the Usage of Clustering for Content Based Image Retrieval.	CSR	2007	DBLP DOI BibTeX RDF
1	Victor Poupet	A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes.	CSR	2007	DBLP DOI BibTeX RDF
1	Bernhard Heinemann	A PDL-Like Logic of Knowledge Acquisition.	CSR	2007	DBLP DOI BibTeX RDF	knowledge acquisition, topological reasoning, propositional dynamic logic, logics of knowledge
1	Alexander S. Kulikov, Konstantin Kutzkov	New Bounds for MAX-SAT by Clause Learning.	CSR	2007	DBLP DOI BibTeX RDF
1	Yuri Gurevich	Proving Church's Thesis.	CSR	2007	DBLP DOI BibTeX RDF
1	Vladimir V. V'yugin	On Empirical Meaning of Randomness with Respect to a Real Parameter.	CSR	2007	DBLP DOI BibTeX RDF
1	Navid Imani, Hamid Sarbazi-Azad, Selim G. Akl	Resource Placement in Networks Using Chromatic Sets of Power Graphs.	CSR	2007	DBLP DOI BibTeX RDF	Symmetric graphs, Power graphs, Interconnection networks, Chromatic number, Resource placement
1	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov	Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.	CSR	2007	DBLP DOI BibTeX RDF
1	Geoff Sutcliffe	TPTP, TSTP, CASC, etc.	CSR	2007	DBLP DOI BibTeX RDF
1	Ehsan Amiri, Evgeny S. Skvortsov	Pushing Random Walk Beyond Golden Ratio.	CSR	2007	DBLP DOI BibTeX RDF
1	Danièle Beauquier, Marie Duflot, Yury Lifshits	Decidability of Parameterized Probabilistic Information Flow.	CSR	2007	DBLP DOI BibTeX RDF
1	Géraud Sénizergues	Sequences of Level 1, 2, 3, ..., k , ...	CSR	2007	DBLP DOI BibTeX RDF	Iterated pushdown automata, recurrent sequences equivalence problems
1	Laurent Bienvenu	Constructive Equivalence Relations on Computable Probability Measures.	CSR	2006	DBLP DOI BibTeX RDF
1	Sergey P. Shlepakov	Functional Equations in Shostak Theories.	CSR	2006	DBLP DOI BibTeX RDF
1	Valery Plisko	On Primitive Recursive Realizabilities.	CSR	2006	DBLP DOI BibTeX RDF
1	Natalia Rubtsova	Evidence Reconstruction of Epistemic Modal Logic S5.	CSR	2006	DBLP DOI BibTeX RDF
1	Michael Kaminski	Complexity of Polynomial Multiplication over Finite Fields.	CSR	2006	DBLP DOI BibTeX RDF
1	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.	CSR	2006	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
1	Feng Lu 0004, Poh-Chin Lai	A Shortest Path Algorithm Based on Limited Search Heuristics.	CSR	2006	DBLP DOI BibTeX RDF	heuristic, road network, shortest path algorithm
1	Alexandre Tiskin	All Semi-local Longest Common Subsequences in Subquadratic Time.	CSR	2006	DBLP DOI BibTeX RDF
1	Yeung-hak Lee, Chang-Wook Han	3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach.	CSR	2006	DBLP DOI BibTeX RDF
1	Ingmar Meinecke	Weighted Logics for Traces.	CSR	2006	DBLP DOI BibTeX RDF
1	Sergey V. Avgustinovich, Anna E. Frid	Canonical Decomposition of a Regular Factorial Language.	CSR	2006	DBLP DOI BibTeX RDF
1	Andrei A. Muchnik, Nikolai K. Vereshchagin	Shannon Entropy vs. Kolmogorov Complexity.	CSR	2006	DBLP DOI BibTeX RDF
1	Evan Goris	Logic of Proofs for Bounded Arithmetic.	CSR	2006	DBLP DOI BibTeX RDF
1	Olaf Beyersdorff	Tuples of Disjoint NP-Sets.	CSR	2006	DBLP DOI BibTeX RDF
1	Xiaogang Dong, Ilya Pollak	Approximate Methods for Constrained Total Variation Minimization.	CSR	2006	DBLP DOI BibTeX RDF
1	Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch	Conjugacy and Equivalence of Weighted Automata and Functional Transducers.	CSR	2006	DBLP DOI BibTeX RDF
1	Hamid Sarbazi-Azad, Hamid Mahini, Ahmad Patooghy	Analytic Modeling of Channel Traffic in n-Cubes.	CSR	2006	DBLP DOI BibTeX RDF
1	Olivier Bodini, Thomas Fernique	Planar Dimer Tilings.	CSR	2006	DBLP DOI BibTeX RDF
1	Haoran Zhang, Peng Sun	A New Flow Control Algorithm for High Speed Computer Network.	CSR	2006	DBLP DOI BibTeX RDF
1	Guoteng Pan, Lunguo Xie, Qiang Dou, Erhua He	A New Hybrid Directory Scheme for Shared Memory Multi-processors.	CSR	2006	DBLP DOI BibTeX RDF
1	Dmitry Pavlov	Manipulator Path Planning in 3-Dimensional Space.	CSR	2006	DBLP DOI BibTeX RDF
1	Yong-Guk Kim, Min-Soo Jang, Kyoung-Sic Cho, Gwi-Tae Park	Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM.	CSR	2006	DBLP DOI BibTeX RDF
1	Xiaojun Liu, Jie Yang 0002, Hong-Bin Shen, Xiangyang Wang	A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity.	CSR	2006	DBLP DOI BibTeX RDF
1	Aoun Raza	A Review of Race Detection Mechanisms.	CSR	2006	DBLP DOI BibTeX RDF
1	Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri V. Matiyasevich	Window Subsequence Problems for Compressed Texts.	CSR	2006	DBLP DOI BibTeX RDF
1	Jan-Willem Roorda, Koen Claessen	Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.	CSR	2006	DBLP DOI BibTeX RDF

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