Tadao Kasami

128 papers A* 3A 2B 6C 1Misc 2Journal 103Unranked 9
YearRankTypeTitle / Venue / Authors
2010 J jnl
A test pattern selection method for a joint bounded-distance and encoding-based decoding algorithm of binary codes [Transactions Letters].
IEEE Trans. Commun.
Hitoshi Tokushige, Marc P. C. Fossorier, Tadao Kasami
2009 J jnl
A Soft-Input and Output Iterative Bounded-Distance and Encoding-Based Decoding Algorithm for Product Codes.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hitoshi Tokushige, Marc P. C. Fossorier, Tadao Kasami
2007 J jnl
Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kenji Yasunaga, Toru Fujiwara, Tadao Kasami
2007 J jnl
RNA Pseudoknotted Structure Prediction Using Stochastic Multiple Context-Free Grammar.
Inf. Media Technol.
Yuki Kato, Hiroyuki Seki, Tadao Kasami
2006 J jnl
Selection of Test Patterns in an Iterative Erasure and Error Decoding Algorithm for Non-binary Block Codes.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami
2006 — conf
Stochastic Multiple Context-Free Grammar for RNA Pseudoknot Modeling.
TAG
Yuki Kato, Hiroyuki Seki, Tadao Kasami
2005 J jnl
On the Generative Power of Grammars for RNA Secondary Structure.
IEICE Trans. Inf. Syst.
Yuki Kato, Hiroyuki Seki, Tadao Kasami
2004 J jnl
On binary images of shortened cyclic (8, 5) codes over GF(2
IEEE Commun. Lett.
Hitoshi Tokushige, Takaaki Tanoue, Tadao Kasami
2004 B conf
Soft-input soft-output decoding algorithm of linear block codes based on minimum distance search.
ISIT
Jun Asatani, Takuya Koumoto, Toru Fujiwara, Tadao Kasami
2004 — conf
Subclasses of Tree Adjoining Grammar for RNA Secondary Structure.
TAG+
Yuki Kato, Hiroyuki Seki, Tadao Kasami
2003 J jnl
Reduced Complexity Iterative Decoding Using a Sub-Optimum Minimum Distance Search.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Jun Asatani, Takuya Koumoto, Kenichi Tomita, Tadao Kasami
2003 J jnl
Selection Method of Test Patterns in Soft-Decision Iterative Bounded Distance Decoding Algorithms.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hitoshi Tokushige, Takuya Koumoto, Marc P. C. Fossorier, Tadao Kasami
2002 J jnl
A Soft-Decision Iterative Decoding Algorithm Using a Top-Down and Recursive Minimum Distance Search.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Jun Asatani, Kenichi Tomita, Takuya Koumoto, Toyoo Takata, Tadao Kasami
2002 J jnl
Asymptotic optimality of the GMD and chase decoding algorithms.
IEEE Trans. Inf. Theory
Yuansheng Tang, Toru Fujiwara, Tadao Kasami
2002 B conf
On soft-decision iterative decoding algorithms by using algebraic decoding for RS codes.
GLOBECOM
Hitoshi Tokushige, Ippei Hisadomi, Tadao Kasami
2002 B conf
Top-down recursive maximum likelihood decoding using ordered statistic information.
ITW
Takuya Koumoto, Tadao Kasami
2001 B conf
On the binary images of (8, 5) shortened cyclic codes over GF(2
GLOBECOM
Hitoshi Tokushige, Takaaki Tanoue, Tadao Kasami
2001 — conf
Sufficient Conditions on Most Likely Local Sub-codewords in Recursive Maximum Likelihood Decoding Algorithms.
AAECC
Tadao Kasami, Hitoshi Tokushige, Yuichi Kaji
1999 J jnl
A Low-Weight Trellis-Based Iterative Soft-Decision Decoding Algorithm for Binary Linear Block Codes.
IEEE Trans. Inf. Theory
Takuya Koumoto, Toyoo Takata, Tadao Kasami, Shu Lin
1999 — conf
An Optimality Testing Algorithm for a Decoded Codeword of Binary Block Codes and Its Computational Complexity.
AAECC
Yuansheng Tang, Tadao Kasami, Toru Fujiwara
1999 J jnl
Constructions of Generalized Concatenated Codes and Their Trellis-Based Decoding Complexity.
IEEE Trans. Inf. Theory
Robert Morelos-Zaragoza, Toru Fujiwara, Tadao Kasami, Shu Lin
1999 — conf
On Integer Programming Problems Related to Soft-Decision Iterative Decoding Algorithms.
AAECC
Tadao Kasami
1999 — conf
Recursive maximum likelihood decoder for high-speed satellite communication.
ISCAS (4)
Morgan Hirosuke Miki, Daisuke Taki, Gen Fujita, Takao Onoye, Isao Shirakawa, Toru Fujiwara, Tadao Kasami
1998 J jnl
A Trellis-Based Recursive Maximum-Likelihood Decoding Algorithm for Binary Linear Block Codes.
IEEE Trans. Inf. Theory
Toru Fujiwara, Hiroshi Yamamoto, Tadao Kasami, Shu Lin
1998 J jnl
On block-coded modulation using unequal error protection codes over Rayleigh-fading channels.
IEEE Trans. Commun.
Robert Morelos-Zaragoza, Tadao Kasami, Shu Lin, Hideki Imai
1997 C conf
A secure code for recipient watermarking against conspiracy attacks by all users.
ICICS
Hajime Watanabe, Tadao Kasami
1997 J jnl
On bit-error probability of a concatenated coding scheme.
IEEE Trans. Commun.
Tadao Kasami, Toyoo Takata, Kouichi Yamashita, Toru Fujiwara, Shu Lin
1997 J jnl
Soft-decision decoding of binary linear block codes based on an iterative search algorithm.
IEEE Trans. Inf. Theory
Hari T. Moorthy, Shu Lin, Tadao Kasami
1997 J jnl
Solving a Unification Problem under Constrained Substitutions Using Tree Automata.
J. Symb. Comput.
Yuichi Kaji, Toru Fujiwara, Tadao Kasami
1997 — conf
The Split Weight (
AAECC
Tadao Kasami, Tsukasa Sugita, Toru Fujiwara
1997 J jnl
The weight distributions of extended binary primitive BCH codes of length 128.
IEEE Trans. Inf. Theory
Y. Desaki, Toru Fujiwara, Tadao Kasami
1996 J jnl
A phase connection method for communication protocols.
Syst. Comput. Jpn.
Tetsuo Sano, Masahiro Higuchi, Hiroyuki Seki, Tadao Kasami
1996 J jnl
The weight distribution of the third-order Reed-Muller code of length 512.
IEEE Trans. Inf. Theory
Tsukasa Sugita, Tadao Kasami, Toru Fujiwara
1995 B conf
Multilevel block coded 8-PSK modulations using unequal error protection codes for the Rayleigh fading channel.
PIMRC
Robert Morelos-Zaragoza, Tadao Kasami, Shu Lin
1995 J jnl
On the Maximum Value of Aliasing Probabilities for Single Input Signature Registers.
IEEE Trans. Computers
Shou-ping Feng, Toru Fujiwara, Tadao Kasami, Kazuhiko Iwasaki
1994 J jnl
An upper bound on the effective error coefficient of two-stage decoding, and good two-level decompositions of some Reed-Muller codes.
IEEE Trans. Commun.
Jiantian Wu, Shu Lin, Tadao Kasami, Toru Fujiwara, Toyoo Takata
1994 — conf
Solving a Unification Problem under Constrained Substitutions Using Tree Automata.
FSTTCS
Yuichi Kaji, Toru Fujiwara, Tadao Kasami
1994 J jnl
Suboptimum decoding of decomposable block codes.
IEEE Trans. Inf. Theory
Toyoo Takata, Yuji Yamashita, Toru Fujiwara, Tadao Kasami, Shu Lin
1994 J jnl
The Computational Complexity of the Universal Recognition Problem for Parallel Multiple Context-Free Grammars.
Comput. Intell.
Yuichi Kaji, Ryuchi Nakanishi, Hiroyuki Seki, Tadao Kasami
1993 A conf
A translation method from natural language specifications into formal specifications using contextual dependencies.
RE
Yasunori Ishihara, Hiroyuki Seki, Tadao Kasami
1993 J jnl
Multistage decoding of multilevel block M-PSK modulation codes and its performance analysis.
IEEE Trans. Inf. Theory
Toyoo Takata, Satoshi Ujita, Tadao Kasami, Shu Lin
1993 J jnl
On complexity of trellis structure of linear block codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
1993 Misc conf
On the maximum value of aliasing probabilities for single input signature registers.
VTS
Shou-ping Feng, Toru Fujiwara, Tadao Kasami, Kazuhiko Iwasaki
1993 J jnl
On the optimum bit orders with respect to the state complexity of trellis diagrams for binary linear codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
1993 A* conf
Parallel Multiple Context-Free Grammars, Finite-State Translation Systems, and Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars.
ACL
Hiroyuki Seki, Ryuichi Nakanishi, Yuichi Kaji, Sachiko Ando, Tadao Kasami
1992 A* conf
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines.
CAV
Masahiro Higuchi, Osamu Shirakawa, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1992 Misc conf
A defect-tolerant design for mask ROMs.
VTS
Kazuhiko Iwasaki, Toru Fujiwara, Tadao Kasami
1992 J jnl
A method for translating natural language program specifications into algebraic specifications.
Syst. Comput. Jpn.
Hiroyuki Seki, Tadao Kasami, Eiji Nabika, Takashi Matsumura
1991 — ch.
An Algebraic Method For Verifying Progress Property of Communication Protocols.
Software Science and Engineering
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1991 J jnl
On Multiple Context-Free Grammars.
Theor. Comput. Sci.
Hiroyuki Seki, Takashi Matsumura, Mamoru Fujii, Tadao Kasami
1991 — ch.
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/.
Software Science and Engineering
Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1991 J jnl
On linear structure and phase rotation invariant properties of block M-PSK modulation codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
1991 J jnl
On multilevel block modulation codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
1991 J jnl
On the monotonic property of the probability of undetected error for a shortened code.
IEEE Trans. Inf. Theory
Toru Fujiwara, Tadao Kasami, Shou-ping Feng
1991 J jnl
Optimizing universal queries in relational databases.
Syst. Comput. Jpn.
Minoru Ito, Tadao Kasami
1991 J jnl
Performance analysis of disk allocation method using error-correcting codes.
IEEE Trans. Inf. Theory
Toru Fujiwara, Minoru Ito, Tadao Kasami, Mitsuteru Kataoka, Jun Okui
1991 J jnl
The generative power of multiple context-free grammars and head grammars.
Syst. Comput. Jpn.
Takashi Matsumura, Hiroyuki Seki, Mamoru Fujii, Tadao Kasami
1990 J jnl
A concatenated coded modulation scheme for error control.
IEEE Trans. Commun.
Tadao Kasami, Toyoo Takata, Toru Fujiwara, Shu Lin
1990 J jnl
An error control system with multiple-stage forward error corrections.
IEEE Trans. Commun.
Toyoo Takata, Toru Fujiwara, Tadao Kasami, Shu Lin
1989 J jnl
Error detecting capabilities of the shortened Hamming codes adopted for error detection in IEEE Standard 802.3.
IEEE Trans. Commun.
Toru Fujiwara, Tadao Kasami, Shu Lin
1989 J jnl
Generalized context-free grammars and multiple context-free grammars.
Syst. Comput. Jpn.
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1989 J jnl
Membership problem for head languages and multiple context-free languages.
Syst. Comput. Jpn.
Tadao Kasami, Hiroyuki Seki, Mamoru Fujii
1989 J jnl
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
Syst. Comput. Jpn.
Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
1988 J jnl
A cascaded coding scheme for error control and its performance analysis.
IEEE Trans. Inf. Theory
Tadao Kasami, Toru Fujiwara, Toyoo Takata, Shu Lin
1987 J jnl
Decision problem concerning security for cryptographic protocols.
Syst. Comput. Jpn.
Toru Fujiwara, Kenichi Taniguchi, Tadao Kasami
1987 J jnl
Logical Programming for the Telegram Analysis Problem.
Comput. Lang.
Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, Yoshitomi Morisawa
1987 J jnl
Principles of algebraic language ASL.
Syst. Comput. Jpn.
Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki
1987 J jnl
Verification of progress property of algebraically specified communication protocols.
Syst. Comput. Jpn.
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1986 J jnl
A Concatenated Coding Scheme for Error Control.
IEEE Trans. Commun.
Tadao Kasami, Toru Fujiwara, Shu Lin
1986 J jnl
An approximation to the weight distribution of binary primitive BCH codes with designed distances 9 and 11.
IEEE Trans. Inf. Theory
Toru Fujiwara, Toyoo Takata, Tadao Kasami, Shu Lin
1986 J jnl
Compiling and Optimizing Methods for the Functional Language ASL/F.
Sci. Comput. Program.
Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1986 J jnl
Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.
Theor. Comput. Sci.
Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto
1985 J jnl
A Distributed Mutual Exclusion Algorithm
ACM Trans. Comput. Syst.
Ichiro Suzuki, Tadao Kasami
1985 J jnl
An approximation to the weight distribution of binary linear codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Toru Fujiwara, Shu Lin
1985 J jnl
Coding for the binary symmetric broadcast channel with two receivers.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin, Victor K.-W. Wei, Saburo Yamamura
1985 J jnl
On the Undetected Error Probability for Shortened Hamming Codes.
IEEE Trans. Commun.
Toru Fujiwara, Tadao Kasami, Atsushi Kitai, Shu Lin
1985 J jnl
Optimization of functional language ASL/F programs.
Syst. Comput. Jpn.
Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1985 J jnl
Some Results on the Representative Instance in Relational Databases.
SIAM J. Comput.
Minoru Ito, Motoaki Iwasaki, Tadao Kasami
1984 J jnl
An Algebraic Specification of HDLC Procedures and Its Verification.
IEEE Trans. Software Eng.
Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami
1984 A* conf
Functional Programming and Logical Programming for the Telegram Analysis Problem.
ICSE
Koji Torii, Yoshitomi Morisawa, Yuji Sugiyama, Tadao Kasami
1984 J jnl
Membership Problems for Data Dependencies in Relational Expressions.
Theor. Comput. Sci.
Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami
1984 J jnl
On the Probability of Undetected Error for the Maximum Distance Separable Codes.
IEEE Trans. Commun.
Tadao Kasami, Shu Lin
1983 J jnl
Graph theoretic approaches to the code construction for the two-user multiple- access binary adder channel.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin, Victor K.-W. Wei, Saburo Yamamura
1983 J jnl
Linear block codes for error detection.
IEEE Trans. Inf. Theory
Tadao Kasami, Torleiv Kløve, Shu Lin
1983 J jnl
Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions.
Theor. Comput. Sci.
Minoru Ito, Kenichi Taniguchi, Tadao Kasami
1983 J jnl
Three Measures for Synchronic Dependence in Petri Nets.
Acta Informatica
Ichiro Suzuki, Tadao Kasami
1982 A conf
An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks.
ICDCS
Ichiro Suzuki, Tadao Kasami
1981 J jnl
Comments on 'Determining the burst-correcting limit of cyclic codes' by H. J. Matt, and J. L. Massey.
IEEE Trans. Inf. Theory
Tadao Kasami
1980 J jnl
Existence of Good δ-Decodable Codes for the Two-User Multiple-Access Adder Channel.
IBM J. Res. Dev.
Shu Lin, Tadao Kasami, Saburo Yamamura
1979 J jnl
Decision Problems for Multivalued Dependencies in Relational Databases.
SIAM J. Comput.
Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami
1979 B conf
On equivalence of safe Petri nets.
FCT
Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami
1978 J jnl
An error correcting scheme for defective memory.
IEEE Trans. Inf. Theory
A. V. Kuznetsov, Tadao Kasami, Saburo Yamamura
1978 J jnl
Bounds on the achievable rates of block coding for a memoryless multiple-access channel.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin
1978 J jnl
Decoding of linear Delta -decodable codes for a multiple- access channel (Corresp.).
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin
1977 J jnl
Decidable Problems on the Strong Connectivity of Petri Net Reachability Sets.
Theor. Comput. Sci.
Toshiro Araki, Tadao Kasami
1976 J jnl
A Result on the Equivalence Problem for Deterministic Pushdown Automata.
J. Comput. Syst. Sci.
Kenichi Taniguchi, Tadao Kasami
1976 J jnl
An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts.
Acta Informatica
Kenichi Taniguchi, Tadao Kasami
1976 J jnl
Coding for a multiple-access channel.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin
1976 J jnl
On the Weight Enumeration of Weights Less than 2.5d of Reed-Muller Codes
Inf. Control.
Tadao Kasami, Nobuki Tokura, Saburo Azumi
1976 J jnl
Some Decision Problems Related to the Reachability Problem for Petri Nets.
Theor. Comput. Sci.
Toshiro Araki, Tadao Kasami
1974 J jnl
A Gilbert-Varshamov bound for quasi-cycle codes of rate 1/2 (Corresp.).
IEEE Trans. Inf. Theory
Tadao Kasami
1974 J jnl
Construction and decomposition of cyclic codes of composite length (Corresp.).
IEEE Trans. Inf. Theory
Tadao Kasami
1974 — conf
Ianov Schemas Augmented by a Pushdown Memory
SWAT
Nobuki Tokura, Tadao Kasami, Shukichi Furuta
1973 J jnl
On the Capabilities of While, Repeat, and Exit Statements.
Commun. ACM
W. Wesley Peterson, Tadao Kasami, Nobuki Tokura
1972 J jnl
Minimal Negative Gate Networks.
IEEE Trans. Computers
Keijiro Nakamura, Nobuki Tokura, Tadao Kasami
1972 J jnl
Some results on the minimum weight of primitive BCH codes (Corresp.).
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin
1971 J jnl
Failsafe Logic Nets.
IEEE Trans. Computers
Nobuki Tokura, Tadao Kasami, Akihiro Hashimoto
1971 J jnl
On majority-logic decoding for duals of primitive polynomial codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin
1971 J jnl
On the construction of a class of majority-logic decodable codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin
1971 J jnl
The Weight Enumerators for Several Clauses of Subcodes of the 2nd Order Binary Reed-Muller Codes
Inf. Control.
Tadao Kasami
1971 J jnl
Weight distribution of (128, 64) Reed-Muller code (Corresp.).
IEEE Trans. Inf. Theory
M. Sugino, Y. Ienaga, Nobuki Tokura, Tadao Kasami
1970 J jnl
On the weight structure of Reed-Muller codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Nobuki Tokura
1970 J jnl
Reduction of Context-Free Grammars
Inf. Control.
Kenichi Taniguchi, Tadao Kasami
1969 J jnl
A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine
Inf. Control.
Kenichi Taniguchi, Tadao Kasami
1969 J jnl
A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars.
J. ACM
Tadao Kasami, Koji Torii
1969 J jnl
An upper bound on k/n for affine-invariant codes with fixed d/n (Corresp.).
IEEE Trans. Inf. Theory
Tadao Kasami
1969 J jnl
Some Remarks on BCH Bounds and Minimum Weights of Binary Primitive BCH Codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Nobuki Tokura
1968 J jnl
Error-correcting codes for a compound channel.
IEEE Trans. Inf. Theory
Harry T. Hsu, Tadao Kasami, Robert T. Chien
1968 J jnl
New generalizations of the Reed-Muller codes-I: Primitive codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin, W. Wesley Peterson
1968 J jnl
Polynomial codes.
IEEE Trans. Inf. Theory
Tadao Kasami, Shu Lin, W. Wesley Peterson
1968 J jnl
Some lower bounds on the minimum weight of cyclic codes of composite length.
IEEE Trans. Inf. Theory
Tadao Kasami
1967 J jnl
A Note on Computing Time for Recognition of Languages Generated by Linear Grammars
Inf. Control.
Tadao Kasami
1967 J jnl
A search procedure for finding optimum group codes for the binary symmetric channel.
IEEE Trans. Inf. Theory
Nobuki Tokura, Kenichi Taniguchi, Tadao Kasami
1967 J jnl
Some Results on Cyclic Codes which Are Invariant under the Affine Group and Their Application
Inf. Control.
Tadao Kasami, Shu Lin, W. Wesley Peterson
1964 J jnl
A decoding procedure for multiple-error-correcting cyclic codes.
IEEE Trans. Inf. Theory
Tadao Kasami
1964 J jnl
Some efficient shortened cyclic codes for burst-error correction (Corresp.).
IEEE Trans. Inf. Theory
Tadao Kasami, S. Matoba
1963 J jnl
Optimum shortened cyclic codes for burst-error correction.
IEEE Trans. Inf. Theory
Tadao Kasami
1961 J jnl
Optimum linear finite-dimensional estimator of signal waveforms.
IRE Trans. Inf. Theory
Tadao Kasami