-
Notifications
You must be signed in to change notification settings - Fork 1
/
x0010
executable file
·200 lines (200 loc) · 22.4 KB
/
x0010
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
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 & 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.