CoRR, August 2004

• Michael Engelhardt, Thomas C. Schmidt:
  Semantic Linking - a Context-Based Approach to Interactivity in Hypermedia. , (informal publication)
  [cs.IR/0408001]
• Thomas C. Schmidt, Matthias Wählisch:
  Roaming Real-Time Applications - Mobility Services in IPv6 Networks. , (informal publication)
  [cs.NI/0408002]
• Yair Bartal, Manor Mendel:
  Multi-Embedding of Metric Spaces. , (informal publication)
  [cs.DS/0408003]
• Michael Engelhardt, Andreas Kárpáti, Torsten Rack, Ivette Schmidt, Thomas C. Schmidt:
  Hypermedia Learning Objects System - On the Way to a Semantic Educational Web. , (informal publication)
  [cs.IR/0408004]
• Michael Engelhardt, Arne Hildebrand, Andreas Kárpáti, Torsten Rack, Thomas C. Schmidt:
  Educational Content Management - A Cellular Approach. , (informal publication)
  [cs.CY/0408005]
• Vigen A. Geodakian:
  Why Two Sexes? , (informal publication)
  [cs.NE/0408006]
• Abraham Flaxman, Adam Tauman Kalai, H. Brendan McMahan:
  Online convex optimization in the bandit setting: gradient descent without a gradient. , (informal publication)
  [cs.LG/0408007]
• Emin Martinian, Jonathan S. Yedidia:
  Iterative Quantization Using Codes On Graphs. , (informal publication)
  [cs.IT/0408008]
• Thomas C. Schmidt, Matthias Wählisch:
  Performance Analysis of Multicast Mobility in a Hierarchical Mobile IP Proxy Environment. , (informal publication)
  [cs.NI/0408009]
• Florentin Smarandache, Jean Dezert:
  Proportional Conflict Redistribution Rule. , (informal publication)
  [cs.AI/0408010]
• Marcel Wild:
  The asymptotic number of binary codes and binary matroids. , (informal publication)
  [cs.IT/0408011]
• Jeremy Yermiyahou Kaminski, Mina Teicher, Dotan Knaan, Adi Shavit:
  Three-Dimensional Face Orientation and Gaze Detection from a Single Image. , (informal publication)
  [cs.CV/0408012]
• Viktor Kuncak, Patrick Lam, Martin C. Rinard:
  Roles Are Really Great! , (informal publication)
  [cs.PL/0408013]
• Viktor Kuncak, Martin C. Rinard:
  Typestate Checking and Regular Graph Constraints. , (informal publication)
  [cs.PL/0408014]
• Viktor Kuncak, Martin C. Rinard:
  On the Theory of Structural Subtyping. , (informal publication)
  [cs.LO/0408015]
• Håkan Sundell, Philippas Tsigas:
  Lock-Free and Practical Deques using Single-Word Compare-And-Swap. , (informal publication)
  [cs.DC/0408016]
• Sergey Yekhanin:
  Improved Upper Bound for the Redundancy of Fix-Free Codes. , (informal publication)
  [cs.IT/0408017]
• Viktor Kuncak, Martin C. Rinard:
  On Role Logic. , (informal publication)
  [cs.PL/0408018]
• Viktor Kuncak, Martin C. Rinard:
  On Generalized Records and Spatial Conjunction in Role Logic. , (informal publication)
  [cs.PL/0408019]
• Sameer Tilak, Nael B. Abu-Ghazaleh, Wendi Rabiner Heinzelman:
  Collaborative Storage Management In Sensor Networks. , (informal publication)
  [cs.NI/0408020]
• Florentin Smarandache, Jean Dezert:
  An Algorithm for Quasi-Associative and Quasi-Markovian Rules of Combination in Information Fusion. , (informal publication)
  [cs.AI/0408021]
• Guey-Yun Chang, Gerard J. Chang, Gen-Huey Chen:
  Diagnosabilities of regular networks. , (informal publication)
  [cs.NI/0408022]
• Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau:
  On Global Warming (Softening Global Constraints). , (informal publication)
  [cs.AI/0408023]
• Sameer Tilak, Amy L. Murphy, Wendi Rabiner Heinzelman, Nael B. Abu-Ghazaleh:
  Non-uniform Information Dissemination for Sensor Networks. , (informal publication)
  [cs.NI/0408024]
• Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck:
  Optimizing compilation of constraint handling rules in HAL. , (informal publication)
  [cs.PL/0408025]
• Wojciech Skut:
  Incremental Construction of Minimal Acyclic Sequential Transducers from Unsorted Data. , (informal publication)
  [cs.CL/0408026]
• Henning Christiansen:
  CHR Grammars. , (informal publication)
  [cs.CL/0408027]
• Joel Friedman, Jean-Pierre Tillich:
  Calculus on Graphs. , (informal publication)
  [cs.DM/0408028]
• Jason Cantarella, Michael Piatek:
  Tsnnls: A solver for large sparse least squares problems with non-negative variables. , (informal publication)
  [cs.MS/0408029]
• Jim Gray:
  The Revolution In Database System Architecture. , (informal publication)
  [cs.DB/0408030]
• Jim Gray, Alexander S. Szalay, Aniruddha R. Thakar, Gyorgy Fekete, William O'Mullane, María A. Nieto-Santisteban, Gerd Heber, Arnold H. Rots:
  There Goes the Neighborhood: Relational Algebra for Spatial Data Search. , (informal publication)
  [cs.DB/0408031]
• Luiz Angelo Barchet-Estefanel, Grégory Mounié:
  Performance Characterisation of Intra-Cluster Collective Communications. , (informal publication)
  [cs.DC/0408032]
• Luiz Angelo Barchet-Estefanel, Grégory Mounié:
  Identifying Logical Homogeneous Clusters for Efficient Wide-area Communications. , (informal publication)
  [cs.DC/0408033]
• Luiz Angelo Barchet-Estefanel, Grégory Mounié:
  Fast Tuning of Intra-Cluster Collective Communications. , (informal publication)
  [cs.DC/0408034]
• David L. Oppenheimer, Vitaliy Vatkovskiy, Hakim Weatherspoon, Jason Lee, David A. Patterson, John Kubiatowicz:
  Monitoring, Analyzing, and Controlling Internet-scale Systems with ACME. , (informal publication)
  [cs.DC/0408035]
• Jim Gray, Leslie Lamport:
  Consensus on Transaction Commit. , (informal publication)
  [cs.DC/0408036]
• Jørgen Villadsen:
  Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. , (informal publication)
  [cs.CL/0408037]
• G. David Forney Jr., Mitchell D. Trott:
  The Dynamics of Group Codes: Dual Abelian Group Codes and Systems. , (informal publication)
  [cs.IT/0408038]
• Nisheeth Shrivastava, Chiranjeeb Buragohain, Divyakant Agrawal, Subhash Suri:
  Medians and Beyond: New Aggregation Techniques for Sensor Networks. , (informal publication)
  [cs.DC/0408039]
• William F. Gilreath:
  Hash sort: A linear time complexity multiple-dimensional sort algorithm. , (informal publication)
  [cs.DS/0408040]
• Ali Eftekhari:
  Fractal geometry of literature: first attempt to Shakespeare's works. , (informal publication)
  [cs.CL/0408041]
• Sameer Tilak, Vinay Kolar, Nael B. Abu-Ghazaleh, Kyoung-Don Kang:
  Dynamic Localization Protocols for Mobile Sensor Networks. , (informal publication)
  [cs.NI/0408042]
• John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn:
  The Arithmetical Complexity of Dimension and Randomness. , (informal publication)
  [cs.LO/0408043]
• Michael Thielscher:
  FLUX: A Logic Programming Method for Reasoning Agents. , (informal publication)
  [cs.AI/0408044]
• Viktor Kuncak, K. Rustan M. Leino:
  On computing the fixpoint of a set of boolean equations. , (informal publication)
  [cs.PL/0408045]
• Markus Volkmer, André Schaumburg:
  Authenticated tree parity machine key exchange. , (informal publication)
  [cs.CR/0408046]
• Thomas Heistracher, Thomas Kurz, Claudius Masuch, Pierfranco Ferronato, Miguel Vidal, Angelo Corallo, Gerard Briscoe, Paolo Dini:
  Pervasive Service Architecture for a Digital Business Ecosystem. , (informal publication)
  [cs.CE/0408047]
• John David Funge:
  Journal of New Democratic Methods: An Introduction. , (informal publication)
  [cs.CY/0408048]
• Stephen P. Luttrell:
  Using Stochastic Encoders to Discover Structure in Data. , (informal publication)
  [cs.NE/0408049]
• Stephen P. Luttrell:
  Invariant Stochastic Encoders. , (informal publication)
  [cs.NE/0408050]
• Zhimao Guo, Min Li, Xiaoling Wang, Aoying Zhou:
  Scalable XSLT Evaluation. , (informal publication)
  [cs.DB/0408051]
• Daniel Yacob:
  Application of the Double Metaphone Algorithm to Amharic Orthography. , (informal publication)
  [cs.CL/0408052]
• Santos B. Yuste:
  Weighted average finite difference methods for fractional diffusion equations. , (informal publication)
  [cs.NA/0408053]
• Stephan Heuscher, Stephan Jaermann, Peter Keller-Marxer, Frank Moehle:
  Providing Authentic Long-term Archival Access to Complex Relational Data. , (informal publication)
  [cs.DL/0408054]
• Ambedkar Dukkipati, M. Narasimha Murty, Shalabh Bhatnagar:
  Cauchy Annealing Schedule: An Annealing Schedule for Boltzmann Selection Scheme in Evolutionary Algorithms. , (informal publication)
  [cs.AI/0408055]
• Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano:
  A CHR-based Implementation of Known Arc-Consistency. , (informal publication)
  [cs.LO/0408056]
• Afzal Ballim, Vincenzo Pallotta:
  The role of robust semantic analysis in spoken language dialogue systems. , (informal publication)
  [cs.CL/0408057]
• Patrik O. Hoyer:
  Non-negative matrix factorization with sparseness constraints. , (informal publication)
  [cs.LG/0408058]
• Christos Tsalidis, G. Orphanos, A. Iordanidou, A. Vagelatos:
  Proofing Tools Technology at Neurosoft S.A. , (informal publication)
  [cs.CL/0408059]
• Gabriel G. Bes, Lionel Lamadon, Francois Trouilleux:
  Verbal chunk extraction in French using limited resources. , (informal publication)
  [cs.CL/0408060]
• Christos Tsalidis, A. Vagelatos, G. Orphanos:
  An electronic dictionary as a basis for NLP tools: The Greek case. , (informal publication)
  [cs.CL/0408061]
• Emin Martinian, Gregory W. Wornell, Ram Zamir:
  Source Coding With Distortion Side Information At The Encoder. , (informal publication)
  [cs.IT/0408062]
• Alexander Haubold, John R. Kender:
  Analysis and Visualization of Index Words from Audio Transcripts of Instructional Videos. , (informal publication)
  [cs.IR/0408063]
• Florentin Smarandache, Jean Dezert:
  Four Versions of the Proportional Conflict Redistribution Rules of Combination in Information Fusion. , (informal publication)
  [cs.AI/0408064]
• Somdeb Lahiri:
  The Core of Directed Network Problems with Quotas. , (informal publication)
  [cs.GT/0408065]
• Eli Ben-Sasson, Madhu Sudan:
  Robust Locally Testable Codes and Products of Codes. , (informal publication)
  [cs.IT/0408066]
• Jennie C. Hansen, Eric Schmutz:
  The Expected Size of the Rule k Dominating Set. , (informal publication)
  [cs.DM/0408067]
• Jennie C. Hansen, Eric Schmutz, Li Sheng:
  Probabilistic Analysis of Rule 2. , (informal publication)
  [cs.DM/0408068]
• Sebastian Bader, Pascal Hitzler, Steffen Hölldobler:
  The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence. , (informal publication)
  [cs.AI/0408069]
• Matthias Troyer, Uwe-Jens Wiese:
  Computational complexity and fundamental limitations to fermionic quantum Monte Carlo simulations. , (informal publication)
  [cond-mat/0408370]
• Frédéric Dambreville:
  Learning a Machine for the Decision in a Partially Observable Markov Universe. , (informal publication)
  [math.OC/0408146]
• Carlos Gershenson:
  Introduction to Random Boolean Networks. , (informal publication)
  [nlin.AO/0408006]
• Venkat Venkatasubramanian, Dimitris Nicolas Politis, Priyan R. Patkar:
  Entropy Maximization as a Holistic Design Principle for Complex Optimal Networks and the Emergence of Power Laws. , (informal publication)
  [nlin.AO/0408007]
• Marc Toussaint:
  Notes on information geometry and evolutionary processes. , (informal publication)
  [nlin.AO/0408040]
• Giulia Battilotti, Paola Zizzi:
  Logical Interpretation of a Reversible Measurement in Quantum Computing. , (informal publication)
  [quant-ph/0408068]
• Zhide Chen, Tian-Ming Bu, Hong Zhu:
  Statistically Secure Quantum Oblivious Transfer. , (informal publication)
  [quant-ph/0408108]