Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm / Kevin J. Lang ; Barak A. Pearlmutter ; Rodney A. Price
Learning k-Variable Pattern Languages Efficiently Stochastically Finite on Average from Positive Data / Peter Rossmanith ; Thomas Zeugmann
Meaning Helps Learning Syntax / Isabelle Tellier
A Polynomial Time Incremental Algorithm for Learning DFA / Rajesh Parekh ; Codrin Nichitiu ; Vasant Honavar
The Data Driven Approach Applied to the OSTIA Algorithm / José Oncina
Grammar Model and Grammar Induction in the System NL PAGE / Vlado Kešelj
Approximate Learning of Random Subsequential Transducers / Antonio Castellanos
Learning Stochastic Finite Automata from Experts / Colin de la Higuera
Learning Deterministic Finite Automaton with a Recurrent Neural Network / Laura Firoiu ; Tim Oates ; Paul R. Cohen
Applying Grammatical Inference in Learning a Language Model for Oral Dialogue / Jacques Chodorowski ; Laurent Miclet
Real Language Learning / Jerome A. Feldman
A Stochastic Search Approach to Grammar Induction / Hugues Juillé ; Jordan B. Pollack
Transducer-Learning Experiments on Language Understanding / David Picó ; Enrique Vidal
Locally Threshold Testable Languages in Strict Sense: Application to the Inference Problem / José Ruiz ; Salvador España ; Pedro García
Learning a Subclass of Linear Languages from Positive Structural Information / José M. Sempere ; G. Nagaraja
Grammatical Inference in Document Recognition / Alexander S. Saidi ; Souad Tayeb-bey
Stochastic Inference of Regular Tree Languages / Rafael C. Carrasco ; Jorge Calera
How Considering Incompatible State Mergings May Reduce the DFA Induction Search Tree / François Coste ; Jacques Nicolas
Learning Regular Grammars to Model Musical Style: Comparing Different Coding Schemes / Pedro P. Cruz-Alcázar ; Enrique Vidal-Ruiz
Learning a Subclass of Context-Free Languages / J.D. Emerald ; K.G. Subramanian ; D.G. Thomas
Using Symbol Clustering to Improve Probabilistic Automaton Inference / Pierre Dupont ; Lin Chase
A Performance Evaluation of Automatic Survey Classifiers / Peter Viechnicki
Pattern Discovery in Biosequences / Alvis Br&abar;zma ; Inge Jonassen ; Jaak Vilo ; Esko Ukkonen
Author Index
Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm / Kevin J. Lang ; Barak A. Pearlmutter ; Rodney A. Price
Learning k-Variable Pattern Languages Efficiently Stochastically Finite on Average from Positive Data / Peter Rossmanith ; Thomas Zeugmann
Program Abstraction in a Higher-Order Logic Framework / Marco Benini ; Sara Kalvala ; Dirk Nowotka
The Village Telephone System: A Case Study in Formal Software Engineering / Karthikeyan Bhargavan ; Carl A. Gunter ; Elsa L. Gunter ; Michael Jackson ; Davor Obradovic ; Pamela Zave
Generating Embeddings from Denotational Descriptions / Richard J. Boulton
An Interface between CLaM and HOL / Richard Boulton ; Konrad Slind ; Alan Bundy ; Mike Gordon
Classical Propositional Decidability via Nuprl Proof Extraction / James L. Caldwell
A Comparison of PVS and Isabelle/HOL / David Griffioen ; Marieke Huisman
Adding External Decision Procedures to HOL90 Securely
Formalizing Basic First Order Model Theory / John Harrison
Formalizing Dijkstra
Mechanical Verification of Total Correctness through
Diversion Verification Conditions / Peter V. Homeier ; David F. Martin
A Type Annotation Scheme for Nuprl / Douglas J. Howe
Verifying a Garbage Collection Algorithm / Paul B. Jackson
Hot: A Concurrent Automated Theorem Prover Based on Higher-Order Tableaux / Karsten Konrad
Free Variables and Subexpressions in Higher-Order Meta Logic / Chuck Liang
An LPO-Based Termination Ordering for Higher-Order Terms without ?-Abstraction / Maxim Lifantsev ; Leo Bachmair
Proving Isomorphism of First-Order Logic Proof Systems in HOL / Anna Mikhajlova
Exploiting Parallelism in Interactive Theorem Provers / Roderick Moten
I/O Automata and Beyond: Temporal Logic and Abstraction in Isabelle / Olaf Müller
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic / Wolfgang Naraschewski ; Markus Wenzel
On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System / Naren Narasimhan ; Ranga Vemuri
Co-inductive Axiomatization of a Synchronous Language / David Nowak ; Jean-Rene Beauvais ; Jean-Pierre Talpin
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling / François Puitg ; Jean-François Dufourd
A Tool for Data Refinement / Rimvydas RukÃœenas
Mechanizing Relevant Logics with HOL / Hajime Sawamura ; Daisaku Asanuma
Case Studies in Meta-Level Theorem Proving / Friedrich W. von Henke ; Stephan Pfab ; Holger Pfeifer ; Harald Rueß
Formalization of Graph Search Algorithms and Its Applications / Mitsuharu Yamamoto ; Koichi Takahashi ; Masami Hagiya ; Shin-ya Nishizaki ; Tetsuo Tamai
edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa
出版情報:
Amsterdam ; New York : North-Holland Pub. Co. , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980 xii, 392 p. ; 23 cm
Amsterdam ; New York : North-Holland Pub. Co. , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982 ix, 391 p. ; 23 cm
Amsterdam, The Netherlands ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983 xiv, 210 p. ; 23 cm
Amsterdam ; New York : North-Holand , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985 xi, 243 p. ; 23 cm.