TAMC C

76 papers

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