CoRR, September 1998

• Jörg Rothe:
  Immunity and Simplicity for Exact Counting and Other Counting Classes. , (informal publication)
  [cs.CC/9809001]
• Judy Goldsmith, Mitsunori Ogihara, Jörg Rothe:
  Tally NP Sets and Easy Census Functions. , (informal publication)
  [cs.CC/9809002]
• Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
  Common knowledge revisited. , (informal publication)
  [cs.LO/9809003]
• Jim Gray, Joshua Coates, Chris Nyberg:
  Performance / Price Sort. , (informal publication)
  [cs.DB/9809004]
• Jim Gray, Goetz Graefe:
  The Five-Minute Rule Ten Years Later, and Other Computer Storage Rules of Thumb. , (informal publication)
  [cs.DB/9809005]
• Werner Vogels, Dan Dumitriu, Kenneth P. Birman, Rod Gamache, Mike Massa, Rob Short, John Vert, Joe Barrera:
  The Design and Architecture of the Microsoft Cluster Service - A Practical Approach to High-Availability and Scalability. , (informal publication)
  [cs.OS/9809006]
• Jim Gray:
  Locally Served Network Computers. , (informal publication)
  [cs.AR/9809007]
• Catuscia Palamidessi:
  Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus. , (informal publication)
  [cs.PL/9809008]
• Ronald F. Boisvert, Jack Dongarra, Roldan Pozo, Karin A. Remington, G. W. Stewart:
  Developing numerical libraries in Java. , (informal publication)
  [cs.MS/9809009]
• Gordon Bell, Jim Gray:
  The Revolution Yet to Happen. , (informal publication)
  [cs.GL/9809010]
• Tom Barclay, Robert Eberl, Jim Gray, John Nordlinger, Guru Raghavendran, Donald R. Slutz, Greg Smith, Phil Smoot, John Hoffman, Natt Robb III, Hedy Rossmeissl, Beth Duff, George Lee, Theresa Mathesmier, Randall Sunne:
  Microsoft TerraServer. , (informal publication)
  [cs.DB/9809011]
• David R. Karger:
  A Fully Polynomial Randomized Approximation Scheme for the All Terminal Network Reliability Problem. , (informal publication)
  [cs.DS/9809012]
• Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
  Reasoning about Noisy Sensors and Effectors in the Situation Calculus. , (informal publication)
  [cs.AI/9809013]
• Gopalan Nadathur:
  Uniform Provability in Classical Logic. , (informal publication)
  [cs.LO/9809014]
• Gopalan Nadathur:
  Correspondences between Classical, Intuitionistic and Uniform Provability. , (informal publication)
  [cs.LO/9809015]
• Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon:
  Scoping Constructs in Logic Programming: Implementation Problems and their Solution. , (informal publication)
  [cs.PL/9809016]
• Harry B. Hunt III, Madhav V. Marathe, Venkatesh Radhakrishnan, Richard Edwin Stearns:
  The Complexity of Planar Counting Problems. , (informal publication)
  [cs.CC/9809017]
• Lorrie Faith Cranor, Rebecca N. Wright:
  Influencing Software Usage. , (informal publication)
  [cs.CY/9809018]
• Michael Manthey:
  Distributed Computation as Hierarchy. , (informal publication)
  [cs.DC/9809019]
• Min-Yen Kan, Judith L. Klavans, Kathleen McKeown:
  Linear Segmentation and Segment Significance. , (informal publication)
  [cs.CL/9809020]
• Francis Wolinski, Frantz Vichot, Olivier Gremont:
  Producing NLP-based On-line Contentware. , (informal publication)
  [cs.CL/9809021]
• Bernd Ludwig, Günther Görz, Heinrich Niemann:
  Modelling Users, Intentions, and Structure in Spoken Dialog. , (informal publication)
  [cs.CL/9809022]
• Davood Rafiei, Alberto O. Mendelzon:
  Similarity-Based Queries for Time Series Data. , (informal publication)
  [cs.DB/9809023]
• A Lexicalized Tree Adjoining Grammar for English. , (informal publication)
  [cs.CL/9809024]
• Bernardo A. Huberman, Lada A. Adamic:
  Novelty and Social Search in the World Wide Web. , (informal publication)
  [cs.MA/9809025]
• Mark-Jan Nederhof, Anoop Sarkar, Giorgio Satta:
  Prefix Probabilities from Stochastic Tree Adjoining Grammars. , (informal publication)
  [cs.CL/9809026]
• Anoop Sarkar:
  Conditions on Consistency of Probabilistic Tree Adjoining Grammars. , (informal publication)
  [cs.CL/9809027]
• Anoop Sarkar:
  Separating Dependency from Constituency in a Tree Rewriting System. , (informal publication)
  [cs.CL/9809028]
• Anoop Sarkar:
  Incremental Parser Generation for Tree Adjoining Grammars. , (informal publication)
  [cs.CL/9809029]
• Vern Paxson:
  Fast, Approximate Synthesis of Fractional Gaussian Noise for Generating Self-Similar Network Traffic. , (informal publication)
  [cs.NI/9809030]
• William Aiello, Mihir Bellare, Giovanni Di Crescenzo, Ramarathnam Venkatesan:
  Security amplification by composition: The case of doubly-iterated ideal ciphers. , (informal publication)
  [cs.CR/9809031]
• Victor W. Marek, Miroslaw Truszczynski:
  Stable models and an alternative logic programming paradigm. , (informal publication)
  [cs.LO/9809032]
• Davood Rafiei, Alberto O. Mendelzon:
  Efficient Retrieval of Similar Time Sequences Using DFT. , (informal publication)
  [cs.DB/9809033]
• Yannis Labrou, Timothy W. Finin:
  Semantics and Conversations for an Agent Communication Language. , (informal publication)
  [cs.MA/9809034]
• Jeff Erickson, Leonidas J. Guibas, Jorge Stolfi, Li Zhang:
  Separation-Sensitive Collision Detection for Convex Objects. , (informal publication)
  [cs.CG/9809035]
• Peter Stañski, Stephen Giles, Arkady B. Zaslavsky:
  Document Archiving, Replication and Migration Container for Mobile Web Users. , (informal publication)
  [cs.MA/9809036]
• Nina Amenta, Marshall W. Bern, David Eppstein, Shang-Hua Teng:
  Regression Depth and Center Points. , (informal publication)
  [cs.CG/9809037]
• David Eppstein:
  Incremental and Decremental Maintenance of Planar Width. , (informal publication)
  [cs.CG/9809038]
• Sonia Fahmy, Raj Jain:
  ABR Flow Control for Multipoint Connections. , (informal publication)
  [cs.NI/9809039]
• Bobby Vandalore, Sonia Fahmy, Raj Jain, Rohit Goyal, Mukul Goyal:
  Overload Based Explicit Rate Switch Schemes with MCR Guarantees. , (informal publication)
  [cs.NI/9809040]
• Bobby Vandalore, Raj Jain, Rohit Goyal, Sonia Fahmy:
  Design and Analysis of Queue Control Functions for Explicit Rate Switch Schemes. , (informal publication)
  [cs.NI/9809041]
• Bobby Vandalore, Sonia Fahmy, Raj Jain, Rohit Goyal, Mukul Goyal:
  A Definition of General Weighted Fairness and its Support in Explicit Rate Switch Algorithms. , (informal publication)
  [cs.NI/9809042]
• Bobby Vandalore, Shivkumar Kalyanaraman, Raj Jain, Rohit Goyal, Sonia Fahmy:
  Worst Case Buffer Requirements For Tcp Over ABR. , (informal publication)
  [cs.NI/9809043]
• Bobby Vandalore, Shivkumar Kalyanaraman, Raj Jain, Rohit Goyal, Sonia Fahmy:
  Simulation Study of World Wide Web traffic over the ATM ABR Service. , (informal publication)
  [cs.NI/9809044]
• Shivkumar Kalyanaraman, Bobby Vandalore, Raj Jain, Rohit Goyal, Sonia Fahmy, Seong-Cheol Kim, Sastri Kota:
  Performance of TCP over ABR with Long-Range Dependent VBR Background Traffic over Terrestrial and Satellite ATM networks. , (informal publication)
  [cs.NI/9809045]
• Sonia Fahmy, Raj Jain, Rohit Goyal, Bobby Vandalore:
  Fairness for ABR multipoint-to-point connections. , (informal publication)
  [cs.NI/9809046]
• Rohit Goyal, Raj Jain, Sonia Fahmy, Shobana Narayanaswamy:
  Modeling Traffic Management in ATM Networks with OPNET. , (informal publication)
  [cs.NI/9809047]
• Rohit Goyal, Steve Lai, Raj Jain, Arjan Durresi:
  laboratories for Data Communications and Computer Networks. , (informal publication)
  [cs.NI/9809048]
• Peter J. Bentley:
  Aspects of Evolutionary Design by Computers. , (informal publication)
  [cs.NE/9809049]
• Wolfgang Lezius, Reinhard Rapp, Manfred Wettler:
  A Freely Available Morphological Analyzer, Disambiguator and Context Sensitive Lemmatizer for German. , (informal publication)
  [cs.CL/9809050]
• Niels Ole Bernsen, Laila Dybkjær:
  Spoken Language Dialogue Systems and Components: Best practice in development and evaluation (DISC 24823) - Periodic Progress Report 1: Basic Details of the Action. , (informal publication)
  [cs.CL/9809051]
• Rohit Goyal, Sastri Kota, Raj Jain, Sonia Fahmy, Bobby Vandalore, Jerry Kallaus:
  Analysis and Simulation of Delay and Buffer Requirements of satellite-ATM Networks for TCP/IP Traffic. , (informal publication)
  [cs.NI/9809052]
• Rohit Goyal, Raj Jain, Shivkumar Kalyanaraman, Sonia Fahmy, Bobby Vandalore:
  Improving the Performance of TCP over the ATM-UBR service. , (informal publication)
  [cs.NI/9809053]
• Rohit Goyal, Raj Jain, Sonia Fahmy, Bobby Vandalore, Shivkumar Kalyanaraman:
  Design Issues for providing Minimum Rate Guarantees to the ATM Unspecified Bit Rate Service. , (informal publication)
  [cs.NI/9809054]
• Rohit Goyal, Raj Jain, Sonia Fahmy, Bobby Vandalore:
  Providing Rate Guarantees to TCP over the ATM GFR Service. , (informal publication)
  [cs.NI/9809055]
• Gojko Babic, Bobby Vandalore, Raj Jain:
  Analysis and Modeling of Traffic in Modern Data Communication Networks. , (informal publication)
  [cs.NI/9809056]
• Sonia Fahmy, Raj Jain, Shivkumar Kalyanaraman, Rohit Goyal, Bobby Vandalore:
  On Determining the Fair Bandwidth Share for ABR Connections in ATM Networks. , (informal publication)
  [cs.NI/9809057]
• Raj Jain, Shivkumar Kalyanaraman, Ram Viswanathan:
  The OSU Scheme for Congestion Avoidance in ATM Networks: Lessons Learnt and Extensions. , (informal publication)
  [cs.NI/9809058]
• Shivkumar Kalyanaraman, Raj Jain, Sonia Fahmy, Rohit Goyal, Bobby Vandalore:
  The ERICA Switch Algorithm for ABR Traffic Management in ATM Networks. , (informal publication)
  [cs.NI/9809059]
• Harry Buhrman, Tao Jiang, Ming Li, Paul M. B. Vitányi:
  New Applications of the Incompressibility Method: Part II. , (informal publication)
  [cs.CC/9809060]
• Tao Jiang, Ming Li, Paul M. B. Vitányi:
  New Applications of the Incompressibility Method: Part I. , (informal publication)
  [cs.CC/9809061]
• Sastri Kota, Rohit Goyal, Raj Jain:
  Satellite ATM Network Architectural Considerations and TCP/IP Performance. , (informal publication)
  [cs.NI/9809062]
• Bobby Vandalore, Shivkumar Kalyanaraman, Raj Jain, Rohit Goyal, Sonia Fahmy, Seong-Cheol Kim:
  Performance of Bursty World Wide Web (WWW) Sources over ABR. , (informal publication)
  [cs.NI/9809063]
• Madhav V. Marathe, Harry B. Hunt III, Richard Edwin Stearns, Venkatesh Radhakrishnan:
  Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems. , (informal publication)
  [cs.CC/9809064]
• Sonia Fahmy, Raj Jain, Rohit Goyal, Bobby Vandalore, Shivkumar Kalyanaraman, Sastri Kota, Pradeep Samudra:
  Feedback Consolidation Algorithms for ABR Point-to-Multipoint Connections in ATM Networks. , (informal publication)
  [cs.NI/9809065]
• Rohit Goyal, Raj Jain, Shivkumar Kalyanaraman, Sonia Fahmy, Bobby Vandalore, Sastri Kota:
  TCP Selective Acknowledgments and UBR Drop Policies to Improve ATM-UBR Performance over Terrestrial and Satellite Networks. , (informal publication)
  [cs.NI/9809066]
• Sonia Fahmy, Raj Jain, Shivkumar Kalyanaraman, Rohit Goyal, Bobby Vandalore, Xiangrong Cai:
  A Survey of Protocols and Open Issues in ATM Multipoint Communication. , (informal publication)
  [cs.NI/9809067]
• Raj Jain, Gojko Babic:
  Performance Testing Effort at the ATM Forum: An Overview. , (informal publication)
  [cs.NI/9809068]
• Shivkumar Kalyanaraman, Raj Jain, Jianping Jiang, Rohit Goyal, Sonia Fahmy, Pradeep Samudra:
  Design Considerations for the Virtual Source/Virtual Destination (VS/VD) Feature in the ABR Service of ATM Networks. , (informal publication)
  [cs.NI/9809069]
• Shivkumar Kalyanaraman, Raj Jain, Rohit Goyal, Sonia Fahmy, Seong-Cheol Kim:
  Use-it or Lose-it Policies for the Available Bit Rate (ABR) Service in ATM Networks. , (informal publication)
  [cs.NI/9809070]
• Rohit Goyal, Raj Jain, Shivkumar Kalyanaraman, Sonia Fahmy, Seong-Cheol Kim:
  UBR+: Improving Performance of TCP over ATM-UBR service. , (informal publication)
  [cs.NI/9809071]
• Shivkumar Kalyanaraman, Raj Jain, Sonia Fahmy, Rohit Goyal, Jianping Jiang, Seong-Cheol Kim:
  Performance of TCP over ABR on ATM backbone and with various VBR traffic patterns. , (informal publication)
  [cs.NI/9809072]
• Shivkumar Kalyanaraman, Raj Jain, Sonia Fahmy, Rohit Goyal, Seong-Cheol Kim:
  Performance and Buffering Requirements of Internet Protocols over ATM ABR and UBR Services. , (informal publication)
  [cs.NI/9809073]
• Shivkumar Kalyanaraman, Raj Jain, Rohit Goyal, Sonia Fahmy, Seong-Cheol Kim:
  Performance of TCP/IP Using ATM ABR and UBR Services over Satellite Networks. , (informal publication)
  [cs.NI/9809074]
• Sonia Fahmy, Raj Jain, Shivkumar Kalyanaraman, Rohit Goyal, Fang Lu:
  On Source Rules for ABR Service on ATM Networks with Satellite Links. , (informal publication)
  [cs.NI/9809075]
• Sonia Fahmy, Raj Jain, Fang Lu, Shivkumar Kalyanaraman:
  A Survey of Congestion Control Techniques and Data Link Protocols in Satellite Networks. , (informal publication)
  [cs.NI/9809076]
• Raj Jain, Shivkumar Kalyanaraman, Sonia Fahmy, Rohit Goyal, Seong-Cheol Kim:
  Source Behavior for ATM ABR Traffic Management: An Explanation. , (informal publication)
  [cs.NI/9809077]
• Shivkumar Kalyanaraman, Raj Jain, Sonia Fahmy, Rohit Goyal:
  Buffer Requirements For TCP/IP Over ABR. , (informal publication)
  [cs.NI/9809078]
• Gopal Dommety, Raj Jain:
  Potential Networking Applications of Global Positioning Systems (GPS). , (informal publication)
  [cs.NI/9809079]
• Raj Jain, Shivkumar Kalyanaraman, Ram Viswanathan:
  The OSU Scheme for Congestion Avoidance in ATM networks Using Explicit Rate Indication. , (informal publication)
  [cs.NI/9809080]
• Nina Amenta, Marshall W. Bern, David Eppstein:
  Optimal Point Placement for Mesh Smoothing. , (informal publication)
  [cs.CG/9809081]
• Anna Charny, D. Clark, Raj Jain:
  Congestion Control with Explicit Rate Indication. , (informal publication)
  [cs.NI/9809082]
• K. Siu, Raj Jain:
  A Brief Overview of ATM: Protocol Layers, LAN Emulation, and Traffic Management. , (informal publication)
  [cs.NI/9809083]
• Raj Jain:
  ATM Networks: Issues and Challenges Ahead. , (informal publication)
  [cs.NI/9809084]
• Raj Jain:
  Congestion Control and Traffic Management in ATM Networks: Recent Advances and A Survey. , (informal publication)
  [cs.NI/9809085]
• Raj Jain:
  FDDI: Current Issues and Future Trends. , (informal publication)
  [cs.NI/9809086]
• Raj Jain:
  A Comparison of Hashing Schemes for Address Lookup in Computer Networks. , (informal publication)
  [cs.NI/9809087]
• Raj Jain:
  Myths about Congestion Management in High Speed Networks. , (informal publication)
  [cs.NI/9809088]
• Raj Jain:
  Performance Analysis of FDDI Token Ring Networks: Effect of Parameters and Guidelines for Setting TTRT. , (informal publication)
  [cs.NI/9809089]
• Raj Jain:
  Error Characteristics of Fiber Distributed Data Interface (FDDI). , (informal publication)
  [cs.NI/9809090]
• Raj Jain:
  Congestion Control in Computer Networks: Trends and Issues. , (informal publication)
  [cs.NI/9809091]
• Raj Jain:
  Characteristics of Destination Address Locality in Computer Networks: A Comparison of Caching Schemes. , (informal publication)
  [cs.NI/9809092]
• Raj Jain:
  A Delay Based Approach for Congestion Avoidance in Interconnected Heterogeneous Computer Networks. , (informal publication)
  [cs.NI/9809093]
• Raj Jain, K. Ramakrishnan, Dah-Ming Chiu:
  Congestion Avoidance in Computer Networks with a Connectionless Network Layer. , (informal publication)
  [cs.NI/9809094]
• Raj Jain, K. Ramakrishnan:
  Congestion Avoidance in Computer Networks with a Connectionless Network Layer, Part I: Concepts, Goals and Methodology. , (informal publication)
  [cs.NI/9809095]
• Raj Jain:
  A Timeout Based Congestion Control Scheme for Window Flow- Controlled Networks. , (informal publication)
  [cs.NI/9809096]
• Raj Jain:
  Divergence of Timeout Algorithms for Packet Retransmissions. , (informal publication)
  [cs.NI/9809097]
• Raj Jain:
  On Caching out-of-order packets in window flow controlled networks. , (informal publication)
  [cs.NI/9809098]
• Raj Jain, Dah-Ming Chiu, W. Hawe:
  A Quantitative Measure Of Fairness And Discrimination For Resource Allocation In Shared Computer Systems. , (informal publication)
  [cs.NI/9809099]
• Raj Jain:
  Data Flies Standby with ABR Service. , (informal publication)
  [cs.NI/9809100]
• Jaihyung Cho, James Breen:
  Flood Routing Technique for Data Networks. , (informal publication)
  [cs.NI/9809101]
• Jaihyung Cho, James Breen:
  Analysis of Performance of Dynamic Multicast Routing Algorithms. , (informal publication)
  [cs.NI/9809102]
• Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III:
  Bicriteria Network Design Problems. , (informal publication)
  [cs.CC/9809103]
• Brett J. Vickers, Célio Albuquerque, Tatsuya Suda:
  Adaptive Multicast of Multi-Layered Video: Rate-Based and Credit-Based Approaches. , (informal publication)
  [cs.NI/9809104]
• Thomas Lippert, Nicolai Petkov, Paolo Palazzari, Klaus Schilling:
  Hyper-Systolic Matrix Multiplication. , (informal publication)
  [cs.MS/9809105]
• Petra Barg, Markus Walther:
  Processing Unknown Words in HPSG. , (informal publication)
  [cs.CL/9809106]
• Markus Walther:
  Computing Declarative Prosodic Morphology. , (informal publication)
  [cs.CL/9809107]
• José M. Vidal, Edmund H. Durfee:
  Learning Nested Agent Models in an Information Economy. , (informal publication)
  [cs.MA/9809108]
• David Eppstein:
  Linear Complexity Hexahedral Mesh Generation. , (informal publication)
  [cs.CG/9809109]
• Ido Dagan, Lillian Lee, Fernando C. N. Pereira:
  Similarity-Based Models of Word Cooccurrence Probabilities. , (informal publication)
  [cs.CL/9809110]
• Lex Weaver, Terry Bossomaier:
  Evolution of Neural Networks to Play the Game of Dots-and-Boxes. , (informal publication)
  [cs.NE/9809111]
• Lluís Padró, Lluís Màrquez:
  On the Evaluation and Comparison of Taggers: The Effect of Noise in Testing Corpora. , (informal publication)
  [cs.CL/9809112]
• Lluís Màrquez, Lluís Padró, Horacio Rodríguez:
  Improving Tagging Performance by Using Voting Taggers. , (informal publication)
  [cs.CL/9809113]
• Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer:
  The descriptive complexity approach to LOGCFL. , (informal publication)
  [cs.CC/9809114]
• Heribert Vollmer:
  A Generalized Quantifier Concept in Computational Complexity Theory. , (informal publication)
  [cs.CC/9809115]
• Steffen Reith, Heribert Vollmer:
  The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae. , (informal publication)
  [cs.CC/9809116]
• Satoshi Horie, Osamu Watanabe:
  Hard instance generation for SAT. , (informal publication)
  [cs.CC/9809117]
• Heinz Schmitz, Klaus W. Wagner:
  The Boolean Hierarchy over Level 1/2 of the Straubing-Therien Hierarchy. , (informal publication)
  [cs.CC/9809118]
• Denis V. Juriev:
  Droems: experimental mathematics, informatics and infinite dimensional geometry. , (informal publication)
  [cs.HC/9809119]
• Marino Miculan:
  A Natural Deduction style proof system for propositional $\mu$-calculus and its formalization in inductive type theories. , (informal publication)
  [cs.LO/9809120]
• Neil C. Rowe:
  Using Local Optimality Criteria for Efficient Information Retrieval with Redundant Information Filters. , (informal publication)
  [cs.IR/9809121]
• Carlos Domingo, Ricard Gavaldà, Osamu Watanabe:
  Practical algorithms for on-line sampling. , (informal publication)
  [cs.LG/9809122]
• Carlos Domingo, Osamu Watanabe, Tadashi Yamazaki:
  A role of constraint in self-organization. , (informal publication)
  [cs.NE/9809123]
• James A. Hoagland, Raju Pandey, Karl N. Levitt:
  Security Policy Specification Using a Graphical Approach. , (informal publication)
  [cs.CR/9809124]
• Timo Järvinen, Pasi Tapanainen:
  Towards an implementable dependency grammar. , (informal publication)
  [cmp-lg/9809001]
• Nicola Guarino:
  Some Ontological Principles for Designing Upper Level Lexical Resources. , (informal publication)
  [cmp-lg/9809002]
• Michael McHale:
  A Comparison of WordNet and Roget's Taxonomy for Measuring Semantic Similarity. , (informal publication)
  [cmp-lg/9809003]
• A. Yamaguchi:
  Genetic Algorithm for SU(2) Gauge Theory on a 2-dimensional Lattice. , (informal publication)
  [hep-lat/9809068]
• J. Maurice Rojas:
  Uncomputably Large Integral Points on Algebraic Plane Curves? , (informal publication)
  [math.NT/9809009]
• J. Maurice Rojas:
  Solving Degenerate Sparse Polynomial Systems Faster. , (informal publication)
  [math.AG/9809071]
• Eleanor G. Rieffel, Wolfgang Polak:
  An Introduction to Quantum Computing for Non-Physicists. , (informal publication)
  [quant-ph/9809016]