CoRR, May 2005

• Roberto da Silva, Alexandre Tavares Baraviera, Silvio R. Dahmen:
  Modelling investment in artificial stock markets: Analytical and Numerical Results. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505001]
• Martin Grohe, Christoph Koch, Nicole Schweikardt:
  Tight Lower Bounds for Query Processing on Streaming and External Memory Data. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505002]
• Xiaofei Huang:
  A New Kind of Hopfield Networks for Finding Global Optimum. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505003]
• Sergei Kojarski, David H. Lorenz:
  Pluggable AOP: Designing Aspect Mechanisms for Third-party Composition. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505004]
• Jan van der Veen, Sándor P. Fekete, Ali Ahmadinia, Christophe Bobda, Frank Hannig, Jürgen Teich:
  Defragmenting the Module Layout of a Partially Reconfigurable Device. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505005]
• Emanuel Diamant:
  Searching for image information content, its discovery, extraction, and representation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505006]
• Dragos Trinca:
  Adaptive Codes: A New Class of Non-standard Variable-length Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505007]
• Annette Kuhlmann, Ralf-Michael Vetter, Christoph Lübbing, Clemens-August Thole:
  Data Mining on Crash Simulation Data. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505008]
• Arindam Mitra:
  Human brain and classical computer can generate true random numbers through algorithmic process. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505009]
• Neri Merhav, Jacob Ziv:
  On the Wyner-Ziv problem for individual sequences. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505010]
• Tony Chang, Damon J. Cook, Ramona E. Su:
  SWiM: A Simple Window Mover. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505011]
• Neri Merhav:
  On the Shannon cipher system with a capacity-limited key-distribution channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505012]
• Phuong Nguyen, Stephen Cook:
  Theories for TC0 and Other Small Complexity Classes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505013]
• Haibin Wang, Florentin Smarandache, Yan-Qing Zhang, Rajshekhar Sunderraman:
  Interval Neutrosophic Sets and Logic: Theory and Applications in Computing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505014]
• Tomasz Suslo:
  Complex Mean and Variance of Linear Regression Model for High-Noised Systems by Kriging. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505015]
• Shashank Araokar:
  Visual Character Recognition using Artificial Neural Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505016]
• Manuel Abellanas, Mercè Claverol, Ferran Hurtado:
  Point set stratification and Delaunay depth. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505017]
• Jean-Francois Mari, Florence Le Ber:
  Temporal and Spatial Data Mining with Second-Order Hidden Models. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505018]
• Nitin Malik:
  Artificial Neural Networks and their Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505019]
• Thomas Zemen, Stefan M. Moser:
  Asymptotic Capacity Results for Non-Stationary Time-Variant Channels Using Subspace Projections. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505020]
• Artur Rataj:
  Distant generalization by feedforward neural networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505021]
• Hideki Ochiai, Patrick Mitran, H. Vincent Poor, Vahid Tarokh:
  Collaborative Beamforming for Distributed Wireless Ad Hoc Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505022]
• Guillaume Gardey, Olivier H. Roux, Olivier F. Roux:
  State Space Computation and Analysis of Time Petri Nets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505023]
• Riccardo Pucella:
  Logic Column 12: Logical Verification and Equational Verification. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505024]
• Antonín Kucera, Petr Jancar:
  Equivalence-Checking on Infinite-State Systems: Techniques and Results. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505025]
• Moreno Falaschi, Alicia Villanueva:
  Automatic Verification of Timed Concurrent Constraint Programs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505026]
• Vincent Lefèvre:
  The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library). , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505027]
• István Miklós, Irmtraud M. Meyer:
  A linear memory algorithm for Baum-Welch training. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505028]
• Muthu Ramachandran:
  Automated Improvement for Component Reuse. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505029]
• Arne Storjohann, Gilles Villard:
  Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505030]
• Rudini Menezes Sampaio, Horacio Hideki Yanasse:
  Estudo e Implementacao de Algoritmos de Roteamento sobre Grafos em um Sistema de Informacoes Geograficas. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505031]
• Ron Dabora, Sergio D. Servetto:
  Broadcast Channels with Cooperating Decoders. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505032]
• Ahmed Bouajjani, Agathe Merceron:
  Parametric Verification of a Group Membership Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505033]
• Russell O'Connor:
  Essential Incompleteness of Arithmetic Verified by Coq. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505034]
• Hubie Chen, Víctor Dalmau:
  Beyond Hypertree Width: Decomposition Methods Without Decompositions. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505035]
• Martín Matamala, Eduardo Moreno:
  Minimal Eulerian trail in a labeled digraph. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505036]
• Venanzio Capretta:
  General Recursion via Coinductive Types. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505037]
• Albrecht Schmidt, Christian S. Jensen:
  Efficient Management of Short-Lived Data. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505038]
• Judit Bar-Ilan, Mazlita Mat-Hassan, Mark Levene:
  Methods for comparing rankings of search engine results. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505039]
• Serban E. Vlad:
  Asynchronous pseudo-systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505040]
• Yongming Li, Sanjiang Li, Mingsheng Ying:
  Relational reasoning in the region connection calculus. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505041]
• Matthew G. Earl, Raffaello D'Andrea:
  Iterative MILP Methods for Vehicle Control Problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505042]
• João Manuel R. S. Tavares, Raquel Ramos Pinho:
  Estimacao Temporal da Deformacao entre Objectos utilizando uma Metodologia Fisica. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505043]
• Luis B. Almeida:
  Separating a Real-Life Nonlinear Image Mixture. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505044]
• K. Madhava Krishna, Henry Hexmoor, Shravan Kumar Sogani:
  A T Step Ahead Optimal Target Detection Algorithm for a Multi Sensor Surveillance System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505045]
• Ignacio Melgar, Jaime Gómez, Juan Seijas:
  Optimum Signal Linear Detector in the Discrete Wavelet Transform-Domain. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505046]
• David R. Wood:
  A Simple Proof of the F{á}ry-Wagner Theorem. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505047]
• David Eppstein, Michael T. Goodrich, Daniel S. Hirschberg:
  Improved Combinatorial Group Testing Algorithms for Real-World Problem Sizes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505048]
• Dumitru Mihai Ionescu, Zhiyuan Yan:
  Fading-Resilient Super-Orthogonal Space-Time Signal Sets: Can Good Constellations Survive in Fading? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505049]
• Manuel Arturo Izquierdo:
  The QDF file format: an electronic system to describe ancient andean khipus. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505050]
• Jaime Gómez, Ignacio Melgar, Juan Seijas, Diego Andina:
  Sub-Optimum Signal Linear Detector Using Wavelets and Support Vector Machines. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505051]
• Jaime Gómez, Ignacio Melgar, Juan Seijas:
  Upgrading Pulse Detection with Time Shift Properties Using Wavelets and Support Vector Machines. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505052]
• Jaime Gómez, Ignacio Melgar, Juan Seijas:
  Wavelet Time Shift Properties Integration with Support Vector Machines. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505053]
• Mostafa El-Khamy, Robert J. McEliece:
  The Partition Weight Enumerator of MDS Codes and its Applications. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505054]
• Kooshiar Azimian, Javad Mohajeri, Mahmoud Salmasizadeh, Siamak Fayyaz Shahandashti:
  A Verifiable Partial Key Escrow, Based on McCurley Encryption Scheme. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505055]
• Udayan Khurana, Anirudh Koul:
  Text Compression and Superfast Searching. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505056]
• Gil Wiechman, Igal Sason:
  Improved Bounds on the Parity-Check Density and Achievable Rates of Binary Linear Block Codes with Applications to LDPC Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505057]
• Patrick C. McGuire, Enrique Díaz Martínez, Jens Ormö, Javier Gómez-Elvira, José Antonio Rodríguez Manfredi, Eduardo Sebastián-Martínez, Helge Ritter, Robert Haschke, Markus Oesker, Jörg Ontrup:
  The Cyborg Astrobiologist: Scouting Red Beds for Uncommon Features with Geological Significance. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505058]
• Sergio Flesca, Filippo Furfaro, Francesco Parisi:
  Consistent query answers on numerical databases under aggregate constraints. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505059]
• Zengyou He, Xiaofei Xu, Shengchun Deng:
  A Unified Subspace Outlier Ensemble Framework for Outlier Detection in High Dimensional Spaces. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505060]
• Dragos Trinca:
  EAH: A New Encoder based on Adaptive Variable-length Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505061]
• Ravi Sankar Veerubhotla, Ashutosh Saxena, Ved Prakash Gulati, Arun K. Pujari:
  Gossip Codes for Fingerprinting: Construction, Erasure Analysis and Pirate Tracing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505062]
• Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
  Approximate reasoning for real-time probabilistic processes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505063]
• Patrick C. McGuire, Jannik Fritsch, Jochen J. Steil, Frank Röthling, Gernot A. Fink, Sven Wachsmuth, Gerhard Sagerer, Helge Ritter:
  Multi-Modal Human-Machine Communication for Instructing Robot Grasping Tasks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505064]
• Xiao-Feng Xie, Wenjun Zhang, Zhilian Yang:
  A dissipative particle swarm optimization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505065]
• Udayan Khuarana:
  Decision Sort and its Parallel Implementation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505066]
• Xiao-Feng Xie, Wenjun Zhang, De-Chun Bi:
  Optimizing semiconductor devices by self-organizing particle swarm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505067]
• Xiao-Feng Xie, Wenjun Zhang, De-Chun Bi:
  Handling equality constraints by adaptive relaxing rule for swarm algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505068]
• Wenjun Zhang, Xiao-Feng Xie, De-Chun Bi:
  Handling boundary constraints for numerical optimization by particle swarm flying in periodic search space. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505069]
• Xiao-Feng Xie, Wen-Jun Zhang:
  SWAF: Swarm Algorithm Framework for Numerical Optimization. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505070]
• Taneli Mielikäinen:
  Summarization Techniques for Pattern Collections in Data Mining. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505071]
• Weiming Zhang, Shiqu Li:
  Steganographic Codes -- a New Problem of Coding Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505072]
• Stéphane Demri, David Nowak:
  Reasoning about transfinite sequences. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505073]
• Stijn Dekeyser, Jan Hidders, Jan Paredaens, Roel Vercammen:
  Instance-Independent View Serializability for Semistructured Databases. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505074]
• Yongxi Cheng, Xi Chen, Yiqun Lisa Yin:
  On Searching a Table Consistent with Division Poset. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505075]
• Marats Golovkins:
  On the Solution of Graph Isomorphism by Dynamical Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505076]
• Shlomo Moran, Sagi Snir:
  Efficient Approximation of Convex Recolorings. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505077]
• Gil Wiechman, Igal Sason:
  On the Parity-Check Density and Achievable Rates of LDPC Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505078]
• Boris Ryabko, Jaakko Astola, Alexander Gammerman:
  Application of Kolmogorov complexity and universal codes to identity testing and nonparametric testing of serial independence for time series. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505079]
• Olga Rudenko, Marc Schoenauer:
  Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505080]
• Sabine Bruaux, Gilles Kassel, Gilles Morel:
  An ontological approach to the construction of problem-solving models. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505081]
• Boaz Tsaban:
  Fast generators for the Diffie-Hellman key agreement protocol and malicious standards. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505082]
• Vladimir Vovk, Akimichi Takemura, Glenn Shafer:
  Defensive forecasting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505083]
• Valentin E. Brimkov, Angelo Maimone, Giorgio Nordo:
  An explicit formula for the number of tunnels in digital objects. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505084]
• Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey:
  Improving PARMA Trailing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505085]
• Mercè Llabrés, Jairo Rocha, Francesc Rosselló, Gabriel Valiente:
  On the Ancestral Compatibility of Two Phylogenetic Trees with Nested Taxa. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505086]
• Michael Soltys:
  Feasible Proofs of Matrix Properties with Csanky's Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505087]
• Rodrigo S. C. Leão, Valmir C. Barbosa:
  6-cycle double covers of cubic graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0505088]
• S. N. Dorogovtsev, J. F. F. Mendes, A. M. Povolotsky, A. N. Samukhin:
  Organization of complex networks without multiple connections. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0505193]
• Massimo Di Pierro:
  Parallel Programming with Matrix Distributed Processing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/hep-lat/0505005]
• Erik Palmgren:
  Internalising modified realisability in constructive type theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0505418]
• Vladimir Shpilrain, Alexander Ushakov:
  Thompson's group and public key cryptography. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0505487]
• Ilia Binder, Mark Braverman, Michael Yampolsky:
  On computational complexity of Riemann mapping. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0505617]
• Carlos Gershenson:
  A General Methodology for Designing Self-Organizing Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/nlin/0505009]
• Mason A. Porter, Peter J. Mucha, M. E. J. Newman, Casey M. Warmbrand:
  A network analysis of committees in the United States House of Representatives. , (informal publication)
  Electronic Edition (link) BibTeX [abs/nlin/0505043]
• E. Erturk, B. Dursun:
  Numerical Solutions of 2-D Steady Incompressible Flow in a Driven Skewed Cavity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/physics/0505121]
• Hugues Berry, Olivier Temam:
  Characterizing Self-Developing Biological Neural Networks: A First Step Towards their Application To Computing Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/q-bio/0505021]
• Peter T. Hraber, Bette T. Korber, Steven Wolinsky, Henry A. Erlich, Elizabeth A. Trachtenberg, Thomas B. Kepler:
  HLA and HIV Infection Progression: Application of the Minimum Description Length Principle to Statistical Genetics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/q-bio/0505050]
• Dmitry Gavinsky:
  A Note on Shared Randomness and Shared Entanglement in Communication. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0505088]
• H. Bechmann-Pasquinucci, Andrea Pasquinucci:
  Quantum key distribution with trusted quantum relay. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0505089]
• Ronald de Wolf:
  Lower Bounds on Matrix Rigidity via a Quantum Argument. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0505188]