Jump to main content

yr 〜
yr

Search results 14

Workshop on applications of tree automata techniques in natural language processing 2012 : (ATANLP 2012) : held at the 13th conference of the European Chapter of the Association for Computational Linguistics (EACL 2012) : Avignon, France : 23-27 April 2012 : Apr 2012, Avignon, France.

Workshop on applications of tree automata techniques in natural language processing 2012 : (ATANLP 2012) : held at the 13th conference of the European Chapter of the Association for Computational Linguistics (EACL 2012) : Avignon, France : 23-27 April 2012 : Apr 2012, Avignon, France.
Paper図書
Association for Computational Linguisticsc2012.<M17-13-2187>
National Diet Library

Sufficient completeness checking with propositional tree automata (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2005-13)

Sufficient completeness checking with propositional tree automata (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2005-13)
Paper図書
[by] Joe Hendrix, Hitoshi Ohsaki, Jose MeseguerResearch Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2005.8<M159-B43>
National Diet Library

Monotone AC-tree automata (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2005-8)

Monotone AC-tree automata (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2005-8)
Paper図書
[by] Hitoshi Ohsaki [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2005.3<M159-B37>
National Diet Library

Monotone AC-tree automata 2nd ed (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2005-8)

Monotone AC-tree automata 2nd ed (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2005-8)
Paper図書
[by] Hitoshi Ohsaki [et al.]Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology2005.8<M159-B44>
National Diet Library

Workshop on applications of tree automata in natural language processing 2010 : (ATANLP 2010) : held at ACL 2010 : Uppsala, Sweden : 16 July 2010. : 48th annual meeting of the Association for Computational Linguistics : Jul 2010, Uppsala, Sweden.

Workshop on applications of tree automata in natural language processing 2010 : (ATANLP 2010) : held at ACL 2010 : Uppsala, Sweden : 16 July 2010. : 48th annual meeting of the Association for Computational Linguistics : Jul 2010, Uppsala, Sweden.
Paper図書
Association for Computational Linguisticsc2010.<M17-11-444>
National Diet Library

ACTAS: associative and commutative tree automata simulator (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-6)

ACTAS: associative and commutative tree automata simulator (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-6)
Paper図書
[by] Toshinori Takai, Hitoshi OhsakiLaboratory for Verification and Semantics AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2004.3<M159-B29>
National Diet Library

ACTAS: a system design for associative and commutative tree automata theory (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-7)

ACTAS: a system design for associative and commutative tree automata theory (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; AIST-PS-2004-7)
Paper図書
[by] Hitoshi Ohsaki, Toshinori TakaiResearch Center for Verification and Semantics, Amagasaki Site-AIST Kansai, National Institute of Advanced Industrial Science and Technology2004.7<M159-B30>
National Diet Library

A tree automata theory for unification modulo equational rewriting (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.6)

A tree automata theory for unification modulo equational rewriting (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.2 no.6)
Paper図書
[by]Hitoshi Ohsaki, Toshinori TakaiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2002.7<MA41-B3>
National Diet Library

Beyond regularity : equational tree automata for associative and commutative theories (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.2)

Beyond regularity : equational tree automata for associative and commutative theories (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.2)
Paper図書
[by]Hitoshi, OhsakiCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.4<M159-B3>
National Diet Library

ACTAS : Automated Verification Based on Equational Tree Automata

ACTAS : Automated Verification Based on Equational Tree Automata
Digital文書・図像類
Ohsaki, Hitoshi2005-09-21p.1-40
Other Libraries in Japan

Workshop on Applications of Tree Automata in Natural Language Processing 2010 (ATANLP 2010) : held at ACL 2010 : Uppsala, Sweden, 16 July 2010

Workshop on Applications of Tree Automata in Natural Language Processing 2010 (ATANLP 2010) : held at ACL 2010 : Uppsala, Sweden, 16 July 2010
Paper図書
Association for Computational Linguisticsc2010
Other Libraries in Japan

Tree automata

Tree automata
Paper図書
Ferenc Gécseg, Magnus SteinbyAkadémiai Kiadó1984
Other Libraries in Japan

Tree automata and languages

Tree automata and languages
Paper図書
edited by Maurice Nivat, Andreas PodelskiNorth-Holland1992
Other Libraries in Japan

Studies in computer science and artificial intelligence

Studies in computer science and artificial intelligence
Paper図書
North-Holland
Other Libraries in Japan
  • Related Material...l intelligence Tree automata and languages Theory and appl...

Reached to the end of result.

RSS