Search results for "TAMC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Angsheng Li	Elementary Differences Among Jump Hierarchies.	TAMC	2007	DBLP DOI BibTeX RDF
1	Florian Diedrich, Rolf Harren, Klaus Jansen, Ralf Thöle, Henning Thomas	Approximation Algorithms for 3D Orthogonal Knapsack.	TAMC	2007	DBLP DOI BibTeX RDF
1	Shi-Hui Pei, Yong-Zhe Zhao, Hong-Wei Zhao	Construct Public Key Encryption Scheme Using Ergodic Matrices over GF(2).	TAMC	2007	DBLP DOI BibTeX RDF
1	Boting Yang, Yi Cao	Directed Searching Digraphs: Monotonicity and Complexity.	TAMC	2007	DBLP DOI BibTeX RDF
1	Xin Li 0051, Tian Liu 0001, Han Peng, Liyan Qian, Hongtao Sun, Jin Xu 0002, Ke Xu 0001, Jiaqi Zhu	Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model.	TAMC	2007	DBLP DOI BibTeX RDF
1	Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai	A Time Hierarchy Theorem for Nondeterministic Cellular Automata.	TAMC	2007	DBLP DOI BibTeX RDF
1	Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone	Secure Multiparty Computations Using a Dial Lock.	TAMC	2007	DBLP DOI BibTeX RDF
1	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A Note on the Feasibility of Generalized Universal Composability.	TAMC	2007	DBLP DOI BibTeX RDF
1	Zhimin Li, Xiang Li	Learnable Algorithm on the Continuum.	TAMC	2007	DBLP DOI BibTeX RDF
1	Sun-Yuan Hsieh	Path Embedding on Folded Hypercubes.	TAMC	2007	DBLP DOI BibTeX RDF
1	George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova	Working with the LR Degrees.	TAMC	2007	DBLP DOI BibTeX RDF
1	Mingji Xia	Maximum Edge-Disjoint Paths Problem in Planar Graphs.	TAMC	2007	DBLP DOI BibTeX RDF	maximum edge-disjoint paths, #P-hard, determinant
1	Mariya Ivanova Soskova, S. Barry Cooper	The Strongest Nonsplitting Theorem.	TAMC	2007	DBLP DOI BibTeX RDF
1	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A Note on Universal Composable Zero Knowledge in Common Reference String Model.	TAMC	2007	DBLP DOI BibTeX RDF
1	Yufeng Wang 0001, Yoshiaki Hori, Kouichi Sakurai	Studying on Economic-Inspired Mechanisms for Routing and Forwarding in Wireless Ad Hoc Network.	TAMC	2007	DBLP DOI BibTeX RDF
1	Miklós Ajtai	Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures.	TAMC	2007	DBLP DOI BibTeX RDF
1	Michael Dom, Jiong Guo, Rolf Niedermeier	Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems.	TAMC	2007	DBLP DOI BibTeX RDF
1	Wangsen Feng, Li'ang Zhang, Wanling Qu, Hanpin Wang	Approximation Algorithms for Maximum Edge Coloring Problem.	TAMC	2007	DBLP DOI BibTeX RDF
1	Wenbo Zhao 0001, Peng Zhang 0008	Approximation to the Minimum Rooted Star Cover Problem.	TAMC	2007	DBLP DOI BibTeX RDF	Minimum Rooted Star Cover, Approximation Algorithm
1	Sheng-Lung Peng, Yi-Chuan Yang	On the Treewidth and Pathwidth of Biconvex Bipartite Graphs.	TAMC	2007	DBLP DOI BibTeX RDF
1	Akifumi Kawaguchi, Hiroshi Nagamochi	Orthogonal Drawings for Plane Graphs with Specified Face Areas.	TAMC	2007	DBLP DOI BibTeX RDF
1	A. N. Trahtman	Synchronization of Some DFA.	TAMC	2007	DBLP DOI BibTeX RDF	aperiodic semigroup, ?erny conjecture, synchronization, Deterministic finite automata
1	Fanyu Kong, Jia Yu 0003, Zhun Cai, Daxing Li	New Left-to-Right Radix- r Signed-Digit Recoding Algorithm for Pairing-Based Cryptosystems.	TAMC	2007	DBLP DOI BibTeX RDF	Elliptic curve cryptosystems, pairing-based cryptosystems, point multiplication, signed-digit number representations
1	Danian Zheng, Jiaxin Wang, Yannan Zhao	Time Series Predictions Using Multi-scale Support Vector Regressions.	TAMC	2006	DBLP DOI BibTeX RDF
1	Angsheng Li, Guohua Wu, Yue Yang 0004	On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal.	TAMC	2006	DBLP DOI BibTeX RDF
1	Yong Wang 0001, Ling-Yun Wu, Xiang-Sun Zhang, Luonan Chen	Automatic Classification of Protein Structures Based on Convex Hull Representation by Integrated Neural Network.	TAMC	2006	DBLP DOI BibTeX RDF
1	Takaaki Mizuki, Taro Otagiri, Hideaki Sone	Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions.	TAMC	2006	DBLP DOI BibTeX RDF
1	Wenjun Xiao, Behrooz Parhami	Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks.	TAMC	2006	DBLP DOI BibTeX RDF
1	Rocco A. Servedio	On PAC Learning Algorithms for Rich Boolean Function Classes.	TAMC	2006	DBLP DOI BibTeX RDF
1	Sanjay Jain 0001, Frank Stephan 0001	Some Recent Results in U-Shaped Learning.	TAMC	2006	DBLP DOI BibTeX RDF
1	Vladimir Vovk	On-Line Regression Competitive with Reproducing Kernel Hilbert Spaces.	TAMC	2006	DBLP DOI BibTeX RDF
1	Meng Zhang 0006, Jijun Tang, Dong Guo 0002, Liang Hu 0001, Qiang Li 0008	Succinct Text Indexes on Large Alphabet.	TAMC	2006	DBLP DOI BibTeX RDF
1	Zhenyu Chen 0001, Decheng Ding	Variable Minimal Unsatisfiability.	TAMC	2006	DBLP DOI BibTeX RDF
1	Jianning Bi, Yanda Li	Identification and Comparison of Motifs in Brain-Specific and Muscle-Specific Alternative Splicing.	TAMC	2006	DBLP DOI BibTeX RDF
1	Chor Ping Low	On Load-Balanced Semi-matchings for Weighted Bipartite Graphs.	TAMC	2006	DBLP DOI BibTeX RDF	semi-matching, approximation algorithm, load balancing, NP-hard, bipartite graphs
1	Olaf Beyersdorff	Disjoint NP-Pairs from Propositional Proof Systems.	TAMC	2006	DBLP DOI BibTeX RDF
1	Lingzhi Liao, Siwei Luo, Mei Tian, Lianwei Zhao	Learning Overcomplete Representations with a Generalized Gaussian Prior.	TAMC	2006	DBLP DOI BibTeX RDF
1	Zhi Ma, Xin Lu, Keqin Feng, Dengguo Feng	On Non-binary Quantum BCH Codes.	TAMC	2006	DBLP DOI BibTeX RDF
1	Serikzhan A. Badaev	On Rogers Semilattices.	TAMC	2006	DBLP DOI BibTeX RDF
1	Marcus Hutter	On the Foundations of Universal Sequence Prediction.	TAMC	2006	DBLP DOI BibTeX RDF
1	Yue Yang 0004, Liang Yu	On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies.	TAMC	2006	DBLP DOI BibTeX RDF
1	Andrew Chi-Chih Yao	Recent Progress in Quantum Computational Complexity.	TAMC	2006	DBLP DOI BibTeX RDF
1	Zikai Wu, Yong Wang 0001, En-Min Feng, Jin-Cheng Zhao	Protein Structure Comparison Based on a Measure of Information Discrepancy.	TAMC	2006	DBLP DOI BibTeX RDF
1	Jin-yi Cai, Vinay Choudhary	Valiant's Holant Theorem and Matchgate Tensors.	TAMC	2006	DBLP DOI BibTeX RDF
1	Haiming Chen, Yunmei Dong	Towards Practical Computable Functions on Context-Free Languages.	TAMC	2006	DBLP DOI BibTeX RDF	computability, operator, structured data, context-free language, recursive function
1	Jan Arpe, Rüdiger Reischuk	Learning Juntas in the Presence of Noise.	TAMC	2006	DBLP DOI BibTeX RDF
1	Fuxiang Yu	On Some Complexity Issues of NC Analytic Functions.	TAMC	2006	DBLP DOI BibTeX RDF
1	Shai Ben-David	Alternative Measures of Computational Complexity with Applications to Agnostic Learning.	TAMC	2006	DBLP DOI BibTeX RDF
1	Jérôme Durand-Lose	Forecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable.	TAMC	2006	DBLP DOI BibTeX RDF
1	David B. Chandler, Maw-Shang Chang, Antonius J. J. Kloks, Jiping Liu, Sheng-Lung Peng	On Probe Permutation Graphs.	TAMC	2006	DBLP DOI BibTeX RDF
1	Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski	Group Theory Based Synthesis of Binary Reversible Circuits.	TAMC	2006	DBLP DOI BibTeX RDF
1	Xiaoming Sun 0001	Block Sensitivity of Weakly Symmetric Functions.	TAMC	2006	DBLP DOI BibTeX RDF
1	Xuehou Tan	Linear-Time 2-Approximation Algorithm for the Watchman Route Problem.	TAMC	2006	DBLP DOI BibTeX RDF
1	Zhigang Cao, Zhen Wang, Yuzhong Zhang, Shoupeng Liu	On Several Scheduling Problems with Rejection or Discretely Compressible Processing Times.	TAMC	2006	DBLP DOI BibTeX RDF
1	Peng Zhang 0008	A New Approximation Algorithm for the k-Facility Location Problem.	TAMC	2006	DBLP DOI BibTeX RDF
1	Bahareh Afshari, George Barmpalias, S. Barry Cooper	Immunity Properties and the n-C.E. Hierarchy.	TAMC	2006	DBLP DOI BibTeX RDF
1	Jedrzej Kabarowski, Miroslaw Kutylowski, Wojciech Rutkowski	Adversary Immune Size Approximation of Single-Hop Radio Networks.	TAMC	2006	DBLP DOI BibTeX RDF
1	K. Subramani 0001, John Argentieri	Analyzing Chain Programs over Difference Constraints.	TAMC	2006	DBLP DOI BibTeX RDF
1	Lane A. Hemaspaandra, Christopher M. Homan, Sven Kosub	Cluster Computing and the Power of Edge Recognition.	TAMC	2006	DBLP DOI BibTeX RDF
1	M. V. Panduranga Rao	Generalized Counters and Reversal Complexity.	TAMC	2006	DBLP DOI BibTeX RDF
1	Rudi Cilibrasi, Paul M. B. Vitányi	Similarity of Objects and the Meaning of Words.	TAMC	2006	DBLP DOI BibTeX RDF
1	Ping Gong 0004, Daoyun Xu	A New Lower Bound of Critical Function for (k, s)-SAT.	TAMC	2006	DBLP DOI BibTeX RDF
1	Olivier Bournez, Manuel Lameiras Campagnolo, Daniel Silva Graça, Emmanuel Hainry	The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation.	TAMC	2006	DBLP DOI BibTeX RDF
1	Chuanliang Xia	Analysis of Properties of Petri Synthesis Net.	TAMC	2006	DBLP DOI BibTeX RDF	liveness and boundedness, Petri nets, synthesis, analysis
1	Ai-ling Chen, Zhi-Ming Wu, Gen-ke Yang	LS-SVM Based on Chaotic Particle Swarm Optimization with Simulated Annealing.	TAMC	2006	DBLP DOI BibTeX RDF
1	Mariya Ivanova Soskova	A Generic Set That Does Not Bound a Minimal Pair.	TAMC	2006	DBLP DOI BibTeX RDF
1	Yujun Zheng 0001, Jinyun Xue, Weibo Liu	Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.	TAMC	2006	DBLP DOI BibTeX RDF
1	Thomas Zeugmann	Inductive Inference and Language Learning.	TAMC	2006	DBLP DOI BibTeX RDF
1	Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001	A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.	TAMC	2006	DBLP DOI BibTeX RDF	double priority, tree method, logic programs
1	Chunlin Chen, Daoyi Dong, Zonghai Chen	Grey Reinforcement Learning for Incomplete Information Processing.	TAMC	2006	DBLP DOI BibTeX RDF
1	Jianxin Chen, Yuhang Yang, Hong Zhu, Peng Zeng	A Bounded Item Bin Packing Problem over Discrete Distribution.	TAMC	2006	DBLP DOI BibTeX RDF
1	Lars Kristiansen, Paul J. Voda	The Trade-Off Theorem and Fragments of Gödel's T.	TAMC	2006	DBLP DOI BibTeX RDF
1	Sanjay Jain 0001, Jochen Nessel, Frank Stephan 0001	Invertible Classes.	TAMC	2006	DBLP DOI BibTeX RDF
1	Satyanarayana V. Lokam	Quadratic Lower Bounds on Matrix Rigidity.	TAMC	2006	DBLP DOI BibTeX RDF
1	Christopher Umans	Optimization Problems in the Polynomial-Time Hierarchy.	TAMC	2006	DBLP DOI BibTeX RDF
1	Hong Jin, Henry (Hui) Wang, Hongan Wang, Guozhong Dai	An ACO-Based Approach for Task Assignment and Scheduling of Multiprocessor Control Systems.	TAMC	2006	DBLP DOI BibTeX RDF
1	Bing Yang 0001, S. Q. Zheng 0001	Finding Min-Sum Disjoint Shortest Paths from a Single Source to All Pairs of Destinations.	TAMC	2006	DBLP DOI BibTeX RDF	algorithm, routing, reliability, complexity, network, graph, shortest path, survival, disjoint paths
1	Mingji Xia, Wenbo Zhao	#3-Regular Bipartite Planar Vertex Cover is #P-Complete.	TAMC	2006	DBLP DOI BibTeX RDF
1	Klaus Weihrauch, Ning Zhong 0002	Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable?	TAMC	2006	DBLP DOI BibTeX RDF
1	Alexey Stukachev	On Mass Problems of Presentability.	TAMC	2006	DBLP DOI BibTeX RDF
1	Jianxing Feng, Daming Zhu	Faster Algorithms for Sorting by Transpositions and Sorting by Block-Interchanges.	TAMC	2006	DBLP DOI BibTeX RDF
1	Ben Cohen, Martín Hötzel Escardó, Klaus Keimel	The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces.	TAMC	2006	DBLP DOI BibTeX RDF
1	Jin-yi Cai, S. Barry Cooper, Angsheng Li (eds.)	Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings	TAMC	2006	DBLP DOI BibTeX RDF
1	Guowu Yang, Jin Yang 0006, Xiaoyu Song, Fei Xie	Maximal Models of Assertion Graph in GSTE.	TAMC	2006	DBLP DOI BibTeX RDF
1	Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa	Encodings and Arithmetic Operations in Membrane Computing.	TAMC	2006	DBLP DOI BibTeX RDF
1	Andrej Muchnik, Alexander Shen, Nikolai K. Vereshchagin, Michael V. Vyugin	Non-reducible Descriptions for Conditional Kolmogorov Complexity.	TAMC	2006	DBLP DOI BibTeX RDF
1	Baoqiang Fan, Guochun Tang	Scheduling Jobs on a Flexible Batching Machine: Model, Complexity and Algorithms.	TAMC	2006	DBLP DOI BibTeX RDF	scheduling, complexity, dynamic programming, batching machine
1	Frank Stephan 0001, Liang Yu	Lowness for Weakly 1-generic and Kurtz-Random.	TAMC	2006	DBLP DOI BibTeX RDF
1	Giorgio Ausiello, Luca Allulli, Vincenzo Bonifaci, Luigi Laura	On-Line Algorithms, Real Time, the Virtue of Laziness, and the Power of Clairvoyance.	TAMC	2006	DBLP DOI BibTeX RDF
1	Alexander Shen	Multisource Algorithmic Information Theory.	TAMC	2006	DBLP DOI BibTeX RDF
1	Michael Rathjen	Models of Intuitionistic Set Theories over Partial Combinatory Algebras.	TAMC	2006	DBLP DOI BibTeX RDF
1	Yinfeng Xu, Huahai Yan	Real Time Critical Edge of the Shortest Path in Transportation Networks.	TAMC	2006	DBLP DOI BibTeX RDF	Real Time Critical Edge, The Shortest Path, Algorithm, Transportation Networks
1	Angsheng Li, Yan Song, Guohua Wu	Universal Cupping Degrees.	TAMC	2006	DBLP DOI BibTeX RDF
1	Conghua Zhou, Decheng Ding	Improved SAT Based Bounded Model Checking.	TAMC	2006	DBLP DOI BibTeX RDF
1	Haiyong Bao, Zhenfu Cao, Shengbao Wang	Identity-Based Threshold Proxy Signature Scheme with Known Signers.	TAMC	2006	DBLP DOI BibTeX RDF
1	Boris Solon, Sergey Rozhkov	Enumeration Degrees of the Bounded Total Sets.	TAMC	2006	DBLP DOI BibTeX RDF
1	Christian Glaßer, Aduri Pavan, Alan L. Selman, Liyu Zhang	Mitosis in Computational Complexity.	TAMC	2006	DBLP DOI BibTeX RDF
1	Rod Downey, Noam Greenberg	Totally < ωω Computably Enumerable and m-topped Degrees.	TAMC	2006	DBLP DOI BibTeX RDF
1	Alasdair Urquhart	Width Versus Size in Resolution Proofs.	TAMC	2006	DBLP DOI BibTeX RDF

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