CoRR, March 2005

• Emanuel Diamant:
  Top-Down Unsupervised Image Segmentation (it sounds like oxymoron, but actually it is not). , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503001]
• Lester O. Lobo, James D. Arthur:
  Local and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503002]
• Lester O. Lobo, James D. Arthur:
  An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503003]
• Lester O. Lobo, James D. Arthur:
  Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503004]
• A. Kuyumchyan, A. Isoyan, E. Shulakov, V. Aristov, M. Kondratenkov, A. Snigirev, I. Snigireva, A. Souvorov, K. Tamasaku, M. Yabashi, T. Ishikawa, K. Trouni:
  High efficiency and low absorption Fresnel compound zone plates for hard X-ray focusing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503005]
• J. Cai, C. Tjhai, Martin Tomlinson, Marcel Ambroze, Mohammed Ahmed:
  A New Non-Iterative Decoding Algorithm for the Erasure Channel : Comparisons with Enhanced Iterative Methods. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503006]
• Johan Bollen, Herbert Van de Sompel, Joan A. Smith, Richard Luce:
  Toward alternative metrics of journal impact: A comparison of download and citation data. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503007]
• Laurent Tournier:
  Approximation of dynamical systems using S-systems theory : application to biological systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503008]
• Rodrigo S. C. Leão, Valmir C. Barbosa:
  Minimal chordal sense of direction and circulant graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503009]
• Wolfram Krause, Jan Scholz, Martin Greiner:
  Optimized network structure and routing metric in wireless multihop ad hoc communication. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503010]
• Sandeep Pandey, Sourashis Roy, Christopher Olston, Junghoo Cho, Soumen Chakrabarti:
  Shuffling a Stacked Deck: The Case for Partially Randomized Ranking of Search Engine Results. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503011]
• Floris Geerts, Sofie Haesevoets, Bart Kuijpers:
  First-order Complete and Computationally Complete Query Languages for Spatio-Temporal Databases. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503012]
• Luiz Angelo Barchet-Estefanel, Grégory Mounié:
  Prédiction de Performances pour les Communications Collectives. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503013]
• Christian W. Straka:
  ADF95: Tool for automatic differentiation of a FORTRAN code designed for large numbers of independent variables. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503014]
• Arie van Deursen, Marius Marin, Leon Moonen:
  A Systematic Aspect-Oriented Refactoring and Testing Strategy, and its Application to JHotDraw. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503015]
• Xiaoming Liu, Lyudmila Balakireva, Patrick Hochstenbach, Herbert Van de Sompel:
  File-based storage of Digital Objects and constituent datastreams: XMLtapes and Internet Archive ARC files. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503016]
• Hooman Nikmehr, Braden Phillips, Cheng-Chew Lim:
  A Fast Combined Decimal Adder/Subtractor. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503017]
• Joseph Y. Halpern, Riccardo Pucella:
  Probabilistic Algorithmic Knowledge. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503018]
• Amos Lapidoth, Natalia Miliou:
  Duality Bounds on the Cut-Off Rate with Applications to Ricean Fading. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503019]
• Tim Brody, Stevan Harnad:
  Earlier Web Usage Statistics as Predictors of Later Citation Impact. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503020]
• Stevan Harnad:
  Fast-Forward on the Green Road to Open Access: The Case Against Mixing Up Green and Gold. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503021]
• Daniel Pfeifer, Peter C. Lockemann:
  Theory and Practice of Transactional Method Caching. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503022]
• Josiah Carlson, David Eppstein:
  The Weighted Maximum-Mean Subtree and Other Bicriterion Subtree Problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503023]
• Dan Tufis, Radu Ion, Nancy Ide:
  Fine-Grained Word Sense Disambiguation Based on Parallel Corpora, Word Alignment, Word Clustering and Aligned Wordnets. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503024]
• Jia Yu, Rajkumar Buyya:
  A Taxonomy of Workflow Management Systems for Grid Computing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503025]
• Marcus Hutter:
  On Generalized Computable Universal Priors and their Convergence. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503026]
• Emin Martinian, Gregory W. Wornell, Brian Chen:
  Authentication with Distortion Criteria. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503027]
• Phan Minh Dung, Do Duc Hanh, Phan Minh Thang:
  Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503028]
• Michael J. Kurtz, Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Markus Demleitner, Edwin A. Henneken, Stephen S. Murray:
  The Effect of Use and Access on Citations. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503029]
• Rajesh Pampapathi, Boris Mirkin, Mark Levene:
  A Suffix Tree Approach to Email Filtering. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503030]
• An-Swol Hu, Sergio D. Servetto:
  On the Scalability of Cooperative Time Synchronization in Pulse-Connected Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503031]
• Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko:
  Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503032]
• Stergos D. Afantenos, Konstantina Liontou, Maria Salapata, Vangelis Karkaletsis:
  An Introduction to the Summarization of Evolving Events: Linear and Non-linear Evolution. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503033]
• David Poulin, Hugo Touchette:
  Comment on "Some non-conventional ideas about algorithmic complexity". , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503034]
• Anna Bogomolnaia, Michel Le Breton, Alexei Savvateev, Shlomo Weber:
  The egalitarian sharing rule in provision of public projects. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503035]
• Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
  Timed Analysis of Security Protocols. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503036]
• Zengyou He:
  Mining Top-k Approximate Frequent Patterns. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503037]
• Armen Grigoryants:
  On a Kronecker products sum distance bounds. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503038]
• Leonid A. Levin:
  Notes for Miscellaneous Lectures. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503039]
• Shalinee Kishore, Stuart C. Schwartz, Larry J. Greenstein, H. Vincent Poor:
  Uplink Throughput in a Single-Macrocell/Single-Microcell CDMA System, with Application to Data Access Points. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503040]
• Shalinee Kishore, Larry J. Greenstein, H. Vincent Poor, Stuart C. Schwartz:
  Soft Handoff and Uplink Capacity in a Two-Tier CDMA System. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503041]
• Shalinee Kishore, Larry J. Greenstein, H. Vincent Poor, Stuart C. Schwartz:
  Uplink User Capacity in a CDMA System with Hotspot Microcells: Effects of Finite Transmit Power and Dispersion. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503042]
• Paolo Liberatore:
  Complexity Issues in Finding Succinct Solutions of PSPACE-Complete Problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503043]
• Haixia Jia, Cristopher Moore, Doug Strain:
  Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503044]
• Gregory E. Graham, M. Anzar Afaq, David Evans, Gerald Guglielmo, Eric Wicklund, Peter Love:
  Contextual Constraint Modeling in Grid Application Workflows. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503045]
• Dimitris Achlioptas, Haixia Jia, Cristopher Moore:
  Hiding Satisfying Assignments: Two are Better than One. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503046]
• Christina Peraki, Sergio D. Servetto:
  On Multiflows in Random Unit-Disk Graphs, and the Capacity of Some Wireless Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503047]
• Arindam Mitra:
  Is entanglement necessary to have unconditional security in quantum bit commitment ? , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503048]
• Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena:
  Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503049]
• Hanna E. Makaruk, Robert Owczarek, Nikita A. Sakhanenko:
  Systematic Method for Path-Complete White Box Testing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503050]
• Fengfeng Zhou, Guoliang Chen, Yinlong Xu:
  Construction of Small Worlds in the Physical Topology of Wireless Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503051]
• David Doty, Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo, Philippe Moser:
  Zeta-Dimension. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503052]
• Carlos Miravet, Francisco B. Rodríguez:
  A hybrid MLP-PNN architecture for fast image superresolution. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503053]
• A. W. Overhauser:
  Analytic Definition of Curves and Surfaces by Parabolic Blending. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503054]
• Gianluca Amato, Francesca Scozzari:
  Optimality in Goal-Dependent Analysis of Sharing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503055]
• Carlos Miravet, Enrique Coiras, Javier Santamaría:
  Semi-automatic vectorization of linear networks on rasterized cartographic maps. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503056]
• Ion I. Mandoiu, Dragos Trinca:
  Exact and Approximation Algorithms for DNA Tag Set Design. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503057]
• Moshe Schwartz, Alexander Vardy:
  On the Stopping Distance and the Stopping Redundancy of Codes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503058]
• Laurent Krähenbühl:
  Les représentations génétiques d'objets : simples analogies ou modèles pertinents ? Le point de vue de l' "évolutique". - Genetic representations of objects : simple analogies or efficient models ? The "evolutic" point of view. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503059]
• Quan Son Nguyen:
  Multi-Dimensional Hash Chains and Application to Micropayment Schemes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503060]
• Sandro Etalle, William H. Winsborough:
  Integrity Constraints in Trust Management. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503061]
• Christoph Koch:
  On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503062]
• Dongning Guo, Sergio Verdú:
  Randomly Spread CDMA: Asymptotics via Statistical Physics. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503063]
• Desmond S. Lun, Niranjan Ratnakar, Muriel Médard, Ralf Koetter, David R. Karger, Tracey Ho, Ebad Ahmed, Fang Zhao:
  Minimum-Cost Multicast over Coded Packet Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503064]
• Dominique Duval, Rachid Echahed, Frédéric Prost:
  Data-Structure Rewriting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503065]
• Ali Ahmadinia, Christophe Bobda, Ji Ding, Mateusz Majer, Jürgen Teich, Sándor P. Fekete, Jan van der Veen:
  A Practical Approach for Circuit Routing on Dynamic Reconfigurable Devices. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503066]
• Alan Jeffrey, Julian Rathke:
  Contextual equivalence for higher-order pi-calculus revisited. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503067]
• Michael L. Nelson:
  A Survey of Reverse Engineering and Program Comprehension. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503068]
• Michael L. Nelson, Herbert Van de Sompel, Xiaoming Liu, Terry L. Harrison, Nathan McFarland:
  mod_oai: An Apache Module for Metadata Harvesting. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503069]
• Juan P. Neirotti, David Saad:
  Improved message passing for inference in densely connected systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503070]
• Joel B. Predd, Sanjeev R. Kulkarni, H. Vincent Poor:
  Consistency in Models for Distributed Learning under Communication Constraints. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503071]
• Joel B. Predd, Sanjeev R. Kulkarni, H. Vincent Poor:
  Distributed Learning in Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503072]
• Viktor Toth:
  Tensor manipulation in GPL Maxima. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503073]
• Sameer Tilak, Bhanu Pisupati, Kenneth Chiu, Geoffrey Brown, Nael B. Abu-Ghazaleh:
  A File System Abstraction for Sense and Respond Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503074]
• W.-Y. Ng, W. K. Lin, D. M. Chiu:
  Statistical Modelling of Information Sharing: Community, Membership and Content. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503075]
• Marci Meingast, Christopher Geyer, Shankar Sastry:
  Geometric Models of Rolling-Shutter Cameras. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503076]
• Mehryar Mohri, Fernando Pereira, Michael Riley:
  Weighted Automata in Text and Speech Processing. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503077]
• Angelo Luis Pagliosa, Claudio Cesar de Sá, Fernando D. Sasse:
  Obtaining Membership Functions from a Neuron Fuzzy System extended by Kohonen Network. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503078]
• A. A. Prikhod'ko, N. A. Prikhod'ko:
  Space-time databases modeling global semantic networks. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503079]
• Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
  Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503080]
• Zengyou He, Xiaofei Xu, Shengchun Deng:
  An Optimization Model for Outlier Detection in Categorical Data. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503081]
• Gabriel Istrate, Stefan Boettcher, Allon G. Percus:
  Spines of Random Constraint Satisfaction Problems: Definition and Connection with Computational Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503082]
• Gabriel Istrate:
  Coarse and Sharp Thresholds of Boolean Constraint Satisfaction Problems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503083]
• P. Nefyodov, V. Reztsov, O. Riabinina:
  The Peculiarities of Nonstationary Formation of Inhomogeneous Structures of Charged Particles in the Electrodiffusion Processes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503084]
• Travis Gagie:
  Dynamic Shannon Coding. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503085]
• Joseph Morlier:
  Segmentation of the Homogeneity of a Signal Using a Piecewise Linear Recognition Tool. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503086]
• Reno Filla, Allan Ericsson, Jan-Ove Palmberg:
  Dynamic Simulation of Construction Machinery: Towards an Operator Model. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503087]
• Masahito Hayashi:
  General non-asymptotic and asymptotic formulas in channel resolvability and identification capacity and their application to wire-tap channel. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503088]
• Masahito Hayashi:
  Second order asymptotics in fixed-length source coding and intrinsic randomness. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503089]
• David K. Arrowsmith, Mario di Bernardo, Francesco Sorrentino:
  Effects of variations of load distribution on network performance. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503090]
• Tatsuaki Okamoto, Ryo Kashima:
  Resource Bounded Unprovability of Computational Lower Bounds. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503091]
• Jan Chomicki, Joyce Song:
  Monotonic and Nonmonotonic Preference Revision. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cs/0503092]
• Dimitris Achlioptas, Aaron Clauset, David Kempe, Cristopher Moore:
  On the Bias of Traceroute Sampling; or, Power-law Degree Distributions in Regular Graphs. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0503087]
• Boris D. Lubachevsky:
  How to Simulate Billiards and Similar Systems. , (informal publication)
  Electronic Edition (link) BibTeX [abs/cond-mat/0503627]
• Paulo Mateus, Amílcar Sernadas:
  Weakly complete axiomatization of exogenous quantum propositional logic. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0503453]
• Elchanan Mossel, Ryan O'Donnell, Krzysztof Oleszkiewicz:
  Noise stability of functions with low influences: invariance and optimality. , (informal publication)
  Electronic Edition (link) BibTeX [abs/math/0503503]
• V. V. Kozlov, M. Yu. Mitrofanova:
  Galton Board. , (informal publication)
  Electronic Edition (link) BibTeX [abs/nlin/0503024]
• Claude Crépeau, Daniel Gottesman, Adam Smith:
  Approximate Quantum Error-Correcting Codes and Secret Sharing Schemes. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0503139]
• Saied Hosseini-Khayat, Iman Marvian:
  Secure Communication Using Qubits. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0503157]
• Vladimir E. Korepin:
  Optimization of Partial Search. , (informal publication)
  Electronic Edition (link) BibTeX [abs/quant-ph/0503238]