Conferences in DBLP
(tamc) Giorgio Ausiello , Luca Allulli , Vincenzo Bonifaci , Luigi Laura On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairvoyance. [Citation Graph (0, 0)][DBLP ] Conf ] Rudi Cilibrasi , Paul M. B. Vitányi Similarity of Objects and the Meaning of Words. [Citation Graph (0, 0)][DBLP ] Conf ] Rod Downey , Noam Greenberg Totally < omegaomega Computably Enumerable and m -topped Degrees. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Glaßer , Aduri Pavan , Alan L. Selman , Liyu Zhang Mitosis in Computational Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Rathjen Models of Intuitionistic Set Theories over Partial Combinatory Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Alasdair Urquhart Width Versus Size in Resolution Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Chi-Chih Yao Recent Progress in Quantum Computational Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Zhigang Cao , Zhen Wang , Yuzhong Zhang , Shoupeng Liu On Several Scheduling Problems with Rejection or Discretely Compressible Processing Times. [Citation Graph (0, 0)][DBLP ] Conf ] Ai-ling Chen , Zhi-ming Wu , Gen-ke Yang LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing. [Citation Graph (0, 0)][DBLP ] Conf ] Jianxin Chen , Yuhang Yang , Hong Zhu , Peng Zeng A Bounded Item Bin Packing Problem over Discrete Distribution. [Citation Graph (0, 0)][DBLP ] Conf ] Baoqiang Fan , Guochun Tang Scheduling Jobs on a Flexible Batching Machine: Model, Complexity and Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Jianxing Feng , Daming Zhu Faster Algorithms for Sorting by Transpositions and Sorting by Block-Interchanges. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Jin , Hui Wang , Hongan Wang , Guozhong Dai An ACO-Based Approach for Task Assignment and Scheduling of Multiprocessor Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jedrzej Kabarowski , Miroslaw Kutylowski , Wojciech Rutkowski Adversary Immune Size Approximation of Single-Hop Radio Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Chor Ping Low On Load-Balanced Semi-matchings for Weighted Bipartite Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] K. Subramani , John Argentieri Analyzing Chain Programs over Difference Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Xuehou Tan Linear-Time 2-Approximation Algorithm for the Watchman Route Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Wenjun Xiao , Behrooz Parhami Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Yinfeng Xu , Huahai Yan Real Time Critical Edge of the Shortest Path in Transportation Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Bing Yang , S. Q. Zheng Finding Min-Sum Disjoint Shortest Paths from a Single Source to All Pairs of Destinations. [Citation Graph (0, 0)][DBLP ] Conf ] Peng Zhang A New Approximation Algorithm for the k -Facility Location Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Shai Ben-David Alternative Measures of Computational Complexity with Applications to Agnostic Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Beyersdorff Disjoint NP-Pairs from Propositional Proof Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-yi Cai , Vinay Choudhary Valiant's Holant Theorem and Matchgate Tensors. [Citation Graph (0, 0)][DBLP ] Conf ] Zhenyu Chen , Decheng Ding Variable Minimal Unsatisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Ping Gong , Daoyun Xu A New Lower Bound of Critical Function for (k, s)-SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Lane A. Hemaspaandra , Christopher M. Homan , Sven Kosub Cluster Computing and the Power of Edge Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Satyanarayana V. Lokam Quadratic Lower Bounds on Matrix Rigidity. [Citation Graph (0, 0)][DBLP ] Conf ] Andrej Muchnik , Alexander Shen , Nikolai K. Vereshchagin , Michael V. Vyugin Non-reducible Descriptions for Conditional Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] M. V. Panduranga Rao Generalized Counters and Reversal Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Shen Multisource Algorithmic Information Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoming Sun Block Sensitivity of Weakly Symmetric Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Umans Optimization Problems in the Polynomial-Time Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Mingji Xia , Wenbo Zhao #3-Regular Bipartite Planar Vertex Cover is #P-Complete. [Citation Graph (0, 0)][DBLP ] Conf ] Guowu Yang , Xiaoyu Song , William N. N. Hung , Fei Xie , Marek A. Perkowski Group Theory Based Synthesis of Binary Reversible Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Fuxiang Yu On Some Complexity Issues of NC Analytic Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Arpe , Rüdiger Reischuk Learning Juntas in the Presence of Noise. [Citation Graph (0, 0)][DBLP ] Conf ] Chunlin Chen , Daoyi Dong , Zonghai Chen Grey Reinforcement Learning for Incomplete Information Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Marcus Hutter On the Foundations of Universal Sequence Prediction. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Jain , Frank Stephan Some Recent Results in U-Shaped Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Lingzhi Liao , Siwei Luo , Mei Tian , Lianwei Zhao Learning Overcomplete Representations with a Generalized Gaussian Prior. [Citation Graph (0, 0)][DBLP ] Conf ] Rocco A. Servedio On PAC Learning Algorithms for Rich Boolean Function Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Vovk On-Line Regression Competitive with Reproducing Kernel Hilbert Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Zeugmann Inductive Inference and Language Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Danian Zheng , Jiaxin Wang , Yannan Zhao Time Series Predictions Using Multi-scale Support Vector Regressions. [Citation Graph (0, 0)][DBLP ] Conf ] Jianning Bi , Yanda Li Identification and Comparison of Motifs in Brain-Specific and Muscle-Specific Alternative Splicing. [Citation Graph (0, 0)][DBLP ] Conf ] David B. Chandler , Maw-Shang Chang , Antonius J. J. Kloks , Jiping Liu , Sheng-Lung Peng On Probe Permutation Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Wang , Ling-Yun Wu , Xiang-Sun Zhang , Luonan Chen Automatic Classification of Protein Structures Based on Convex Hull Representation by Integrated Neural Network. [Citation Graph (0, 0)][DBLP ] Conf ] Zi-Kai Wu , Yong Wang , En-Min Feng , Jin-Cheng Zhao Protein Structure Comparison Based on a Measure of Information Discrepancy. [Citation Graph (0, 0)][DBLP ] Conf ] Meng Zhang , Jijun Tang , Dong Guo , Liang Hu , Qiang Li Succinct Text Indexes on Large Alphabet. [Citation Graph (0, 0)][DBLP ] Conf ] Haiyong Bao , Zhenfu Cao , Shengbao Wang Identity-Based Threshold Proxy Signature Scheme with Known Signers. [Citation Graph (0, 0)][DBLP ] Conf ] Takaaki Mizuki , Taro Otagiri , Hideaki Sone Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Haiming Chen , Yunmei Dong Towards Practical Computable Functions on Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Ben Cohen , Martin Escardo , Klaus Keimel The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Chuanliang Xia Analysis of Properties of Petri Synthesis Net. [Citation Graph (0, 0)][DBLP ] Conf ] Zaiyue Zhang , Yuefei Sui , Cungen Cao A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yujun Zheng , Jinyun Xue , Weibo Liu Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Conghua Zhou , Decheng Ding Improved SAT Based Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Cosmin Bonchis , Gabriel Ciobanu , Cornel Izbasa Encodings and Arithmetic Operations in Membrane Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Bournez , Manuel Lameiras Campagnolo , Daniel S. Graça , Emmanuel Hainry The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Jérôme Durand-Lose Forecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Kristiansen , Paul J. Voda The Trade-Off Theorem and Fragments of Gödel's T . [Citation Graph (0, 0)][DBLP ] Conf ] Zhi Ma , Xin Lu , Keqin Feng , Dengguo Feng On Non-binary Quantum BCH Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Guowu Yang , Jin Yang , Xiaoyu Song , Fei Xie Maximal Models of Assertion Graph in GSTE. [Citation Graph (0, 0)][DBLP ] Conf ] Bahareh Afshari , George Barmpalias , S. Barry Cooper Immunity Properties and the n -C.E. Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Serikzhan Badaev On Rogers Semilattices. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Jain , Jochen Nessel , Frank Stephan Invertible Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Angsheng Li , Yan Song , Guohua Wu Universal Cupping Degrees. [Citation Graph (0, 0)][DBLP ] Conf ] Angsheng Li , Guohua Wu , Yue Yang On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Solon , Sergey Rozhkov Enumeration Degrees of the Bounded Total Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Mariya Ivanova Soskova A Generic Set That Does Not Bound a Minimal Pair. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Stephan , Liang Yu Lowness for Weakly 1-generic and Kurtz-Random. [Citation Graph (0, 0)][DBLP ] Conf ] Yue Yang , Liang Yu On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey Stukachev On Mass Problems of Presentability. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Weihrauch , Ning Zhong 0002 Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable? [Citation Graph (0, 0)][DBLP ] Conf ] 