Computer Science

Authors and titles for October 1998

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

Title: On Dart-Zobel Algorithm for Testing Regular Type Inclusion

Lunjin Lu, John G. Cleary

Comments: 16 pages

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

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

Title: Pre-fetching tree-structured data in distributed memory

Lex Weaver, Chris Johnson

Comments: 8 pages; added PDF version

Journal-ref: Proceedings of the Third Fujitsu Parallel Computing Workshop, pages P1-J-1 to P1-J-8, Kawasaki, Japan, November 1994. Fujitsu Laboratories Ltd

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Databases (cs.DB)

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

Title: A Linear Shift Invariant Multiscale Transform

Andreas Siebert

Comments: 4 pages, 5 figures

Journal-ref: Proceedings 1998 International Conference on Image Processing, Chicago, 4-7 October 1998

Subjects: Computer Vision and Pattern Recognition (cs.CV)

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

Title: The Design of EzWindows: A Graphics API for an Introductory Programming Course

Bruce R. Childers, James P. Cohoon, Jack W. Davidson, Peter Valle

Comments: 5 pages, 5 figures, conference submission

Subjects: Computers and Society (cs.CY); Graphics (cs.GR)

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

Title: Anytime Coalition Structure Generation with Worst Case Guarantees

Tuomas Sandholm, Kate Larson, Martin Andersson, Onn Shehory, Fernando Tohme

Journal-ref: Proceedings of the National Conference on Artificial Intelligence, pp 46-53, Madison, WI, July 1998

Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)

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

Title: The Tiny Tera: A Packet Switch Core

Nick McKeown (Stanford University), Martin Izzard (Texas Instruments), Adisak Mekkittikul (Stanford University), Bill Ellersick (Stanford University), Mark Horowitz (Stanford University)

Comments: 13 pages, 10 figures

Journal-ref: Hot Interconnects V, Stanford University, August 1996; IEEE Micro Jan/Feb 1997, pp 26-33

Subjects: Networking and Internet Architecture (cs.NI)

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

Title: Randomization yields simple O(n log star n) algorithms for difficult Omega(n) problems

Olivier Devillers

Comments: 16 pages, 6 figures, Proc. 3rd Canad. Conf. Comput. Geom., 1991

Journal-ref: Internat. J. Comput. Geom. Appl., 2(1):621--635, 1992

Subjects: Computational Geometry (cs.CG)

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

Title: Axiomatizing Flat Iteration

R. J. van Glabbeek (Stanford)

Comments: 15 pages. LaTeX 2.09. Filename: this http URL. On A4 paper print with: dvips -t a4 -O -2.15cm,-2.22cm -x 1225 flat. For US letter with: dvips -t letter -O -0.73in,-1.27in -x 1225 flat. More info at this http URL

Journal-ref: Proc. CONCUR '97, Warsaw, Poland, July 1997 (A. Mazurkiewicz and J. Winkowski, eds.), LNCS 1243, Springer-Verlag, 1997, pp. 228-242

Subjects: Logic in Computer Science (cs.LO)

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

Title: Object-Oriented Design of Graph Oriented Data Structures

Maurizio Pizzonia, Giuseppe Di Battista

Comments: 10 pages, 9 figures, code examples, ALENEX (accepted)

Subjects: Software Engineering (cs.SE); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)

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

Title: C++ Templates as Partial Evaluation

Todd L. Veldhuizen

Comments: 13 pages

Subjects: Programming Languages (cs.PL); Performance (cs.PF)

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

Title: Flysig: Dataflow Oriented Delay-Insensitive Processor for Rapid Prototyping of Signal Processing

Wolfram Hardt, Bernd Kleinjohann

Comments: 6 pages, 10 figures

Journal-ref: Nineth IEEE International Workshop on Rapid System Prototyping 1998, Belgium, IEEE Computer Society Press

Subjects: Hardware Architecture (cs.AR)

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

Title: Ultrametric Distance in Syntax

Mark D. Roberts

Comments: 28 pages, 55508 bytes, 16 eps diagrams, 39 references, some small changes from the previous version, matrices reset, background to this work can be found at: this http URL

Journal-ref: Prague Bulletin of Mathematical Linguistics 103 (2015) 111-130

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

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

Title: Early Experience with ASDL in lcc

David R. Hanson

Comments: 16 pages, 12 figures

Journal-ref: Software--Practice & Experience, vol. 29, no. 5, 417-435, Apr. 1999

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Resources for Evaluation of Summarization Techniques

Judith L. Klavans (Columbia University), Kathleen R. McKeown (Columbia University), Min-Yen Kan (Columbia University), Susan Lee (University of California at Berkeley)

Comments: LaTeX source, 5 pages, US Letter, uses this http URL

Journal-ref: in Proc. of First International Conference on Language Resources and Evaluation, Rubio, Gallardo, Castro, and Tejada (eds.), Granada, Spain, 1998

Subjects: Computation and Language (cs.CL)

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

Title: Restrictions on Tree Adjoining Languages

Giorgio Satta (Universita di Padova), William Schuler (University of Pennsylvania)

Comments: 7 pages LaTeX + 5 eps figures

Journal-ref: Proceedings of COLING-ACL'98

Subjects: Computation and Language (cs.CL)

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

Title: SYNERGY: A Linear Planner Based on Genetic Programming

Ion Muslea

Comments: 13 pages, European Conference on Planning 1997

Journal-ref: "Recent Advances in AI Planning" (Sam Steel & Rachid Alami eds.), p. 312-325, Springer 1997 (LNAI 1348)

Subjects: Artificial Intelligence (cs.AI)

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

Title: General Theory of Image Normalization

Stephen L. Adler

Comments: 33 pages, plain tex, no figures

Subjects: Computer Vision and Pattern Recognition (cs.CV)

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

Title: A Proof Theoretic View of Constraint Programming

Krzysztof R. Apt

Comments: 25 pages

Journal-ref: Fundamenta Informaticae 34(1998), pp. 295-321

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

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

Title: Gryphon: An Information Flow Based Approach to Message Brokering

Robert Strom, Guruduth Banavar, Tushar Chandra, Marc Kaplan, Kevan Miller, Bodhi Mukherjee, Daniel Sturman, Michael Ward

Comments: Two page extended abstract

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

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

Title: Computational Geometry Column 33

Joseph O'Rourke

Journal-ref: Internat. J. Comput. Geom. Appl., 8(3) 381-384, 1998. Also in SIGACT News, 29(2) (Issue 107) 14-16, 1998

Subjects: Computational Geometry (cs.CG); Artificial Intelligence (cs.AI); Graphics (cs.GR)

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

Title: Computational Geometry Column 32

Joseph O'Rourke

Journal-ref: Internat. J. Comput. Geom. Appl.,7(5) 509-513, 1997. Also in SIGACT News, 29(2) (Issue 107) 14-16, 1998

Subjects: Computational Geometry (cs.CG); Graphics (cs.GR)

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

Title: Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution

James K. Huggins

Subjects: Software Engineering (cs.SE)

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

Title: Equivalence is in the Eye of the Beholder

Yuri Gurevich, James K. Huggins

Comments: See also the ASM web site at this http URL

Journal-ref: Theoretical Computer Science (179) 1-2 (1997), 353-380

Subjects: Software Engineering (cs.SE)

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

Title: Evolving Algebras and Partial Evaluation

Yuri Gurevich, James K. Huggins

Comments: See also the web site at this http URL

Journal-ref: In IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, eds. B. Pehrson and I. Simon, North-Holland, Amsterdam, 587-592

Subjects: Software Engineering (cs.SE)

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

Title: An Offline Partial Evaluator for Evolving Algebras

James K. Huggins

Comments: See also the web site at this http URL

Subjects: Software Engineering (cs.SE)

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

Title: The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions

Yuri Gurevich, James K. Huggins

Comments: See also the web site at this http URL

Journal-ref: Selected papers from CSL'95, ed. H.K. Buening, Springer Lecture Notes in Computer Science 1092, 1996, 266--290

Subjects: Software Engineering (cs.SE)

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

Title: Linguistic Reflection in Java

G. N. C. Kirby, R. Morrison, D. W. Stemple

Comments: 25 pages. Source code for examples at this http URL Dynamic compilation package at this http URL

Journal-ref: Software - Practice & Experience 28, 10 (1998) pp 1045-1077

Subjects: Programming Languages (cs.PL)

[28] arXiv:math/9810022 [pdf, other]

Title: Active Libraries: Rethinking the roles of compilers and libraries

Todd L. Veldhuizen, Dennis Gannon

Comments: 16 pages, 1998 SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing

Subjects: Numerical Analysis (math.NA); Programming Languages (cs.PL)

[29] arXiv:cond-mat/9810144 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Relaxation in graph coloring and satisfiability problems

Pontus Svenson, Mats G. Nordahl

Comments: 13 pages, 22 figures. Several changes to text, figures added, section on feromagnetic model moved to a separate publication. Accepted for publication in Phys Rev. E

Journal-ref: Phys. Rev. E 59(4) 3983-3999 (1999)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Artificial Intelligence (cs.AI)

[30] arXiv:cond-mat/9810347 (cross-list from cond-mat) [pdf, other]

Title: An exact representation of the fermion dynamics in terms of Poisson processes and its connection with Monte Carlo algorithms

Matteo Beccaria, Carlo Presilla, Gian Fabrizio De Angelis, Giovanni Jona-Lasinio

Comments: 4 pages, 1 PostScript figure, REVTeX

Journal-ref: Europhys.Lett. 48 (1999) 243-249

Subjects: Condensed Matter (cond-mat); Data Structures and Algorithms (cs.DS); High Energy Physics - Lattice (hep-lat); Mathematical Physics (math-ph); Quantum Physics (quant-ph)

[31] arXiv:math/9810063 (cross-list from math.SP) [pdf, other]

Title: Spectral Instability for Some Schroedinger Operators

A. Aslanyan, E. B. Davies

Comments: 27 pages, 6 Postscript figures

Subjects: Spectral Theory (math.SP); Numerical Analysis (math.NA)

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

Title: Coin Tossing is Strictly Weaker Than Bit Commitment

Adrian Kent

Comments: Final version; to appear in Phys. Rev. Lett

Journal-ref: Phys.Rev.Lett. 83 (1999) 5382-5384

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

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

Title: Unconditionally Secure Bit Commitment

Adrian Kent

Comments: Typos corrected. Reference details added. To appear in Phys. Rev. Lett

Journal-ref: Phys.Rev.Lett. 83 (1999) 1447-1450

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