Home
ArXiv.org - May 2005 [entries|archive|friends|userinfo]
arxiv_cs

[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

May 2005
[<<<] [>>>]
2nd
12:40 pm: Discrete Physics: a new way to look at cryptography. [nlin.CG/0504059 CROSS LISTED]
12:40 pm: Virtual Observatory: From Concept to Implementation. [astro-ph/0504006 CROSS LISTED]
12:40 pm: No Signalling and Quantum Key Distribution. [quant-ph/0405101 UPDATED]
12:40 pm: Fast n-point correlation functions and three-point lensing application. [astro-ph/0305447 UPDATED]
12:40 pm: Linear Datalog and Bounded Path Duality of Relational Structures. [cs.LO/0504027 UPDATED]
12:40 pm: The Viterbi Algorithm: A Personal History. [cs.IT/0504020 UPDATED]
12:40 pm: Notes for Miscellaneous Lectures. [cs.DM/0503039 UPDATED]
12:40 pm: An Audit Logic for Accountability. [cs.CR/0502091 UPDATED]
12:40 pm: Efficient and Robust Geocasting Protocols for Sensor Networks. [cs.NI/0504111]
12:40 pm: Convex Separation from Optimization Using Analytic Centers. [cs.DS/0504110]
12:40 pm: Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems. [cs.SE/0504109]
12:40 pm: Cooperative Game Theory within Multi-Agent Systems for Systems Scheduling. [cs.AI/0504108]
3rd
03:41 am: A New Class of Hard 3-SAT Instances. [cs.AI/0504101 CROSS LISTED]
03:41 am: Frequency of occurrence of numbers in the World Wide Web. [physics/0504185 UPDATED]
03:41 am: Polynomial Degree and Lower Bounds in Quantum Complexity: Collision and Element ... [quant-ph/030517
03:41 am: The Existence of $\omega$-Chains for Transitive Mixed Linear Relations and Its A... [cs.LO/0110063 U
03:41 am: Data Mining on Crash Simulation Data. [cs.IR/0505008]
03:41 am: Adaptive Codes: A New Class of Non-standard Variable-length Codes. [cs.DS/0505007]
03:41 am: Searching for image information content, its discovery, extraction, and represen... [cs.CV/0505006]
03:41 am: Defragmenting the Module Layout of a Partially Reconfigurable Device. [cs.AR/0505005]
03:41 am: Pluggable AOP: Designing Aspect Mechanisms for Third-party Composition. [cs.SE/0505004]
03:41 am: A New Kind of Hopfield Networks for Finding Global Optimum. [cs.NE/0505003]
03:41 am: Tight Lower Bounds for Query Processing on Streaming and External Memory Data. [cs.DB/0505002]
03:41 am: Modelling investment in artificial stock markets: Analytical and Numerical Resul... [cs.CE/0505001]
4th
09:40 am: True random bits can be generated by algorithmic process. [cs.DS/0505009]
5th
01:40 pm: SWiM: A Simple Window Mover. [cs.HC/0505011]
01:40 pm: On the Wyner-Ziv problem for individual sequences. [cs.IT/0505010]
6th
04:00 am: The Maximum-Mean Subtree. [cs.CG/0503023 UPDATED]
04:00 am: Classical key distribution can fulfill the goal of quantum key distribution. [cs.CR/0412099 UPDATED]
04:00 am: On the Shannon cipher system with a capacity-limited key-distribution channel. [cs.IT/0505012]
9th
11:20 am: A General Methodology for Designing Self-Organizing Systems. [nlin.AO/0505009 CROSS LISTED]
11:20 am: Interval Neutrosophic Sets and Logic: Theory and Applications in Computing. [cs.LO/0505014]
11:20 am: Theories for TC0 and Other Small Complexity Classes. [cs.LO/0505013]
10th
04:21 am: Disaster Management in Scale-Free Networks: Recovery from and Protection Against... [cond-mat/050418
04:21 am: Let Your CyberAlter Ego Share Information and Manage Spam. [physics/0504026 UPDATED]
04:21 am: A DNA Sequence Compression Algorithm Based on Look-up Table and LZ77. [cs.IT/0504100 UPDATED]
04:21 am: Simple extractors via constructions of cryptographic pseudo-random generators. [cs.CC/0501075 UPDATE
04:21 am: Fast Construction of Nets in Low Dimensional Metrics, and Their Applications. [cs.DS/0409057 UPDATED
04:21 am: Temporal and Spatial Data Mining with Second-Order Hidden Models. [cs.AI/0505018]
04:21 am: Point set stratification and Delaunay depth. [cs.CG/0505017]
04:21 am: Visual Character Recognition using Artificial Neural Networks. [cs.NE/0505016]
04:21 am: Complex Mean and Variance of Linear Regression Model for High-Noised Systems by ... [cs.NA/0505015]
11th
05:20 pm: Organization of complex networks without multiple connections. [cond-mat/0505193 CROSS LISTED]
05:20 pm: Equivalence-Checking on Infinite-State Systems: Techniques and Results. [cs.LO/0505025]
05:20 pm: Logic Column 12: Logical Verification and Equational Verification. [cs.LO/0505024]
05:20 pm: State Space Computation and Analysis of Time Petri Nets. [cs.LO/0505023]
05:20 pm: Collaborative Beamforming for Distributed Wireless Ad Hoc Sensor Networks. [cs.IT/0505022]
05:20 pm: Corruption of Generalizing Signals in Densely Connected Feedforward Neural Netwo... [cs.NE/0505021]
05:20 pm: Asymptotic Capacity Results for Non-Stationary Time-Variant Channels Using Subsp... [cs.IT/0505020]
05:20 pm: Artificial Neural Networks and their Applications. [cs.NE/0505019]
12th
02:22 pm: Characterizing Self-Developing Biological Neural Networks: A First Step Towards ... [q-bio.NC/050502
02:22 pm: Parallel Programming with Matrix Distributed Processing. [hep-lat/0505005 CROSS LISTED]
02:22 pm: Broadcast Channels with Cooperating Decoders. [cs.IT/0505032]
02:22 pm: Estudo e Implementacao de Algoritmos de Roteamento sobre Grafos em um Sistema de... [cs.MS/0505031]
02:22 pm: Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix. [cs.SC/0505030]
02:22 pm: Automated Improvement for Component Reuse. [cs.SE/0505029]
02:22 pm: A linear memory algorithm for Baum-Welch training. [cs.LG/0505028]
02:22 pm: The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as i... [cs.DS/0505027]
02:22 pm: Automatic Verification of Timed Concurrent Constraint Programs. [cs.LO/0505026]
13th
01:00 pm: The state complexity of L^2 and L^k. [cs.CC/0410032 UPDATED]
01:00 pm: Beyond Hypertree Width: Decomposition Methods Without Decompositions. [cs.CC/0505035]
01:00 pm: Essential Incompleteness of Arithmetic Verified by Coq. [cs.LO/0505034]
01:00 pm: Parametric Verification of a Group Membership Algorithm. [cs.LO/0505033]
16th
10:40 am: Quantum key distribution with trusted quantum relay. [quant-ph/0505089 CROSS LISTED]
10:40 am: Lower-Stretch Spanning Trees. [cs.DS/0411064 UPDATED]
10:40 am: General Recursion via Coinductive Types. [cs.LO/0505037]
10:40 am: Minimal Eulerian trail in a labeled digraph. [cs.DM/0505036]
17th
04:41 am: On mutual information, likelihood-ratios and estimation error for the additive G... [math.PR/0409548
04:41 am: How to reuse a one-time pad and other notes on authentication, encryption and pr... [quant-ph/030616
04:41 am: Separating a Real-Life Nonlinear Image Mixture. [cs.NE/0505044]
04:41 am: Estimacao Temporal da Deformacao entre Objectos utilizando uma Metodologia Fisic... [cs.GR/0505043]
04:41 am: Iterative MILP Methods for Vehicle Control Problems. [cs.RO/0505042]
04:41 am: Relational reasoning in the region connection calculus. [cs.AI/0505041]
04:41 am: Asynchronous pseudo-systems. [cs.OH/0505040]
04:41 am: Methods for comparing rankings of search engine results. [cs.IR/0505039]
04:41 am: Efficient Management of Short-Lived Data. [cs.DB/0505038]
18th
05:40 am: Elements for Response Time Statistics in ERP Transaction Systems. [cs.PF/0404035 UPDATED]
05:40 am: A T Step Ahead Optimal Target Detection Algorithm for a Multi Sensor Surveillanc... [cs.MA/0505045]
19th
06:40 am: A network analysis of committees in the United States House of Representatives. [nlin.AO/0505043 CRO
06:40 am: Exploration of scale-free networks. [cond-mat/0401065 CROSS LISTED]
06:40 am: Quantum Circuits with Unbounded Fan-out. [quant-ph/0208043 UPDATED]
06:40 am: A DNA Sequence Compression Algorithm Based on Look-up Table and LZ77. [cs.IT/0504100 UPDATED]
06:40 am: A Simple Proof of the F{\'a}ry-Wagner Theorem. [cs.CG/0505047]
06:40 am: Optimum Signal Linear Detector in the Discrete Wavelet Transform-Domain. [cs.IT/0505046]
20th
01:00 am: Relativistic velocity transformation as a genitor of transformation equations (e... [physics/0505130
08:00 am: Long range frustration in finite connectivity spin glasses: A mean field theory ... [cond-mat/041107
08:00 am: Improved Lower Bounds for Locally Decodable Codes and Private Information Retrie... [quant-ph/040314
08:00 am: Fading-Resilient Super-Orthogonal Space-Time Signal Sets: Can Good Constellation... [cs.IT/0505049]
08:00 am: Improved Combinatorial Group Testing Algorithms for Real-World Problem Sizes. [cs.DS/0505048]
23rd
04:03 am: Internalising modified realisability in constructive type theory. [math.LO/0505418 CROSS LISTED]
04:03 am: Exact Maxwell-Boltzmann, Bose-Einstein and Fermi-Dirac Statistics. [cond-mat/0412460 CROSS LISTED]
04:03 am: Enforcing Bulk Mail Classification. [cs.NI/0501027 UPDATED]
04:03 am: Wavelet Time Shift Properties Integration with Support Vector Machines. [cs.IR/0505053]
04:03 am: Upgrading Pulse Detection with Time Shift Properties Using Wavelets and Support ... [cs.IR/0505052]
04:03 am: Sub-Optimum Signal Linear Detector Using Wavelets and Support Vector Machines. [cs.IR/0505051]
04:03 am: The QDF file format: an electronic system to describe ancient andean khipus. [cs.CY/0505050]
25th
11:44 am: Noise stability of functions with low influences: invariance and optimality. [math.PR/0503503 UPDATE
11:44 am: Decision Sort and its Parallel Implementation. [cs.DS/0505066]
11:44 am: Dissipative particle swarm optimization. [cs.NE/0505065]
11:44 am: Multi-Modal Human-Machine Communication for Instructing Robot Grasping Tasks. [cs.HC/0505064]
11:44 am: Approximate reasoning for real-time probabilistic processes. [cs.LO/0505063]
11:44 am: Gossip Codes for Fingerprinting: Construction, Erasure Analysis and Pirate Traci... [cs.CR/0505062]
11:44 am: EAH: A New Encoder based on Adaptive Variable-length Codes. [cs.DS/0505061]
11:44 am: A Unified Subspace Outlier Ensemble Framework for Outlier Detection in High Dime... [cs.DB/0505060]
26th
05:01 am: Thompson's group and public key cryptography. [math.GR/0505487 CROSS LISTED]
05:01 am: Simple Rate-1/3 Convolutional and Tail-Biting Quantum Error-Correcting Codes. [quant-ph/0501099 UPDA
05:01 am: Tensor manipulation in GPL Maxima. [cs.SC/0503073 UPDATED]
05:01 am: Fixing Numerical Attributes Under Integrity Constraints. [cs.DB/0503032 UPDATED]
05:02 am: SWAF: Swarm Algorithm Framework for Numerical Optimization. [cs.NE/0505070]
05:02 am: Handling boundary constraints for numerical optimization by particle swarm flyin... [cs.NE/0505069]
05:02 am: Handling equality constraints by adaptive relaxing rule for swarm algorithms. [cs.NE/0505068]
05:02 am: Optimizing semiconductor devices by self-organizing particle swarm. [cs.NE/0505067]
27th
04:21 am: A Note on Shared Randomness and Shared Entanglement in Communication. [quant-ph/0505088 CROSS LISTED
04:21 am: An Evaluated Certification Services System for the German National Root CA - Leg... [cs.CR/0411065 U
04:21 am: Outflanking and securely using the PIN/TAN-System. [cs.CR/0410025 UPDATED]
04:21 am: Searching On Division Partially Ordered Set. [cs.DM/0505075]
04:21 am: Instance-Independent View Serializability for Semistructured Databases. [cs.DB/0505074]
04:21 am: Reasoning about transfinite sequences. [cs.LO/0505073]
04:21 am: Steganographic Codes -- a New Problem of Coding Theory. [cs.CR/0505072]
04:21 am: Summarization Techniques for Pattern Collections in Data Mining. [cs.DB/0505071]
30th
03:01 pm: HLA and HIV Infection Progression: Application of the Minimum Description Length... [q-bio.QM/050505
03:01 pm: A dissipative particle swarm optimization. [cs.NE/0505065 UPDATED]
03:01 pm: Pushdown dimension. [cs.IT/0504047 UPDATED]
03:01 pm: Ontology-Based Users & Requests Clustering in Customer Service Management System. [cs.IR/0501077 UPD
03:02 pm: Tight bounds for LDPC and LDGM codes under MAP decoding. [cs.IT/0407060 UPDATED]
03:02 pm: On the Solution of Graph Isomorphism by Dynamical Algorithms. [cs.CC/0505076]

Advertisement