Computer Science

Authors and titles for November 1998

[1] arXiv:cs/9811001 [pdf, other]

Title: A Polymorphic Groundness Analysis of Logic Programs

Lunjin Lu (University of Waikato)

Comments: 30 pages

Subjects: Programming Languages (cs.PL)

[2] arXiv:cs/9811002 [pdf, other]

Title: Factorization of linear partial differential operators and Darboux integrability of nonlinear PDEs

Serguei P. Tsarev

Comments: LaTeX 2.09, this http URL (included in the tar file), 8 pages. Presented at the Poster session of ISSAC'98 (Rostock, Germany)

Subjects: Symbolic Computation (cs.SC); Exactly Solvable and Integrable Systems (nlin.SI)

[3] arXiv:cs/9811003 [pdf, other]

Title: A Winnow-Based Approach to Context-Sensitive Spelling Correction

Andrew R. Golding, Dan Roth

Comments: To appear in Machine Learning, Special Issue on Natural Language Learning, 1999. 25 pages

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL)

[4] arXiv:cs/9811004 [pdf, other]

Title: Does Meaning Evolve?

Mark D. Roberts

Comments: title changed, completely rewritten, new version 37 pages previous version 28 pages, to appear in Behaviour and Philosophy

Subjects: Computation and Language (cs.CL); Populations and Evolution (q-bio.PE)

[5] arXiv:cs/9811005 [pdf, other]

Title: Writing and Editing Complexity Theory: Tales and Tools

Lane A. Hemaspaandra, Alan L. Selman

Comments: 11 pages. Will appear in the SIGACT News Complexity Theory Column

Subjects: General Literature (cs.GL); Computational Complexity (cs.CC)

[6] arXiv:cs/9811006 [pdf, other]

Title: Machine Learning of Generic and User-Focused Summarization

Inderjeet Mani, Eric Bloedorn

Comments: In Proceedings of the Fifteenth National Conference on AI (AAAI-98), p. 821-826

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)

[7] arXiv:cs/9811007 [pdf, other]

Title: Second Product Line Practice Workshop Report

L. Bass, G. Chastek, P. Clements, L. Northrop, D. Smith, J. Withey

Subjects: Software Engineering (cs.SE)

[8] arXiv:cs/9811008 [pdf, other]

Title: Translating near-synonyms: Possibilities and preferences in the interlingua

Philip Edmonds (University of Toronto)

Comments: 8 pages, LaTeX2e, 1 eps figure, uses this http URL, this http URL, this http URL, this http URL

Journal-ref: Proceedings of the AMTA/SIG-IL Second Workshop on Interlinguas, October 1998

Subjects: Computation and Language (cs.CL)

[9] arXiv:cs/9811009 [pdf, other]

Title: Choosing the Word Most Typical in Context Using a Lexical Co-occurrence Network

Philip Edmonds (University of Toronto)

Comments: 3 pages, LaTeX2e, 1 ps figure, uses this http URL, this http URL, this http URL

Journal-ref: Proceedings of ACL-EACL '97, student session

Subjects: Computation and Language (cs.CL)

[10] arXiv:cs/9811010 [pdf, other]

Title: Learning to Resolve Natural Language Ambiguities: A Unified Approach

Dan Roth

Journal-ref: Proceedings of of AAAI'98 pp. 806--813

Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)

[11] arXiv:cs/9811011 [pdf, other]

Title: Case Study in Survivable Network System Analysis

Robert Ellison, Rick Linger, Thomas Longstaff, Nancy Mead

Subjects: Software Engineering (cs.SE)

[12] arXiv:cs/9811012 [pdf, other]

Title: Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs

Lunjin Lu (University of Waikato)

Comments: 39 pages

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[13] arXiv:cs/9811013 [pdf, other]

Title: The Asilomar Report on Database Research

Phil Bernstein, Michael Brodie, Stefano Ceri, David DeWitt, Mike Franklin, Hector Garcia-Molina, Jim Gray, Jerry Held, Joe Hellerstein, H. V. Jagadish, Michael Lesk, Dave Maier, Jeff Naughton, Hamid Pirahesh, Mike Stonebraker, Jeff Ullman

Comments: 20 pages in HTML; an original in MSword at this http URL

Journal-ref: ACM SIGMOD Record, December 1998

Subjects: Databases (cs.DB); Digital Libraries (cs.DL)

[14] arXiv:cs/9811014 [pdf, other]

Title: Abstract State Machines 1988-1998: Commented ASM Bibliography

Egon Boerger, James K. Huggins

Comments: Also maintained as a BibTeX file at this http URL

Journal-ref: Formal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64, February 1998, 105--127

Subjects: Software Engineering (cs.SE)

[15] arXiv:cs/9811015 [pdf, other]

Title: An Emptiness Algorithm for Regular Types with Set Operators

Lunjin Lu, John G. Cleary (University of Waikato)

Comments: 22 pages

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[16] arXiv:cs/9811016 [pdf, other]

Title: Comparing a statistical and a rule-based tagger for German

Martin Volk, Gerold Schneider (University of Zurich)

Comments: 8 pages

Subjects: Computation and Language (cs.CL)

[17] arXiv:cs/9811017 [pdf, other]

Title: Formulas as Programs

Krzysztof R. Apt, Marc Bezem

Comments: 34 pages, appears in: The Logic Programming Paradigm: a 25 Years Perspective, K.R. Apt, V. Marek, M. Truszczynski and D.S. Warren (eds), Springer-Verlag, Artificial Intelligence Series

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[18] arXiv:cs/9811018 [pdf, other]

Title: P-model Alternative to the T-model

Mark D. Roberts

Comments: 28 pages, 73262 bytes, six eps diagrams, 53 references, background to this work is described: this http URL

Subjects: Computation and Language (cs.CL); Neurons and Cognition (q-bio.NC)

[19] arXiv:cs/9811019 [pdf, other]

Title: Locked and Unlocked Polygonal Chains in 3D

T. Biedl, E. Demaine, M. Demaine, S. Lazard, A. Lubiw, J. O'Rourke, M. Overmars, S. Robbins, I. Streinu, G. Toussaint, S. Whitesides

Comments: To appear in Proc. 10th ACM-SIAM Sympos. Discrete Algorithms, Jan. 1999

Journal-ref: Proc. 10th ACM-SIAM Sympos. Discrete Algorithms, Jan. 1999, pp. S866-7.

Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Robotics (cs.RO)

[20] arXiv:cs/9811020 [pdf, other]

Title: Digitizing Legacy Documents: A Knowledge-Base Preservation Project

Elizabeth Anderson, Robert Atkinson, Cynthia Crego, Jean Slisz, Sara Tompson

Comments: 21 pages, 5 figures

Journal-ref: IllinoisLibraries80:211-219,1998

Subjects: Digital Libraries (cs.DL)

[21] arXiv:cs/9811021 [pdf, other]

Title: Automatic Hardware Synthesis for a Hybrid Reconfigurable CPU Featuring Philips CPLDs

Bernardo Kastrup

Comments: 6 pages, 7 figures, PACT '98 Workshop on Reconfigurable Computing

Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR)

[22] arXiv:cs/9811022 [pdf, other]

Title: Expoiting Syntactic Structure for Language Modeling

Ciprian Chelba, Frederick Jelinek (CLSP The Johns Hopkins University)

Comments: changed ACM-class membership and buggy author names

Journal-ref: Proceedings of ACL'98, Montreal, Canada

Subjects: Computation and Language (cs.CL)

[23] arXiv:cs/9811023 [pdf, other]

Title: Complexity limitations on quantum computation

Lance Fortnow, John D. Rogers

Comments: 13 pages, no figures; presented at the 13th annual Conference on Computational Complexity (1998); submitted to the Journal of Computer and System Sciences

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[24] arXiv:cs/9811024 [pdf, other]

Title: The Essence of Constraint Propagation

Krzysztof R. Apt

Comments: To appear in Theoretical Computer Science in the special issue devoted to the 24th ICALP conference (Bologna 1997)

Subjects: Artificial Intelligence (cs.AI)

[25] arXiv:cs/9811025 [pdf, other]

Title: A Structured Language Model

Ciprian Chelba (CLSP, The Johns Hopkins University, USA)

Comments: changed ACM-class membership, Proceedings of ACL-EACL'97, Student Section, Madrid, Spain

Subjects: Computation and Language (cs.CL)

[26] arXiv:cs/9811026 [pdf, other]

Title: Designing an interface to optimize reading with small display windows

Tarjin Rahman, Paul Muter

Journal-ref: Human Factors 41 (1999) 106-117

Subjects: Human-Computer Interaction (cs.HC)

[27] arXiv:cs/9811027 [pdf, other]

Title: Push vs. Pull in Web-Based Network Management

J.P. Martin-Flatin

Comments: 21 pages, submitted to IM'99, this http URL

Subjects: Networking and Internet Architecture (cs.NI)

[28] arXiv:cs/9811028 [pdf, other]

Title: TCP Trunking

H.T. Kung, S.Y. Wang

Comments: postscript file

Subjects: Networking and Internet Architecture (cs.NI)

[29] arXiv:cs/9811029 [pdf, other]

Title: A Human - machine interface for teleoperation of arm manipulators in a complex environment

I. Ivanisevic, V. Lumelsky

Comments: Appeared in Proc. IROS, Oct. 1998

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[30] arXiv:cs/9811030 [pdf, other]

Title: Generating Segment Durations in a Text-To-Speech System: A Hybrid Rule-Based/Neural Network Approach

Gerald Corrigan, Noel Massey, Orhan Karaali

Comments: 4 pages, PostScript

Journal-ref: Proceedings of Eurospeech (1997) 2675-2678. Rhodes, Greece

Subjects: Neural and Evolutionary Computing (cs.NE); Human-Computer Interaction (cs.HC)

[31] arXiv:cs/9811031 [pdf, other]

Title: Speech Synthesis with Neural Networks

Orhan Karaali, Gerald Corrigan, Ira Gerson

Comments: 6 pages, PostScript

Journal-ref: World Congress on Neural Networks (1996) 45-50. San Diego

Subjects: Neural and Evolutionary Computing (cs.NE); Human-Computer Interaction (cs.HC)

[32] arXiv:cs/9811032 [pdf, other]

Title: Text-To-Speech Conversion with Neural Networks: A Recurrent TDNN Approach

Orhan Karaali, Gerald Corrigan, Ira Gerson, Noel Massey

Comments: 4 pages, PostScript

Journal-ref: Proceedings of Eurospeech (1997) 561-564. Rhodes, Greece

Subjects: Neural and Evolutionary Computing (cs.NE); Human-Computer Interaction (cs.HC)

[33] arXiv:math/9811125 [pdf, other]

Title: Approximate Models of Dynamic Thermoviscoelasticity Describing Shape-Memory-Alloy Phase Transitions

R.V.N. Melnik, A.J. Roberts

Comments: 15 pages, 2 figures

Subjects: Numerical Analysis (math.NA)

[34] arXiv:quant-ph/9811046 (cross-list from quant-ph) [pdf, other]

Title: Lower Bounds for Quantum Search and Derandomization

Harry Buhrman (CWI), Ronald de Wolf (CWI and U Amsterdam)

Comments: 12 pages LaTeX. Submitted to CCC'99 (formerly Structures)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[35] arXiv:quant-ph/9811056 (cross-list from quant-ph) [pdf, other]

Title: A Quick Glance at Quantum Cryptography

Samuel J. Lomonaco

Comments: 54 pages, LaTeX with 6 figures as well as 3 graphics files embedded as text on pages 40 and 41. To appear in Cryptologia. Document also found at this http URL . In this version, problems with figures have been corrected

Subjects: Quantum Physics (quant-ph); Cryptography and Security (cs.CR)

[36] arXiv:quant-ph/9811080 (cross-list from quant-ph) [pdf, other]

Title: A note on quantum black-box complexity of almost all Boolean functions

Andris Ambainis

Comments: 4 pages, LaTeX

Journal-ref: Inform.Proc.Lett. 71 (1999) 5-7

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)