conf/acl/Hepple97:::Mark Hepple:::Maximal Incrementality in Linear Categorial Deduction.
conf/acl/WeischedelB80:::Ralph M. Weischedel::John E. Black:::If the Parser Fails.
conf/acl/MurataN98:::Masaki Murata::Makoto Nagao:::An Estimate of Referent of Noun Phrases in Japanese Sentences.
conf/acl/DimitrovaIPEKT98:::Ludmila Dimitrova::Nancy Ide::Vladimir Petkevic::Tomaz Erjavec::Heiki Jaan Kaalep::Dan Tufis:::Multext-East: Parallel and Comparable Corpora and Lexicons for Six Central and Eastern European Languages.
conf/acl/BangaloreR00:::Srinivas Bangalore::Owen Rambow:::Corpus-Based Lexical Choice in Natural Language Generation.
conf/acl/WhittakerS88:::Steve Whittaker::Phil Stenton:::Cues and Control in Expert-Client Dialogues.
conf/acl/PinkalK00:::Manfred Pinkal::Michael Kohlhase:::Feature Logic for Dotted Types: A Formalism for Complex Word Meanings.
conf/acl/EngelkampEU92:::Judith Engelkamp::Gregor Erbach::Hans Uszkoreit:::Handling Linear Precedence Constraints by Unification.
conf/acl/Harabagiu96:::Sanda M. Harabagiu:::An Application of WordNet to Prepositional Attachment.
conf/acl/WhittemoreMC91:::Greg Whittemore::Melissa Macpherson::Greg Carlson:::Event-Building through Role-Filling and Anaphora Resolution.
conf/acl/Mosny95:::Milan Mosny:::Semantic Information Preprocessing for Natural Language Interfaces to Databases.
conf/acl/KasperCD98:::Robert T. Kasper::Mike Calcagno::Paul C. Davis:::Know When to Hold 'Em: Shuffling Deterministically in a Parser for Nonconcatenative Grammars.
conf/acl/Sarkar98:::Anoop Sarkar:::Conditions on Consistency of Probabilistic Tree Adjoining Grammars.
conf/acl/MatsumotoIU93:::Yuji Matsumoto::Hiroyuki Ishimoto::Takehito Utsuro:::Sructural Matching of Parallel Texts.
conf/acl/SantosR01:::Diana Santos::Paulo Rocha:::Evaluating CETEMPublico, a Free Resource for Portuguese.
conf/acl/DowdingMAM94:::John Dowding::Robert Moore::François Andry::Douglas B. Moran:::Interleaving Syntax and Semantics in an Effecient Bottom-Up Parser.
conf/acl/Yarowsky94:::David Yarowsky:::Decision Lists for Lexical Ambiguity Resolution: Application to Accent Restoration in Spanish and French.
conf/acl/BergerM00:::Adam L. Berger::Vibhu O. Mittal:::Query-Relevant Summarization using FAQs.
conf/acl/BelkinMK80:::Nicholas J. Belkin::B. G. Michell::D. G. Kuehner:::Representation of Texts for Information Retrieval.
conf/acl/Henderson92:::James Henderson:::A Connectionist Parser for Structure Unification Grammar.
conf/acl/CarpenterP91:::Bob Carpenter::Carl Pollard:::Inclusion, Disjointness and Choice: The Logic of Linguistic Classification.
conf/acl/Schabes91:::Yves Schabes:::Polynomial Time and Space Shift-Reduce Parsing of Arbitrary Context-free Grammars.
conf/acl/HayesAS85:::Philip J. Hayes::Peggy M. Anderson::Scott Safier:::Semantic Caseframe Parsing &amp; Syntactic Generality.
conf/acl/Oflazer99:::Kemal Oflazer:::Dependency Parsing with an Extended Finite State Approach.
conf/acl/DaganMM93:::Ido Dagan::Shaul Marcus::Shaul Markovitch:::Contextual Word Similarity and Estimation from Sparse Data.
conf/acm/Hicks95:::Thomas E. Hicks:::The Role of OOP in the Undergraduate Curriculum Workshop Recommendations.
conf/acm/Thornley95:::John Thornley:::Declarative Ada: Parallel Dataflow Programming in a Familiar Context.
conf/acm/Salehnia90:::Alireza Salehnia:::Perceptions of Missouri Secondary and Area Vocational School Computer Teachers Toward Trends of Computer Hardware and Software Technologies by Year 1995 (Abstract).
conf/acm/RheeDL90:::Chong Jye Rhee::Sudarshan K. Dhall::S. Lakshmivarahan:::An Optimal Parallel Algorithm for the Maximal Element Problem (Abstract).
conf/acm/CheathamYW95:::Thomas J. Cheatham::Jungsoon P. Yoo::Nancy J. Wahl:::Software Testing: A Machine Learning Experiment.
conf/acm/Koh89:::H. Koh:::Flow Network Reduction for Unique Topological Ordering.
conf/acm/NgE89:::Yie-Kai Ng::David W. Embley:::The Retrieval Power of NFQL.
conf/acm/DouglassO90:::Barry G. Douglass::A. Yavuz Oruç:::Efficient Routing Techniques for Cooperating Processors in Dataflow Computers.
conf/acm/MedhiLR92:::D. Medhi::Appie van de Liefvoort::C. S. Reece:::A Performance Evaluation Model for a Digital Group with Multislot Traffic Streams.
conf/acm/LinG89:::T.-C. Lin::P. Gupta:::The Higher Radix Hypercube as an Interconnection and Virtual Network.
conf/acm/WangDD90:::Jim Wang::Verlynda Dobbs::Henry W. Davis:::Using Focusing Search Algorithms and a Strong Heuristic to Solve the Findpath Problem in Robotics.
conf/acm/ManoharanM92:::A. C. Manoharan::M. Manoharan:::Beyond Turing: A Knowledge Based Model Relativistic C<sup>n</sup> Machine.
conf/acm/MatsubaraIU96:::Hitoshi Matsubara::Hiroyuki Iida::Jos W. H. M. Uiterwijk:::A Shogi-Computer Test Set.
conf/acm/Place89:::Jerry Place:::An Algorithm Based on Queue Migration for Mutual Exclusion in Computer Networks.
conf/acm/TaoG92:::Z. P. Tao::M. Goossens:::Synthesizing Communication Protocol Converter: A Model and Method.
conf/acm/Warren94:::Bill Warren:::Today's most Sought-After People ... are now the Most Reachable (Abstract).
conf/acm/Manasiev90:::Ljudmil Manasiev:::A Service for Remote Computations in a Distributed System (Abstract).
conf/acm/Chang90:::Hou-Mei Chang:::Heuristic Exhaustive Search in Automatic Knowledge Acquisition (Abstract).
conf/acm/Springsteel92:::Frederick N. Springsteel:::ACM CSC '92 Case Panel Session.
conf/acm/PoonP94:::Wai-tat Poon::E. K. Park:::Augmented Priority Ceiling Protocol: Task Synchronization for Preemptive Real-Time Systems.
conf/acm/Merritt95:::Susan M. Merritt:::Plan for the Development and Implementation of the ACM Computer Science Curriculum for High Schools.
conf/acm/Forsley92:::Lawrence Forsley:::From the Classroom to the Real World (panel session).
conf/acm/RudolphPINBH93:::Brian A. Rudolph::William Poucher::Nikolay Ivanov::Sven Neirynck::Raewyn Boersen::C. J. Hwang:::The Globalized Growth of the ACM Scholastic Programming Contest (abstract).
conf/acm/Placer93:::John Placer:::The Promise of Multiparadigm Languages as Pedagogical Tools.
conf/acm/AgarwalF94:::Deborah A. Agarwal::Sally Floyd:::A Tool for Debugging Internet Multicast Routing.
conf/acm/AgarwalM92:::Deborah A. Agarwal::Louise E. Moser:::A Graphical Interface for Analysis of Communication Protocols.
conf/acm/SmithG93:::Porter Eugene Smith::James H. Graham:::A Simple Balanced Search Tree.
conf/acm/Wilkes96a:::Maurice V. Wilkes:::Arithmetic on the EDSAC.
conf/acm/LiangM93:::Y. Daniel Liang::Glenn K. Manacher:::An <i>O(n</i>log<i>n)</i> Algorithm for Finding Minimal Path Cover in Circular-Arc Graphs.
conf/acm/BodorikJ94:::Peter Bodorik::Dawn N. Jutla:::Multi-View Access Control Memory Computer System.
conf/acm/Kennedy95:::Ken Kennedy:::The Prospects for Architecture-Independent Parallel Programming.
conf/acm/ObaidatKS94:::Mohammad S. Obaidat::H. Khalid::K. Sadiq:::Performance Evaluation of CISC Computer Systems Under Single- and Two-Level Cache Environments.
conf/acm/GuellaG94:::Stéphane Guella::Le Gruenwald:::Recovery for Real-Time Main Memory Database Systems.
conf/acm/NguyenR92:::Gia Toan Nguyen::Dominique Rieu:::Multiple Object Representations.
conf/acm/BasenspilerHK90:::Larry Basenspiler::Thomas Hain::Ben King:::On the Vectorization of Graph Algorithms (Abstract).
conf/acm/Duncan92:::Karen A. Duncan:::Perspectives on Social Responsibility for the Computing Field.
conf/acm/Weiser94:::Mark Weiser:::Ubiquitous Computing (Abstract).
conf/acm/FisherMRS85:::Gerry Fisher::Daniel D. McCracken::Larry Rosler::Guy L. Steele Jr.:::Directions in Programming Languages (Panel).
conf/acm/Temte90:::Mark Temte:::A Framework for Accessing Data in Models with Many Discrete States (Abstract).
conf/acm/ArnowMT95:::David M. Arnow::Ken McAloon::Carol Tretkoff:::Parallel Integer Goal Programming.
conf/acm/Debnath94:::Narayan C. Debnath:::Characterization of Imperative Programs Involving Complex Iterations.
conf/acm/TerranoDP89:::Anthony E. Terrano::Stanley M. Dunn::Joseph E. Peters:::Using an Architectural Knowledge Base to Generate Code for Parallel Computers.
conf/acm/Moghe92:::Dhawal B. Moghe:::A Perspective on Personal Communication Services (PCS).
conf/acm/Eller-MeshrekiSM96:::Rhonda Eller-Meshreki::Todd Saundurs::Samer Meshreki:::An Architecture for Planning with External Information Points in a Real-Time System.
conf/acm/FontanaFA85:::Maxine Fontana::Richard Fletcher::John Atkins:::A Batch-Oriented Network Database Management System.
conf/acm/BozyigitM90:::M. Bozyigit::M. Melhi:::Dynamic Load Balancing in Distributed Real-Time Systems (Abstract).
conf/acm/BrownFPR93:::Cynthia A. Brown::Harriet J. Fell::Viera K. Proulx::Richard Rasala:::Instructional Frameworks: Toolkits and Abstractions in Introductory Computer Science.
conf/acm/Impagliazzo94:::John Impagliazzo:::An Industry Perspective on Computer Science Accreditation (Abstract).
conf/acm/Mulder94:::Michael Mulder:::The Education of the New Information Specialist (Abstract).
conf/acm/KubickaS89:::E. Kubicka::A. J. Schwenk:::An Introduction to Chromatic Sums.
conf/adb/Buchmann94:::Alejandro P. Buchmann:::Database Management for Real-Time Applications.
conf/adb/ThimmR94:::Heiko Thimm::Thomas C. Rakow:::A DBMS-Based Multimedia Archiving Teleservice Incorporating Mail.
conf/adb/ParadinasV94:::Pierre Paradinas::Jean-Jacques Vandewalle:::A Personal and Portable Database Server: the CQL Card.
conf/adc/DenwattanaG01:::Nuansri Denwattana::Janusz R. Getta:::A parameterised algorithm for mining association rules.
conf/adc/Kuo93:::Dean Kuo:::Verification of a Two Pass Restart Algorithm for ARIES.
conf/adc/Campbell95:::L. Campbell:::Reverse Engineering Using Verbalization Techniques.
conf/adc/KimG96:::Chae-Kyu Kim::Janusz R. Getta:::Hybrid Concurrency Control in Database Systems.
conf/adc/LiOL99:::Hui Li::Maria E. Orlowska::Chengfei Liu:::A Normal Form on Functional Dependencies in Object-Oriented Data Models.
conf/adc/MaSN03:::Liping Ma::John Shepherd::Anh Nguyen:::Document Classification via Structure Synopses.
conf/adc/LiuV01:::Jixue Liu::Millist W. Vincent:::Derivation of incremental equations for nested relations.
conf/adc/FrasincarHP02:::Flavius Frasincar::Geert-Jan Houben::Cristian Pau:::XAL: An Algebra For XML Query Optimization.
conf/adc/YangCP95:::Jian Yang::P. Chen::Mike P. Papazoglou:::Schema Analysis: Methodology, Techniques, and Prototype.
conf/adc/HarangsriSN96:::Banchong Harangsri::John Shepherd::Anne H. H. Ngu:::Query Classification in Multidatabase Systems.
conf/adc/Melton00:::Jim Melton:::Database Standards: Silver Bullet or Boat Anchor?
conf/adc/RellyK93:::Lukas Relly::Alan J. Kent:::Indexing in an Extensible Database System.
conf/adc/LefebvreBT93:::Alexandre Lefebvre::Peter Bernus::Rodney W. Topor:::Querying Heterogeneous Databases: A Case Study.
conf/adc/SchreflKRP01:::Michael Schrefl::Elisabeth Kapsammer::Werner Retschitzegger::Birgit Pröll:::Self-maintaining web pages: an overview.
conf/adc/HofstedePW95:::Arthur H. M. ter Hofstede::Henderik Alex Proper::Theo P. van der Weide:::Computer Supported Query Formulation in an Evolving Context.
conf/adg/KortenkampR00:::Ulrich Kortenkamp::Jürgen Richter-Gebert:::Decision Complexity in Dynamic Geometry.
conf/adg/Kapur96:::Deepak Kapur:::Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets.
conf/adg/Fearnley-SanderS96:::Desmond Fearnley-Sander::Timothy Stokes:::Area in Grassmann Geometry.
conf/adg/HoffmannY00:::Christoph M. Hoffmann::Bo Yuan:::On Spatial Constraint Solving Approaches.
conf/acs/Kaldewaij83:::Anne Kaldewaij:::Trace Theory and the Specification of Concurrent Systems.
conf/acs/BarringerK83:::Howard Barringer::Ruurd Kuiper:::Towards the Hierarchical, Temporal Logic, Specification.
conf/acs/Pratt83:::Vaughan R. Pratt:::Two-way Channel with Disconnect.
conf/acs/Thiagarajan83:::P. S. Thiagarajan:::Some Aspects of Net Theory.
conf/acs/Milner83a:::Robin Milner:::Parallel Combinator Reduction Machine.
conf/acs/Hoare83a:::C. A. R. Hoare:::Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.
conf/adl/Bohm00:::Klemens Böhm:::On Extending the XML Engine with Query-Processing Capabilities.
conf/adl/ChengDNPKWAAFSSS97:::X. Cheng::Ron Dolin::M. Neary::Sunil Prabhakar::Kothuri Venkata Ravi Kanth::Daniel Wu::Divyakant Agrawal::Amr El Abbadi::Michael Freeston::Ambuj K. Singh::Terence R. Smith::Jianwen Su:::Scalable Access Within the Context of Digital Libraries.
conf/adl/KleinF97:::Bertin Klein::Peter Frankhauser:::Error Tolerant Document Structure Analysis.
conf/adl/CrestaniL99:::Fabio Crestani::Puay Leng Lee:::WebSCSA: Web Search by Constrained Spreading Activation.
conf/adl/DoanPS96:::Khoa Doan::Catherine Plaisant::Ben Shneiderman:::Query Previews in Networked Information Systems.
conf/adl/BouguettayaM95:::Athman Bouguettaya::Stephen Milliner:::Data Discovery in Large Scale Heterogeneous and Autonomous Databases.
conf/adl/HanCPYL98:::J. J. Han::J. H. Choi::J. J. Park::J. D. Yang::J. K. Lee:::An Object-Based Information Retrieval Model: Toward the Structural Construction of Thesauri.
conf/adl/ChimLLS98:::Jimmy H. P. Chim::Rynson W. H. Lau::Hong Va Leong::Antonio Si:::Multi-Resolution Cache Management in Digital Virtual Library.
conf/adt/Scollo86:::Giuseppe Scollo:::On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types.
conf/adt/HofbauerK88:::Dieter Hofbauer::Ralf-Detlef Kutsche:::Proving Inductive Theorems in Equational Theories.
conf/adt/Brueck86:::Peter Brueck:::ADT as a Design Concept for CHILL.
conf/adt/Moller83:::Bernhard Möller:::Ordered and Continuous Models of Algebraic Types.
conf/adt/Veloso83:::Paulo A. S. Veloso:::Problems as Abstract Data Types: Applications to Program Construction.
conf/adt/Padawitz82:::Peter Padawitz:::On the Proof of Completeness and Consistency.
conf/adt/AstesianoGR88:::Egidio Astesiano::Alessandro Giovini::Gianna Reggio:::Data in a Concurrent Environment.
conf/adt/Luft83:::Alfred L. Luft:::Scientific-Theoretic Foundations of the Concept of Abstract Data Type.
conf/adt/Gogolla83:::Martin Gogolla:::Algebraic Specification of Subsorts.
conf/adt/Vrancken87:::J. L. M. Vrancken:::The Algebraic Specification of Semi-Computable Data Types.
conf/adt/Yunzeng86:::Wu Yunzeng:::On Formalization and Its Related Notions.
conf/adt/Loeckx83:::Jacques Loeckx:::Program Verification with fewer Tears.
conf/adt/EhrigFH83:::Hartmut Ehrig::Werner Fey::Horst Hansen:::ACT ONE - An Algebraic Specification Language with two Levels of Semantics.
conf/adt/AstesianoC88:::Egidio Astesiano::Maura Cerioli:::Models and Logical Deduction in Partial Higher-Order Conditional Specifications.
conf/adt/HaslerKLR83:::Klaus-Peter Hasler::Hans-Jörg Kreowski::Michael Löwe::Michaela Reisin:::Suggestions on the Interpretation of Algebraic Specifications.
conf/adt/LoeckxH88:::Jacques Loeckx::Annette Hoffmann:::Verification in OBSCURE.
conf/adt/Pepper88:::Peter Pepper:::An Algebraic View of Local Formalisms.
conf/adt/Meinke90:::Karl Meinke:::Universal Algebra in Higher Types.
conf/adt/LipeckE83:::Udo W. Lipeck::Hans-Dieter Ehrich:::Algebraic Specifications of Database Constraints.
conf/adt/LermenL84:::Claus-Werner Lermen::Jacques Loeckx:::OBSCURE, A New Specification Language.
conf/adt/Klaeren83:::Herbert Klaeren:::Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications.
conf/adt/SannellaT84:::Donald Sannella::Andrzej Tarlecki:::Some Thoughts on Algebraic Specification.
conf/adt/Ganzinger82:::Harald Ganzinger:::Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability.
conf/adt/PalmaM83:::W. Di Palma::Gianfranco Mascari:::Abstract Data Types and Categorical Logic.
conf/aes/WeeksBRF00:::Bryan Weeks::Mark Bean::Tom Rozylowicz::Chris Ficke:::Hardware Performance Simulations of Round 2 Advanced Encryption Standard Algorithms.
conf/afp/SwierstraD96:::S. Doaitse Swierstra::Luc Duponcheel:::Deterministic, Error-Correcting Combinator Parsers.
conf/afp/Augusteijn98:::Lex Augusteijn:::Sorting Morphisms.
conf/afp/Augustsson98:::Lennart Augustsson:::Cayenne - A Language with Dependent Types.
conf/afp/HallgrenC95:::Thomas Hallgren::Magnus Carlsson:::Programming with Fudgets.
conf/aii/Shinohara85:::Takeshi Shinohara:::Some problems on inductive inference from positive data.
conf/aii/Thornton89:::Christopher J. Thornton:::Analogical Inference as Generalised Inductive Inference.
conf/aii/KomjathS85:::Péter Komjáth::Zsolt Mihály Szabó:::Orientation problems on sequences by recursive functions.
conf/aii/CaseRS92:::John Case::Dayanand S. Rajan::Anil M. Shende:::Representing the Spatial/Kinematic Domain and Lattice Computers.
conf/aii/WiehagenZ92:::Rolf Wiehagen::Thomas Zeugmann:::Too Much Can be Too Much for Learning Efficiently.
conf/aii/MelisM86:::Ch. Melis::Erica Melis:::Some Considerations About Formalization of Analogical Reasoning.
conf/aii/GasarchS86:::William I. Gasarch::Carl H. Smith:::On the Inference of Sequences of Functions.
conf/aii/GasarchV92:::William I. Gasarch::Mahendran Velauthapillai:::Asking Questions Versus Verifiability.
conf/alc/Srinivas97:::Yellamraju V. Srinivas:::Refinement of parameterized algebraic specifications.
conf/alp/Dahn88:::Bernd I. Dahn:::Boolean Valued Models and Incomplete Specifications.
conf/alp/AlpuenteFV94:::María Alpuente::Moreno Falaschi::Germán Vidal:::Compositional Analysis for Equational Horn Programs.
conf/alp/LiuL88:::Dongbo Liu::Deyi Li:::Fuzzy Reasoning Based on F-Horn Clause Rules.
conf/alp/Hardin92:::Thérèse Hardin:::Eta-conversion for the Languages of Explicit Substitutions.
conf/alp/GabbrielliL90:::Maurizio Gabbrielli::Giorgio Levi:::Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs.
conf/alp/BoudetC92:::Alexandre Boudet::Evelyne Contejean:::On <i>n</i>-Syntactic Equational Theories.
conf/alp/Balbiani94:::Philippe Balbiani:::Equation Solving in Projective Planes and Planar Ternary Rings.
conf/alp/DershowitzL90:::Nachum Dershowitz::Naomi Lindenstrauss:::An Abstract Concurrent Machine for Rewriting.
conf/alp/SuzukiNI97:::Taro Suzuki::Koji Nakagawa::Tetsuo Ida:::Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.
conf/alp/BuenoHMR94:::Francisco Bueno::Manuel V. Hermenegildo::Ugo Montanari::Francesca Rossi:::From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.
conf/alp/Hermann92:::Miki Hermann:::On the Relation Between Primitive Recursion, Schematization and Divergence.
conf/alp/Kucherov88:::Gregory Kucherov:::A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction.
conf/alp/HansenL88:::Horst Hansen::Michael Löwe:::Modular Algebraic Specifications.
conf/alp/Benhamou96:::Frédéric Benhamou:::Heterogeneous Constraint Solving.
conf/alp/PierroD96:::Alessandra Di Pierro::Wlodzimierz Drabent:::On Negation As Instantiation.
conf/alp/Steinbach90:::Joachim Steinbach:::AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.
conf/alp/NedjahWE97:::Nadia Nedjah::Colin D. Walter::Stephen E. Eldridge:::Optimal Left-to-Right Pattern-Matching Automata.
conf/alp/Echahed92:::Rachid Echahed:::Uniform Narrowing Strategies.
conf/alp/Hanus92:::Michael Hanus:::Incremental Rewriting in Narrowing Derivations.
conf/alp/HoffmannP88:::Berthold Hoffmann::Detlef Plump:::Jungle Evaluation for Efficient Term Rewriting.
conf/als/FleischerMS03:::Jason Fleischer::Stephen Marsland::Jonathan Shapiro:::Sensory Anticipation for Autonomous Selection of Robot Landmarks.
conf/als/Hoffmann03:::Joachim Hoffmann:::Anticipatory Behavioral Control.
conf/alt/Fukumizu98:::Kenji Fukumizu:::Generalization Error of Limear Neural Networks in Unidentifiable Cases.
conf/alt/Akaho92:::Shotaro Akaho:::Regularization Learning of Neural Networks for Generalization.
conf/alt/ApsitisFSS98:::Kalvis Apsitis::Rusins Freivalds::Raimonds Simanovskis::Juris Smotrovs:::Closedness Properties in EX-Identification of Recursive Functions.
conf/alt/Abe94:::Naoki Abe:::Towards Realistic Theories of Learning.
conf/alt/Zilles01:::Sandra Zilles:::On the Comparison of Inductive Inference Criteria for Uniform Learning of Finite Classes.
conf/alt/Arima90:::Jun Arima:::Analog by Simulation - A Weak Justification Method (Preliminary Report).
conf/alt/JainKW96:::Sanjay Jain::Efim B. Kinber::Rolf Wiehagen:::On Learning and Co-learning of Minimal Programs.
conf/alt/JainLN97:::Sanjay Jain::Steffen Lange::Jochen Nessel:::Learning of R.E. Languages from Good Examples.
conf/alt/DenisG97:::François Denis::Rémi Gilleron:::PAC Learning under Helpful Distributions.
conf/alt/Hirata94:::Kouichi Hirata:::Rule-Generating Abduction for Recursive Prolog.
conf/alt/Schapire98:::Robert E. Schapire:::Theoretical Views of Boosting and Applications.
conf/alt/Sakakibara95:::Yasubumi Sakakibara:::Grammatical Inference: An Old and New Paradigm.
conf/alt/Kapur92:::Shyam Kapur:::Monotonic Language Learning.
conf/alt/LangeZ94:::Steffen Lange::Thomas Zeugmann:::Set-Driven and Rearrangement-Independent Learning of Recursive Languages.
conf/alt/Cesa-Bianchi90:::Nicolò Cesa-Bianchi:::Learning the Distribution in the Extended PAC Model.
conf/alt/Konagaya92:::Akihiko Konagaya:::A Stochastic Approach to Genetic Information Processing.
conf/alt/Reidenbach02:::Daniel Reidenbach:::A Negative Result on Inductive Inference of Extended Pattern Languages.
conf/alt/BaxterO96:::Rohan A. Baxter::Jonathan J. Oliver:::The Kindest Cut: Minimum Message Length Segmentation.
conf/alt/KimuraTS94:::Shigetomo Kimura::Atsushi Togashi::Norio Shiratori:::Synthesis Algorithm for Recursive Process by µ-calculus (Extended Abstract).
conf/alt/Matsuoka92:::Masahiro Matsuoka:::An Application Of Bernstein Polynomials in PAC Model.
conf/alt/LangeGJ01:::Steffen Lange::Gunter Grieser::Klaus P. Jantke:::Extending Elementary Formal Systems.
conf/alt/Nakamura97:::Atsuyoshi Nakamura:::An Efficient Exact Learning Algorithm for Ordered Binary Decision Diagrams.
conf/alt/Har-PeledRZ02:::Sariel Har-Peled::Dan Roth::Dav Zimak:::Constraint Classification: A New Approach to Multiclass Classification.
conf/alt/MofizurN94:::Chowdhury Rahman Mofizur::Masayuki Numao:::Constructive Induction for Recursive Programs.
conf/alt/Viksna93:::Juris Viksna:::Learning With Growing Quality.
conf/alt/Shawe-TaylorWCK02:::John Shawe-Taylor::Chris Williams::Nello Cristianini::Jaz S. Kandola:::On the Eigenspectrum of the Gram Matrix and Its Relationship to the Operator Eigenspectrum.
conf/alt/ZhangN97:::Xiaolong Zhang::Masayuki Numao:::Learning and Revising Theories in Noisy Domains.
conf/alt/ArimuraIS95:::Hiroki Arimura::Hiroki Ishizaka::Takeshi Shinohara:::Learning Unions of Tree Patterns Using Queries.
conf/alt/Mukouchi92:::Yasuhito Mukouchi:::Inductive Inference with Bounded Mind Changes.
