- Richard Beigel, David Eppstein:
3-Coloring in Time O(1.3289n). CoRR cs.DS/0006046 (2000) - Andrea Asperti, Luca Roversi:
Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness). CoRR cs.LO/0006010 (2000) - Jan-Georg Smaus, Patricia M. Hill, Andy King:
Verifying Termination and Error-Freedom of Logic Programs with block Declarations. CoRR cs.LO/0006033 (2000) - Carlos Ribeiro, Andre Zuquete, Paulo Ferreira, Paulo Guedes:
Security Policy Consistency. CoRR cs.LO/0006045 (2000) - Carlo Drioli, Davide Rocchesso:
Orthogonal Least Squares Algorithm for the Approximation of a Map and its Derivatives with a RBF Network. CoRR cs.NE/0006039 (2000) - Ahmed Helmy:
Multicast-based Architecture for IP Mobility: Simulation Analysis and Comparison with Basic Mobile IP. CoRR cs.NI/0006022 (2000) - Ahmed Helmy, Sandeep Gupta, Deborah Estrin, Alberto Cerpa, Yan Yu:
Systematic Performance Evaluation of Multipoint Protocols. CoRR cs.NI/0006029 (2000) - Zygmunt J. Haas, Joseph Y. Halpern, Li Li, Stephen B. Wicker:
A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks. CoRR cs.NI/0006037 (2000) - Sakib A. Mondal:
A Note on "Optimal Static Load Balancing in Distributed Computer Systems". CoRR cs.OH/0006004 (2000) - Neil J. Gunther:
Solaris System Resource Manager: All I Ever Wanted Was My Unfair Advantage (And Why You Can't Have It!). CoRR cs.PF/0006014 (2000) - Neil J. Gunther:
UNIX Resource Managers: Capacity Planning and Resource Issues. CoRR cs.PF/0006015 (2000) - Neil J. Gunther:
The X-Files: Investigating Alien Performance in a Thin-client World. CoRR cs.PF/0006016 (2000) - Kevin Glynn, Martin Sulzmann, Peter J. Stuckey:
Type Classes and Constraint Handling Rules. CoRR cs.PL/0006034 (2000) - Stephen Marsland, Ulrich Nehmzow, Jonathan Shapiro:
Novelty Detection for Robot Neotaxis. CoRR cs.RO/0006005 (2000) - Stephen Marsland, Ulrich Nehmzow, Jonathan Shapiro:
A Real-Time Novelty Detector for a Mobile Robot. CoRR cs.RO/0006006 (2000) - Stephen Marsland, Ulrich Nehmzow, Jonathan Shapiro:
Novelty Detection on a Mobile Robot Using Habituation. CoRR cs.RO/0006007 (2000) - Hristo Bojinov, Arancha Casal, Tad Hogg:
Multiagent Control of Self-reconfigurable Robots. CoRR cs.RO/0006030 (2000) - Federico Fontana, Davide Rocchesso:
Online Correction of Dispersion Error in 2D Waveguide Meshes. CoRR cs.SD/0006026 (2000) - Cristopher Moore, David Eppstein:
One-Dimensional Peg Solitaire. CoRR math.CO/0006067 (2000) - Péter Gács, John Tromp, Paul M. B. Vitányi:
Algorithmic Statistics. CoRR math.PR/0006233 (2000) - Cosma Rohilla Shalizi, James P. Crutchfield:
Information Bottlenecks, Causal States, and Statistical Relevance Bases: How to Represent Relevant Information in Memoryless Transduction. CoRR nlin.AO/0006025 (2000)