CoRR, January 2001

• Jorge J. Moré:
  Automatic Differentiation Tools in Optimization Software.
  
• David J. Murray, Dale E. Parson:
  Automated Debugging in Java Using OCL and JDI.
  
• Federico Fontana, Davide Rocchesso:
  Signal-Theoretic Characterization of Waveguide Mesh Geometries for Models of Two-Dimensional Wave Propagation in Elastic Media.
  
• Kevin K. H. Cheung, Michele Mosca:
  Decomposing Finite Abelian Groups.
  
• Raymond Smith, Bogdan Korel:
  Slicing Event Traces of Large Software Systems.
  
• Marshall W. Bern, David Eppstein:
  Optimal Moebius Transformations for Information Visualization and Meshing.
  
• Mikhail Auguston:
  Assertion checker for the C programming language based on computations over event traces.
  
• Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin:
  A Knowledge-based Automated Debugger in Learning System.
  
• Ángel Herranz-Nieva, Juan José Moreno-Navarro:
  Generation of and Debugging with Logical Pre and Post-Conditions.
  
• Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Hing-Fung Ting:
  An Even Faster and More Unifying Algorithm for Comparing Trees via Unbalanced Bipartite Matchings.
  
• Ming-Yang Kao:
  Multiple-Size Divide-and-Conquer Recurrences.
  
• Paul Hildreth, Chris Kimble, Peter Wright:
  Communities of Practice in the Distributed International Environment.
  
• Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin:
  A Classification of Symbolic Transition Systems.
  
• Zbigniew Lonc, Miroslaw Truszczynski:
  On the problem of computing the well-founded semantics.
  
• James Aspnes, Julia Hartling, Ming-Yang Kao, Junhyong Kim, Gauri Shah:
  Combinatorial Toolbox for Protein Sequence Design and Landscape Analysis in the Grand Canonical Model.
  
• Ting Chen, Ming-Yang Kao, Matthew Tepel, John Rush, George M. Church:
  A Dynamic Programming Approach to De Novo Peptide Sequencing via Tandem Mass Spectrometry.
  
• Ulrich Ultes-Nitsche, Pierre Wolper:
  Checking Properties within Fairness and Behavior Abstractions.
  
• Steven Benson, Lois C. McInnes, Jorge J. Moré:
  GPCG: A Case Study in the Performance and Scalability of Optimization Algorithms.
  
• Marcus Hutter:
  General Loss Bounds for Universal Sequence Prediction.
  
• Jörn Müller-Quade, Hideki Imai:
  More Robust Multiparty Protocols with Oblivious Transfer.
  
• Xin He, Ming-Yang Kao, Hsueh-I Lu:
  A Fast General Methodology for Information-Theoretically Optimal Encodings of Graphs.
  
• Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus:
  Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.
  
• Annalisa Bossi, Sandro Etalle, Sabina Rossi:
  Properties of Input-Consuming Derivations.
  
• Ming-Yang Kao, Stephen R. Tate:
  On-Line Difference Maximization.
  
• Enea Zaffanella, Patricia M. Hill, Roberto Bagnara:
  Decomposing Non-Redundant Sharing by Complementation.
  
• Péter Gács:
  Deterministic computations whose history is independent of the order of asynchronous updating.
  
• Simeon Warner:
  Open Archives Initiative protocol development and implementation at arXiv.
  
• Ming-Yang Kao, Yuan Ma, Michael Sipser, Yiqun Lisa Yin:
  Optimal Constructions of Hybrid Algorithms.
  
• Paul M. Aoki, Amy Hurst, Allison Woodruff:
  Tap Tips: Lightweight Discovery of Touchscreen Targets.
  
• Ming-Yang Kao:
  Tree Contractions and Evolutionary Trees.
  
• Ming-Yang Kao, Tak Wah Lam, Wing-Kin Sung, Hing-Fung Ting:
  Cavity Matchings, Label Compressions, and Unrooted Evolutionary Trees.
  
• Ming-Yang Kao:
  Total Protection of Analytic Invariant Information in Cross Tabulated Tables.
  
• Xin He, Ming-Yang Kao, Hsueh-I Lu:
  Linear-Time Succinct Encodings of Planar Graphs via Canonical Orderings.
  
• Ming-Yang Kao:
  Data Security Equals Graph Connectivity.
  
• Allison Woodruff, Paul M. Aoki, Amy Hurst, Margaret H. Szymanski:
  The Guidebook, the Friend, and the Room: Visitor Experience in a Historic House.
  
• Nick Chater, Paul M. B. Vitányi:
  The Generalized Universal Law of Generalization.
  
• Claus O. Wilke:
  Adaptive evolution on neutral networks.
  
• Harry Buhrman, John Tromp, Paul M. B. Vitányi:
  Time and Space Bounds for Reversible Simulation.
  

Last update Sat May 18 20:12:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page