CoRR, November 1998

• Lunjin Lu:
  A Polymorphic Groundness Analysis of Logic Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/9811001]
• Serguei P. Tsarev:
  Factorization of linear partial differential operators and Darboux integrability of nonlinear PDEs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/9811002]
• Andrew R. Golding, Dan Roth:
  A Winnow-Based Approach to Context-Sensitive Spelling Correction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/9811003]
• Mark D. Roberts:
  Radical Interpretation Described using Terms from Biological Evolution. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811004]
• Lane A. Hemaspaandra, Alan L. Selman:
  Writing and Editing Complexity Theory: Tales and Tools. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GL/9811005]
• Inderjeet Mani, Eric Bloedorn:
  Machine Learning of Generic and User-Focused Summarization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811006]
• Leonard J. Bass, Gary J. Chastek, Paul C. Clements, Linda M. Northrop, Dennis B. Smith, James Withey:
  Second Product Line Practice Workshop Report. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/9811007]
• Philip Edmonds:
  Translating near-synonyms: Possibilities and preferences in the interlingua. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811008]
• Philip Edmonds:
  Choosing the Word Most Typical in Context Using a Lexical Co-occurrence Network. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811009]
• Dan Roth:
  Learning to Resolve Natural Language Ambiguities: A Unified Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811010]
• Robert J. Ellison, Richard C. Linger, Thomas A. Longstaff, Nancy R. Mead:
  Case Study in Survivable Network System Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/9811011]
• Lunjin Lu:
  Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/9811012]
• Philip A. Bernstein, Michael L. Brodie, Stefano Ceri, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Jim Gray, Gerald Held, Joseph M. Hellerstein, H. V. Jagadish, Michael Lesk, David Maier, Jeffrey F. Naughton, Hamid Pirahesh, Michael Stonebraker, Jeffrey D. Ullman:
  The Asilomar Report on Database Research. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/9811013]
• Egon Börger, James K. Huggins:
  Abstract State Machines 1988-1998: Commented ASM Bibliography. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/9811014]
• Lunjin Lu, John G. Cleary:
  An Emptiness Algorithm for Regular Types with Set Operators. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/9811015]
• Martin Volk, Gerold Schneider:
  Comparing a statistical and a rule-based tagger for German. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811016]
• Krzysztof R. Apt, Marc Bezem:
  Formulas as Programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/9811017]
• Mark D. Roberts:
  P-model Alternative to the T-model. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811018]
• Therese C. Biedl, Erik D. Demaine, Martin L. Demaine, Sylvain Lazard, Anna Lubiw, Joseph O'Rourke, Mark H. Overmars, Steve Robbins, Ileana Streinu, Godfried T. Toussaint, Sue Whitesides:
  Locked and Unlocked Polygonal Chains in 3D. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/9811019]
• Elizabeth Anderson, Robert Atkinson, Cynthia Crego, Jean Slisz, Sara Tompson:
  Digitizing Legacy Documents: A Knowledge-Base Preservation Project. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DL/9811020]
• Bernardo Kastrup:
  Automatic Hardware Synthesis for a Hybrid Reconfigurable CPU Featuring Philips CPLDs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/9811021]
• Ciprian Chelba, Frederick Jelinek:
  Expoiting Syntactic Structure for Language Modeling. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811022]
• Lance Fortnow, John D. Rogers:
  Complexity limitations on quantum computation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/9811023]
• Krzysztof R. Apt:
  The Essence of Constraint Propagation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/9811024]
• Ciprian Chelba:
  A Structured Language Model. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/9811025]
• Tarjin Rahman, Paul Muter:
  Designing an interface to optimize reading with small display windows. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/9811026]
• Jean-Philippe Martin-Flatin:
  Push vs. Pull in Web-Based Network Management. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/9811027]
• H. T. Kung, S. Y. Wang:
  TCP Trunking. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/9811028]
• Igor Ivanisevic, Vladimir J. Lumelsky:
  A Human - machine interface for teleoperation of arm manipulators in a complex environment. , (informal publication)
  Electronic Edition (link) BibTeX [cs.RO/9811029]
• Gerald Corrigan, Noel Massey, Orhan Karaali:
  Generating Segment Durations in a Text-To-Speech System: A Hybrid Rule-Based/Neural Network Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/9811030]
• Orhan Karaali, Gerald Corrigan, Ira A. Gerson:
  Speech Synthesis with Neural Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/9811031]
• Orhan Karaali, Gerald Corrigan, Ira A. Gerson, Noel Massey:
  Text-To-Speech Conversion with Neural Networks: A Recurrent TDNN Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/9811032]
• Harry Buhrman, Ronald de Wolf:
  Lower Bounds for Quantum Search and Derandomization. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/9811046]
• Samuel J. Lomonaco:
  A Quick Glance at Quantum Cryptography. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/9811056]
• Andris Ambainis:
  A note on quantum black-box complexity of almost all Boolean functions. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/9811080]