CoRR, October 2004

• Christian S. Jensen, H. Lahrmann, Stardas Pakalnis, J. Runge:
  The Infati Data. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0410001]
• Peter Grünwald, Paul M. B. Vitányi:
  Shannon Information and Kolmogorov Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IT/0410002]
• Pierre Moulin, Ying Wang:
  Error Exponents for Channel Coding with Side Information. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IT/0410003]
• Istvan Szita, András Lörincz:
  Applying Policy Iteration for Training Recurrent Neural Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0410004]
• Uli Harder, Peter G. Harrison, Maya Paczuski, Tejas Shah:
  A dynamical model of a GRID market. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MA/0410005]
• Mark Dumay:
  Demo or Practice: Critical Analysis of the Language/Action Perspective. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OH/0410006]
• Ignatios Souvatzis:
  A Shared Write-protected Root Filesystem for a Group of Networked Clients. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OS/0410007]
• Emin Martinian, Gregory W. Wornell:
  Source Coding with Fixed Lag Side Information. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IT/0410008]
• Scott Douglas, Aaron Harwood:
  Diffusive Load Balancing of Loosely-Synchronous Parallel Programs over Peer-to-Peer Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410009]
• Amit K. Awasthi, Sunder Lal:
  A New Proxy Ring Signature Scheme. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0410010]
• Amit K. Awasthi:
  Comment on A dynamic ID-based Remote User Authentication Scheme. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0410011]
• Catalin Dumitrescu, Ioan Raicu, Matei Ripeanu, Ian T. Foster:
  DiPerF: an automated DIstributed PERformance testing Framework. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PF/0410012]
• Alex Vinokur:
  Fibonacci connection between Huffman codes and Wythoff array. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0410013]
• Stefania Costantini, Alessandro Provetti:
  Normal forms for Answer Sets Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0410014]
• Zoltán Szabó, András Lörincz:
  L1 regularization is better than L2 for learning and predicting chaotic systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0410015]
• Antonio Amorim, Jaime E. Villate, Pedro Andrade:
  HEP@Home - A distributed computing system based on BOINC. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410016]
• Carl S. McTague, James P. Crutchfield:
  Automated Pattern Detection - An Algorithm for Constructing Optimally Synchronizing Multi-Regular Language Filters. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0410017]
• Petra Berenbrink, Leslie Ann Goldberg, Paul W. Goldberg, Russell A. Martin:
  Utilitarian resource assignment. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GT/0410018]
• Abdelaziz Amraoui, Andrea Montanari, Thomas J. Richardson, Rüdiger L. Urbanke:
  Finite-Length Scaling and Finite-Length Shift for Low-Density Parity-Check Codes. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IT/0410019]
• Stephen P. Luttrell:
  Adaptive Cluster Expansion (ACE): A Hierarchical Bayesian Network. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0410020]
• Edith Hemaspaandra, Lane A. Hemaspaandra, Stanislaw P. Radziszowski, Rahul Tripathi:
  Complexity Results in Graph Reconstruction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0410021]
• Paul Piwek, Brigitte Krenn, Marc Schröder, Martine Grice, Stefan Baumann, Hannes Pirker:
  RRL: A Rich Representation Language for the Description of Agent Behaviour in NECA. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MM/0410022]
• Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
  All Superlinear Inverse Schemes are coNP-Hard. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0410023]
• Alexander Wiesmaier, Marcus Lippert, Vangelis Karatsiolis:
  The Key Authority - Secure Key Management in Hierarchical Public Key Infrastructures. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0410024]
• Alexander Wiesmaier, Marcus Fischer, Evangelos G. Karatsiolis, Marcus Lippert:
  Outflanking and securely using the PIN/TAN-System. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0410025]
• Eric H. Neilsen Jr., James Simone:
  Lattice QCD Data and Metadata Archives at Fermilab and the International Lattice Data Grid. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410026]
• Chen Yu, Paul M. Aoki, Allison Woodruff:
  Detecting User Engagement in Everyday Conversations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SD/0410027]
• Cyril Measson, Andrea Montanari, Thomas J. Richardson, Rüdiger L. Urbanke:
  Life Above Threshold: From List Decoding to Area Theorem and MSE. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IT/0410028]
• Satoshi Matsuoka:
  Nondeterministic Linear Logic. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0410029]
• Satoshi Matsuoka:
  Weak Typed Boehm Theorem on IMLL. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0410030]
• Yongzhi Cao, Mingsheng Ying:
  Similarity-Based Supervisory Control of Discrete Event Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0410031]
• Narad Rampersad:
  The state complexity of L² and L^k. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0410032]
• Florentin Smarandache:
  An In-Depth Look at Information Fusion Rules & the Unification of Fusion Theories. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OH/0410033]
• Satoshi Matsuoka:
  P-time Completeness of Light Linear Logic and its Nondeterministic Extension. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0410034]
• Lane A. Hemaspaandra, Proshanto Mukherji, Till Tantau:
  Overhead-Free Computation, DCFLs, and CFLs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0410035]
• Stephen P. Luttrell:
  Self-Organised Factorial Encoding of a Toroidal Manifold. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0410036]
• Mark Burgin:
  Hardware-Oriented Group Solutions for Hard Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0410037]
• Floris Geerts:
  Frequent Knot Discovery. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0410038]
• Sara Cohen, Yehoshua Sagiv:
  Generating All Maximal Induced Subgraphs for Hereditary Connected-Hereditary and Rooted-Hereditary Properties. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0410039]
• Takayuki Fukatani, Ryutaroh Matsumoto, Tomohiko Uyematsu:
  Two Methods for Decreasing the Computational Complexity of the MIMO ML Decoder. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IT/0410040]
• Kenji Tanaka, Ryutaroh Matsumoto, Tomohiko Uyematsu:
  Maximum Mutual Information of Space-Time Block Codes with Symbolwise Decodability. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IT/0410041]
• Helge Ritter, Jochen J. Steil, Claudia Nölker, Frank Röthling, Patrick C. McGuire:
  Neural Architectures for Robot Intelligence. , (informal publication)
  Electronic Edition (link) BibTeX [cs.RO/0410042]
• Marcin Peczarski:
  Strategy in Ulam's Game and Tree Code Give Error-Resistant Protocols. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410043]
• Vladimir V. Kisil:
  An Example of Clifford Algebras Calculations with GiNaC. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MS/0410044]
• Suzanne M. Shontz, Stephen A. Vavasis:
  A linear weighted laplacian smoothing framework for warping tetrahedral meshes. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NA/0410045]
• Marek Chrobak, Christoph Dürr, Wojciech Jawor, Lukasz Kowalik, Maciej Kurowski:
  A Note on Scheduling Equal-Length Jobs to Maximize Throughput. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0410046]
• Jaap-Henk Hoepman:
  Simple Distributed Weighted Matchings. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410047]
• Erik D. Demaine, John Iacono, Stefan Langerman:
  Worst-Case Optimal Tree Layout in a Memory Hierarchy. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0410048]
• Joseph Y. Halpern:
  Intransitivity and Vagueness. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0410049]
• Joseph Y. Halpern:
  Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0410050]
• Alex Vinokur:
  Turing Machine with Faults, Failures and Recovery. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0410051]
• Julie Glass, Stefan Langerman, Joseph O'Rourke, Jack Snoeyink, Jianyuan K. Zhong:
  A 2-chain can interlock with a k-chain. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0410052]
• Haibin Wang, Hao Tian, Rajshekhar Sunderraman:
  An Extended Generalized Disjunctive Paraconsistent Data Model for Disjunctive Information. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0410053]
• Rajshekhar Sunderraman, Haibin Wang:
  Paraconsistent Intuitionistic Fuzzy Relational Data Model. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0410054]
• Michiel Hazewinkel:
  Mathematical knowledge management is needed. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0410055]
• Haibin Wang, Florentin Smarandache, Yanqing Zhang, Rajshekhar Sunderraman:
  Interval Neutrosophic Logics: Theory and Applications. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0410056]
• M. V. Panduranga Rao:
  One Generalization of Counters. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0410057]
• Vincenzo Pallotta, Afzal Ballim:
  Robust Dialogue Understanding in HERALD. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0410058]
• Afzal Ballim, Nastaran Fatemi, Hatem Ghorbel, Vincenzo Pallotta:
  A knowledge-based approach to semi-automatic annotation of multimedia documents via user adaptation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DL/0410059]
• Afzal Ballim, Vincenzo Pallotta:
  Semantic filtering by inference on domain knowledge in spoken dialogue systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0410060]
• Vincenzo Pallotta, Hatem Ghorbel, Patrick Ruch, Giovanni Coray:
  An argumentative annotation schema for meeting discussions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0410061]
• Lonneke van der Plas, Vincenzo Pallotta, Martin Rajman, Hatem Ghorbel:
  Automatic Keyword Extraction from Spoken Text. A Comparison of two Lexical Resources: the EDR and WordNet. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0410062]
• Sebastian Möller, Jan Krebber, Alexander Raake, Paula Smeele, Martin Rajman, Mirek Melichar, Vincenzo Pallotta, Gianna Tsakou, Basilis Kladis, Anestis Vovos, Jettie Hoonhout, Dietmar Schuchardt, Nikos Fakotakis, Todor Ganchev, Ilyas Potamitis:
  INSPIRE: Evaluation of a Smart-Home System for Infotainment Management and Device Control. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0410063]
• J. Balic:
  Intelligent Computer Numerical Control unit for machine tools. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0410064]
• Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang:
  A Categorical View on Algebraic Lattices in Formal Concept Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OH/0410065]
• Xiaoqin Ma, Gene Cooperman:
  Fast Query Processing Using Cooperative CPU Caching for Index Structures. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410066]
• Richard M. Troy III:
  Computational Unification: a Vision for Connecting Researchers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410067]
• Zhuowei Li, Amitabha Das:
  Analyzing and Improving Performance of a Class of Anomaly-based Intrusion Detectors. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0410068]
• Jacomo Corbo, Thomas Petermann:
  Selfish peering and routing in the Internet. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GT/0410069]
• Giovanni Gasparri:
  Using image partitions in 4th Dimension. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0410070]
• Patrick C. McGuire, Jens Ormö, Enrique Díaz Martínez, José Antonio Rodríguez Manfredi, Javier Gómez-Elvira, Helge Ritter, Markus Oesker, Jörg Ontrup:
  The Cyborg Astrobiologist: First Field Experience. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0410071]
• Alexei Lisitsa, Igor Potapov:
  Temporal logic with predicate abstraction. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0410072]
• Viktor Kuncak, Martin C. Rinard:
  On Spatial Conjunction as Second-Order Logic. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0410073]
• Jianyang Zeng, Wen-Jing Hsu:
  ReCord: A Distributed Hash Table with Recursive Structure. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0410074]
• Serban E. Vlad:
  Some first thoughts on the stability of the asynchronous systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GL/0410075]
• S. D. Makovetskiy, D. N. Makovetskii:
  A Computational Study of Rotating Spiral Waves and Spatio-Temporal Transient Chaos in a Deterministic Three-Level Active System. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0410460]
• Satya N. Majumdar, David S. Dean, Paul L. Krapivsky:
  Understanding Search Trees via Statistical Physics. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0410498]
• Adam Lipowski, Antonio L. Ferreira:
  A model of student's dilemma. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0410594]
• Vladimir Shpilrain, Gabriel Zapata:
  Combinatorial group theory and public key cryptography. , (informal publication)
  Electronic Edition (link) BibTeX [math.GR/0410068]
• Itai Benjamini, Oded Schramm, David Bruce Wilson:
  Balanced Boolean functions that can be evaluated so that every input bit is unlikely to be read. , (informal publication)
  Electronic Edition (link) BibTeX [math.PR/0410282]
• Heide Gluesing-Luerssen, Wiland Schmale:
  On doubly-cyclic convolutional codes. , (informal publication)
  Electronic Edition (link) BibTeX [math.RA/0410317]
• Igor Podlubny:
  A note on comparison of scientific impact expressed by number of citations in different fields of science. , (informal publication)
  Electronic Edition (link) BibTeX [math.ST/0410574]
• Ilia Binder, Mark Braverman, Michael Yampolsky:
  Filled Julia sets with empty interior are computable. , (informal publication)
  Electronic Edition (link) BibTeX [math.DS/0410580]
• Dimitri Bourilkov:
  THE CAVES Project - Collaborative Analysis Versioning Environment System; THE CODESH Project - Collaborative Development Shell. , (informal publication)
  Electronic Edition (link) BibTeX [physics/0410226]
• Sudhir Kumar Singh, R. Srikanth:
  Quantum seals. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0410017]
• Harumichi Nishimura, Tomoyuki Yamakami:
  An Application of Quantum Finite Automata to Interactive Proof Systems. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0410040]