検索結果 4 件

図書
Yutaka Kidawara, Eiichiro Sumita, Hisashi Kawai, editors.Springer[2020]<M151-D4>
国立国会図書館
  • 要約等...reams of humankind. People, soci......out exception. In 1986, Japan initiated basic r......researchers during three decades......is computation-intensive systems......s based on machine learning. Through fiel...... long research in laboratories, ...... systems are being well-develope......dy to utilized in daily life. Un......ation by comparing systems perfo......f simultaneous interpretation for lecture, broa...
  • 内容細目1. Multilingualization of speech processing. 1.1. Basic f...... speech processing and its multilingualization ; 1.2. Multilingualization of ......n ; 1.3. Multilingualization of ......itade, and Yoshinori Shiga 2. Au......gnition ; 2.2. Theoretical framework and ......2.3. Deep learning for ASR ; 2.4......ise-robust ASR in real applicati......rections / Yoshinori Shiga, Jinfu Ni, Kentaro ......verview of machine translation ;...... fo neural machine translation ; 4.4. Training and translati......er ; 5.3. User interface ; 5.4. ......Kawai 6. Measuring the capabilit......n system. 6.1. Introduction ; 6.......ation result using the translation-paired compa...
  • 件名Automatic speech recognition. Machine translating. Natural language processing (Computer science)
図書
editors, Satchidananda Dehuri, Sung-Bae Cho.Imperial College Press2011.<M154-B133>
国立国会図書館
  • 内容細目Theoretical foundations of knowledge mining and intelligent agent......ry computation in knowledge disc......the example of intrusion detecti......alloy steels using multi-objecti......n and P.J. Fleming An extended Bayesian/HAPSO intelligent method in intrusion detecti......d S. Tripathy Mining knowledge from network intrusion data using data mining techniques / ......erational planning of energy pla......aka Soft computing for feature s......a Software testing using genetic algorithms / M. Ray ...
  • 件名Data mining. Intelligent agents (Computer software) Computational intelligence. Swarm intelligence.
  • タイトル標目Advances in computer science and engineering. Texts ; v. 6.
図書
Yves Bertot, Pierre Castèran ; foreword by Gérard Huet and Christine Paulin-MohringSpringerc2010
全国の図書館
  • 件名Automatic theorem proving Logic, Symbolic and mathemat...
  • 件名(識別子)Automatic theorem proving Logic, Symbolic and mathemat...
  • 一般注記Reprint. Originally published: Springer, c2010 (Texts in theoretical computer science : an EATCS series) "Printed in Japan 落丁、乱丁本のお......: p. [453]-457 Includes indexes
図書
Springer-Verlag
全国の図書館
  • 目次・記事...parallel computing Specification......s Extremal combinatorics : with applications in computer science Complexity the......ryptology : an introduction to c......complexity Parsing schemata : a ......nalysis of parsing algorithms Th......and algorithms in communication ......orks : studies in broadband, opt......d hoc networks Introduction to process algebra Interactive theorem proving and program d......he calculus of inductive constru......s Elements of finite model theor......ard problems : introduction to combinatorial optimiz......and heuristics Information and r......sal artificial intelligence : se......ic probability Introduction to circuit complexi...
  • 関連情報...parallel computing Specification......s Extremal combinatorics : with applications in computer science Complexity the......ryptology : an introduction to c......complexity Parsing schemata : a ......nalysis of parsing algorithms Th......and algorithms in communication ......orks : studies in broadband, opt......d hoc networks Introduction to process algebra Interactive theorem proving and program d......he calculus of inductive constru......s Elements of finite model theor......ard problems : introduction to combinatorial optimiz......and heuristics Information and r......sal artificial intelligence : se......ic probability Introduction to circuit complexi...

検索結果は以上です。