CoRR, August 2005

• Xiaoyang Gu, Jack H. Lutz, Philippe Moser:
  Dimensions of Copeland-Erdos Sequences.
  
• Gilson A. Giraldi, Luis C. da Costa, Adilson V. Xavier, Paulo S. Rodrigues:
  Methods for Analytical Understanding of Agent-Based Modeling of Complex Systems.
  
• Javier Esparza, Antonín Kucera, Richard Mayr:
  Model Checking Probabilistic Pushdown Automata.
  
• Lee Naish:
  A three-valued semantics for logic programmers.
  
• Nikolaos Papanikolaou:
  Logic Column 13: Reasoning Formally about Quantum Systems: An Overview.
  
• Sándor P. Fekete, Michael Kaufmann, Alexander Kröller, Katharina Anna Lehmann:
  A New Approach for Boundary Recognition in Geometric Sensor Networks.
  
• Manfred Harringer:
  Regularity of Position Sequences.
  
• Kentaro Kondo:
  The accurate optimal-success/error-rate calculations applied to the realizations of the reliable and short-period integer ambiguity resolution in carrier-phase GPS/GNSS positioning.
  
• Wei-jen Hsu, Ahmed Helmy:
  IMPACT: Investigation of Mobile-user Patterns Across University Campuses using WLAN Trace Analysis.
  
• Yongjin Kim, Ahmed Helmy:
  ATTENTION: ATTackEr traceback using MAC layer abNormality detecTION.
  
• Kazuto Ogawa, Goichiro Hanaoka, Hideki Imai:
  A Secure Traitor Tracing Scheme against Key Exposure.
  
• Jan Østergaard, Richard Heusdens, Jesper Jensen:
  n-Channel Asymmetric Multiple-Description Lattice Vector Quantization.
  
• Kenji Yasunaga, Toru Fujiwara:
  Relations between the Local Weight Distributions of a Linear Block Code, Its Extended Code, and Its Even Weight Subcode.
  
• Jon Feldman, Ralf Koetter, Pascal O. Vontobel:
  The Benefit of Thresholding in LP Decoding of LDPC Codes.
  
• Stanislav Bulygin:
  Chosen-ciphertext attack on noncommutative Polly Cracker.
  
• Jang-Won Lee, Mung Chiang, A. Robert Calderbank:
  Distributed Algorithms for Optimal Rate-Reliability Tradeoff in Networks.
  
• Jovan Pehcevski, James A. Thom, Anne-Marie Vercoustre:
  Enhancing Content-And-Structure Information Retrieval using a Native XML Database.
  
• Holger Boche, Volker Pohl:
  Spectral Factorization, Whitening- and Estimation Filter -- Stability, Smoothness Properties and FIR Approximation Behavior.
  
• Pascal O. Vontobel, Roxana Smarandache, Negar Kiyavash, Jason Teutsch, Dejan Vukobratovic:
  On the Minimal Pseudo-Codewords of Codes from Finite Geometries.
  
• Chris T. K. Ng, Andrea J. Goldsmith:
  Capacity Gain from Transmitter and Receiver Cooperation.
  
• Dmitri V. Krioukov, Kimberly C. Claffy:
  Toward Compact Interdomain Routing.
  
• Andrew Z. Tirkel, Thomas E. Hall:
  Matrix Construction Using Cyclic Shifts of a Column.
  
• Todd L. Veldhuizen:
  Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law.
  
• Kai-Uwe Schmidt, Adolf Finger:
  New Codes for OFDM with Low PMEPR.
  
• Sándor Györi:
  Signature coding for OR channel with asynchronous access.
  
• Kai-Uwe Schmidt, Adolf Finger:
  Simple Maximum-Likelihood Decoding of Generalized First-order Reed-Muller Codes.
  
• Justin Dauwels, Sascha Korl, Hans-Andrea Loeliger:
  Expectation maximization as message passing.
  
• Fang Wu, Zi Zhang, Bernardo A. Huberman:
  Truth-telling Reservations.
  
• Johannes J. Schneider, Scott Kirkpatrick:
  Selfish vs. Unselfish Optimization of Network Creation.
  
• Michael Lentmaier, Arvind Sridharan, Kamil Sh. Zigangirov, Daniel J. Costello Jr.:
  Terminated LDPC Convolutional Codes with Thresholds Close to Capacity.
  
• Jon T. Yard, Igor Devetak, Patrick M. Hayden:
  Capacity Theorems for Quantum Multiple Access Channels.
  
• Derek Messie, Jae C. Oh:
  Polymorphic Self-* Agents for Stigmergic Fault Mitigation in Large-Scale Real-Time Embedded Systems.
  
• Priya Mahadevan, Dmitri V. Krioukov, Marina Fomenkov, Bradley Huffaker, Xenofontas A. Dimitropoulos, Kimberly C. Claffy, Amin Vahdat:
  Lessons from Three Views of the Internet Topology.
  
• Erdal Arikan:
  Channel combining and splitting for cutoff rate improvement.
  
• Irina Naydenova, Torleiv Kløve:
  Codes for error detection, good or not good.
  
• Thierry Despeyroux, Yves Lechevallier, Brigitte Trousse, Anne-Marie Vercoustre:
  Expériences de classification d'une collection de documents XML de structure homogène.
  
• Vamsi Kalapala, Cris Moore:
  The Phase Transition in Exact Cover.
  
• John Robert Burger:
  Quantum Algorithm Processor For Finding Exact Divisors.
  
• Soheil Mohajer, Payam Pakzad, Ali Kakhbod:
  Tight Bounds on the Redundancy of Huffman Codes.
  
• Daniel C. Cunha, Jaime Portugheis:
  Bounds on the Capacity of the Blockwise Noncoherent APSK-AWGN Channels.
  
• Mike Tian-Jian Jiang, Deng Liu, Kang-min Liu, Weizhong Yang, Pek-tiong Tan, Meng-Juei Hsieh, Tsung-Hsiang Chang, Wen-Lien Hsu:
  OpenVanilla - A Non-Intrusive Plug-In Framework of Text Services.
  
• Tien-Chien Chiang, Deng Liu, Kang-min Liu, Weizhong Yang, Pek-tiong Tan, Meng-Juei Hsieh, Tsung-Hsiang Chang, Wen-Lien Hsu:
  OpenVanilla - A Non-Intrusive Plug-In Framework of Text Services.
  
• Marcus Hutter:
  Sequential Predictions based on Algorithmic Complexity.
  
• Sanjit A. Seshia, Randal E. Bryant:
  Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds.
  
• Christoph Albrecht, Andrew B. Kahng, Ion I. Mandoiu, Alexander Zelikovsky:
  Multicommodity Flow Algorithms for Buffered Global Routing.
  
• Panu Chaichanavong, Paul H. Siegel:
  Relaxation Bounds on the Minimum Pseudo-Weight of Linear Block Codes.
  
• Desmond S. Lun, Muriel Médard, Ralf Koetter, Michelle Effros:
  Further Results on Coding for Reliable Communication over Packet Networks.
  
• Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy:
  An Operational Foundation for Delimited Continuations in the CPS Hierarchy.
  
• Ralf Koetter, Wen-Ching W. Li, Pascal O. Vontobel, Judy L. Walker:
  Characterizations of Pseudo-Codewords of LDPC Codes.
  
• Thomas M. Cover, Mung Chiang:
  Duality between channel capacity and rate distortion with two-sided state information.
  
• Jan Mietzner, Sabah Badri-Hoeher, Ingmar Land, Peter A. Hoeher:
  Trellis-Based Equalization for Sparse ISI Channels Revisited.
  
• Pierre Leone, Olivier Powell, José D. P. Rolim:
  Energy Optimal Data Propagation in Wireless Sensor Networks.
  
• Peter D. Turney:
  Measuring Semantic Similarity by Latent Relational Analysis.
  
• Yaron Rachlin, Rohit Negi, Pradeep K. Khosla:
  Sensing Capacity for Markov Random Fields.
  
• Olgica Milenkovic, Navin Kashyap:
  DNA Codes that Avoid Secondary Structures.
  
• Michael Stay:
  Very Simple Chaitin Machines for Concrete AIT.
  
• Miguel R. D. Rodrigues, Ioannis Chatzigeorgiou, Ian J. Wassell, Rolando A. Carrasco:
  On the Performance of Turbo Codes in Quasi-Static Fading Channels.
  
• Herve Jegou, Christine Guillemot:
  Entropy coding with Variable Length Re-writing Systems.
  
• Arindam Mitra:
  Quantum mechanics allows zero-bias.
  
• George M. Gemelos, Styrmir Sigurjonsson, Tsachy Weissman:
  Algorithms for Discrete Denoising Under Channel Uncertainty.
  
• Laksana Tri Handoko:
  SciBlog : A Tool for Scientific Collaboration.
  
• Alexei E. Ashikhmin, Vitaly Skachek:
  Decoding of Expander Codes at Rates Close to Capacity.
  
• Michel Dagenais:
  Disks, Partitions, Volumes and RAID Performance with the Linux Operating System.
  
• Massimiliano Siti, Michael P. Fitz:
  Layered Orthogonal Lattice Detector for Two Transmit Antenna Communications.
  
• Jeroen Bekaert, Herbert Van de Sompel:
  Representing Digital Assets using MPEG-21 Digital Item Declaration.
  
• Silvia Filippini-Fantoni, Jonathan P. Bowen:
  Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara.
  
• Teresa Numerico, Jonathan P. Bowen:
  Copyright and Promotion: Oxymoron or Opportunity?
  
• Martin J. Wainwright, Elitza N. Maneva:
  Lossy source encoding via message-passing and decimation over generalized codewords of LDGM codes.
  
• Martin Ziegler:
  Real Hypercomputation and Continuity.
  
• Martin J. Wainwright, Tommi Jaakkola, Alan S. Willsky:
  MAP estimation via agreement on (hyper)trees: Message-passing and linear programming.
  
• Ryan O'Donnell, Michael E. Saks, Oded Schramm, Rocco A. Servedio:
  Every decision tree has an influential variable.
  
• Igal Sason, Gil Wiechman:
  On Achievable Rates and Complexity of LDPC Codes for Parallel Channels with Application to Puncturing.
  
• Jan Poland, Marcus Hutter:
  Universal Learning of Repeated Matrix Games.
  
• James P. Mammen, Devavrat Shah:
  Throughput and Delay in Random Wireless Networks with Restricted Mobility.
  
• Russell K. Standish:
  Complexity of Networks.
  
• Lawrence Ong, Mehul Motani:
  Myopic Coding in Multiple Relay Channels.
  
• Frédérique E. Oggier, Emmanuel Lequeu:
  Families of unitary matrices achieving full diversity.
  
• Alexander Serebrenik, Susana Muñoz-Hernández:
  Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain.
  
• Nithin Nagaraj, Vivek Vaidya, Prabhakar G. Vaidya:
  Re-visiting the One-Time Pad.
  
• Kirti Chawla:
  A 3D RGB Axis-based Color-oriented Cryptography.
  
• Kirti Chawla:
  ZEUS - A Domain-Oriented Fact Comparison Based Authentication Protocol.
  
• Scott A. Golder, Bernardo A. Huberman:
  The Structure of Collaborative Tagging Systems.
  
• Michael B. Baer:
  A General Framework for Codes Involving Redundancy Minimization.
  
• Michael B. Baer:
  Source Coding for Quasiarithmetic Penalties.
  
• Moshe Schwartz, Paul H. Siegel, Alexander Vardy:
  On the Asymptotic Performance of Iterative Decoders for Product Codes.
  
• Dragos Trinca:
  High-performance BWT-based Encoders.
  
• Dragos Trinca:
  Modelling the Eulerian Path Problem using a String Matching Framework.
  
• Dragos Trinca:
  Special Cases of Encodings by Generalized Adaptive Codes.
  
• Dragos Trinca:
  Modelling the EAH Data Compression Algorithm using Graph Theory.
  
• Dragos Trinca:
  Translating the EAH Data Compression Algorithm into Automata Theory.
  
• Susana Muñoz-Hernández, Claudio Vaucheret:
  Extending Prolog with Incomplete Fuzzy Information.
  
• Stergos D. Afantenos, Vangelis Karkaletsis, Panagiotis Stamatopoulos:
  Summarizing Reports on Evolving Events; Part I: Linear Evolution.
  
• Dana Porrat, Urbashi Mitra:
  Performance of PPM Multipath Synchronization in the Limit of Large Bandwidth.
  
• Kai Chen, Hoi-Kwong Lo:
  Conference Key Agreement and Quantum Sharing of Classical Secrets with Noisy GHZ States.
  
• Rohit Negi, Arjunan Rajeswaran:
  Capacity of Ultra Wide Band Wireless Ad Hoc Networks.
  
• Styrmir Sigurjonsson, Young-Han Kim:
  On Multiple User Channels with Causal State Information at the Transmitters.
  
• Devavrat Shah:
  Max Product for Max-Weight Independent Set and Matching.
  
• Pascal O. Vontobel, Ashwin Ganesan:
  An Explicit Construction of Universally Decodable Matrices.
  
• Dragana Bajic, Cedomir Stefanovic, Dejan Vukobratovic:
  Search Process and Probabilistic Bifix Approach.
  
• Alessandro Provetti:
  A primer on Answer Set Programming.
  
• Mohsen Bayati, Devavrat Shah, Mayank Sharma:
  Maximum Weight Matching via Max-Product Belief Propagation.
  
• Emily Stone, Suhail Ahmed, Abe Askari, Hong Tat:
  Investigations of Process Damping Forces in Metal Cutting.
  
• Peter D. Turney, Michael L. Littman:
  Corpus-based Learning of Analogies and Semantic Relations.
  
• K. J. Horadam:
  A Generalised Hadamard Transform.
  
• Ludovic Langevine, Mireille Ducassé:
  A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs.
  
• Étienne Payet, Frédéric Mesnard:
  An Improved Non-Termination Criterion for Binary Constraint Logic Programs.
  
• Beniamin Mounits, Tuvi Etzion, Simon Litsyn:
  New Upper Bounds on A(n,d).
  
• Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
  Proving or Disproving likely Invariants with Constraint Reasoning.
  
• William Heaven, Alessandra Russo:
  Enhancing the Alloy Analyzer with Patterns of Analysis.
  
• Ali Bagherzandi, Kooshiar Azimian, Javad Mohajeri, Mahmoud Salmasizadeh:
  Relations between semantic security and indistinguishability against cpa, non-adaptive cca and adaptive cca in comparison based framework.
  
• Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
  A Generic Framework for the Analysis and Specialization of Logic Programs.
  
• Claude-Pierre Jeannerod, Gilles Villard:
  Asymptotically fast polynomial matrix algorithms for multivariable systems.
  
• Xiangyong Zeng, Lei Hu, Qingchong Liu:
  A Family of Binary Sequences with Optimal Correlation Property and Large Linear Span.
  
• Xiangyong Zeng, Lei Hu, Qingchong Liu:
  New Sequence Sets with Zero-Correlation Zone.
  
• John Robert Burger:
  Quantum Algorithm Processors to Reveal Hamiltonian Cycles.
  
• Xi Shen, Philippe De Wilde:
  Long-term neuronal behavior caused by two synaptic modification mechanisms.
  
• Soumya Jana:
  Unified Theory of Source Coding: Part I -- Two Terminal Problems.
  
• Soumya Jana:
  Unified Theory of Source Coding: Part II -- Multiterminal Problems.
  
• Gennady P. Berman, Vyacheslav N. Gorshkov, Edward P. MacKerrow, Xidi Wang:
  Iterative Algorithm for Finding Frequent Patterns in Transactional Databases.
  
• Wenyi Zhang, J. Nicholas Laneman:
  How Good is Phase-Shift Keying for Peak-Limited Rayleigh Fading Channels in the Low-SNR Regime?
  
• Sudipto Guha, Andrew McGregor, Suresh Venkatasubramanian:
  Streaming and Sublinear Approximation of Entropy and Information Distances.
  
• Bruno Marnette, Viktor Kuncak, Martin C. Rinard:
  On Algorithms and Complexity for Sets with Cardinality Constraints.
  
• Payam Pakzad, Christina Fragouli, Amin Shokrollahi:
  Coding Schemes for Line Networks.
  
• Sheng Bao, De-Shun Zheng:
  A Sorting Algorithm Based on Calculation.
  
• Christophe Laot, Nicolas Le Josse:
  A Closed-Form Solution for the Finite Length Constant Modulus Receiver.
  
• Jacob Ziv, Neri Merhav:
  On context-tree prediction of individual sequences.
  
• Dmitry Zinoviev:
  Mapping DEVS Models onto UML Models.
  
• Esra Erdem, Vladimir Lifschitz, Donald Ringe:
  Temporal Phylogenetic Networks and Logic Programming.
  
• Mary Baker, Mehul A. Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, Thomas J. Giuli, Prashanth P. Bungale:
  A Fresh Look at the Reliability of Long-term Digital Storage.
  
• Vygintas Gontis, Bronislovas Kaulakys, J. Ruseckas:
  Point Process Models of 1/f Noise and Internet Traffic.
  
• Tran Cao Son, Enrico Pontelli:
  Planning with Preferences using Logic Programming.
  
• Boaz Tsaban:
  Decompositions of graphs of functions and efficient iterations of lookup tables.
  
• Christophe Deroulers, Rémi Monasson:
  Criticality and Universality in the Unit-Propagation Search Rule.
  
• Yaniv S. Avizrats, Joshua Feinberg, Shmuel Fishman:
  A Universal Scaling Theory for Complexity of Analog Computation.
  
• Alessandro Pelizzola:
  Cluster Variation Method in Statistical Physics and Probabilistic Graphical Models.
  
• Howard Kleiman:
  The Symmetric Traveling Salesman Problem.
  
• Ronald Ortner:
  Combinations and Mixtures of Optimal Policies in Unichain Markov Decision Processes are Optimal.
  
• Ronald Ortner:
  Embeddability of Arrangements of Pseudocircles into the Sphere.
  
• James Demmel, Ioana Dumitriu, Olga Holtz:
  Toward accurate polynomial evaluation in rounded arithmetic.
  
• Anatoli Manita, François Simonot:
  On the cascade rollback synchronization.
  
• David Chavalarias:
  Metamimetic Games : Modeling Metadynamics in Social Cognition.
  
• Avanti Ketkar, Andreas Klappenecker, Santosh Kumar, Pradeep Kiran Sarvepalli:
  Nonbinary stabilizer codes over finite fields.
  
• Marie Lalire:
  A probabilistic branching bisimulation for quantum processes.
  
• Roger Colbeck, Adrian Kent:
  Variable Bias Coin Tossing.
  
• Andris Ambainis:
  A new quantum lower bound method, with an application to strong direct product theorem for quantum search.
  
• Stephanie Wehner:
  Entanglement in Interactive Proof Systems with Binary Answers.
  
• Ivan Damgård, Serge Fehr, Louis Salvail, Christian Schaffner:
  Cryptography In the Bounded Quantum-Storage Model.
  
• Pavel Chebotarev, Rafig Agaev:
  Matrices of Forests and the Analysis of Digraphs.
  
• Pavel Chebotarev, Elena Shamis:
  On a Duality between Metrics and $\Sigma$-Proximities.
  
• Pavel Chebotarev:
  Extending Utility Representations of Partial Orders.
  
• Yuri N. Kosovtsov:
  Finding Liouvillian first integrals of rational ODEs of any order in finite terms.
  

Last update Sat May 25 19:54:21 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page