Search dblp for Publications

export results for "toc:db/journals/corr/corr0505.bht:"

 download as .bib file

@article{DBLP:journals/corr/abs-cond-mat-0505193,
  author       = {Sergey N. Dorogovtsev and
                  J. F. F. Mendes and
                  A. M. Povolotsky and
                  Alexander N. Samukhin},
  title        = {Organization of complex networks without multiple connections},
  journal      = {CoRR},
  volume       = {abs/cond-mat/0505193},
  year         = {2005},
  url          = {http://arxiv.org/abs/cond-mat/0505193},
  eprinttype    = {arXiv},
  eprint       = {cond-mat/0505193},
  timestamp    = {Tue, 26 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cond-mat-0505193.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505001,
  author       = {Roberto da Silva and
                  Alexandre Tavares Baraviera and
                  Silvio R. Dahmen},
  title        = {Modelling investment in artificial stock markets: Analytical and Numerical
                  Results},
  journal      = {CoRR},
  volume       = {abs/cs/0505001},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505001},
  eprinttype    = {arXiv},
  eprint       = {cs/0505001},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505002,
  author       = {Martin Grohe and
                  Christoph Koch and
                  Nicole Schweikardt},
  title        = {Tight Lower Bounds for Query Processing on Streaming and External
                  Memory Data},
  journal      = {CoRR},
  volume       = {abs/cs/0505002},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505002},
  eprinttype    = {arXiv},
  eprint       = {cs/0505002},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505003,
  author       = {Xiaofei Huang},
  title        = {A New Kind of Hopfield Networks for Finding Global Optimum},
  journal      = {CoRR},
  volume       = {abs/cs/0505003},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505003},
  eprinttype    = {arXiv},
  eprint       = {cs/0505003},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505004,
  author       = {Sergei Kojarski and
                  David H. Lorenz},
  title        = {Pluggable {AOP:} Designing Aspect Mechanisms for Third-party Composition},
  journal      = {CoRR},
  volume       = {abs/cs/0505004},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505004},
  eprinttype    = {arXiv},
  eprint       = {cs/0505004},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505005,
  author       = {Jan van der Veen and
                  S{\'{a}}ndor P. Fekete and
                  Ali Ahmadinia and
                  Christophe Bobda and
                  Frank Hannig and
                  J{\"{u}}rgen Teich},
  title        = {Defragmenting the Module Layout of a Partially Reconfigurable Device},
  journal      = {CoRR},
  volume       = {abs/cs/0505005},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505005},
  eprinttype    = {arXiv},
  eprint       = {cs/0505005},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505006,
  author       = {Emanuel Diamant},
  title        = {Searching for image information content, its discovery, extraction,
                  and representation},
  journal      = {CoRR},
  volume       = {abs/cs/0505006},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505006},
  eprinttype    = {arXiv},
  eprint       = {cs/0505006},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505007,
  author       = {Dragos Trinca},
  title        = {Adaptive Codes: {A} New Class of Non-standard Variable-length Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0505007},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505007},
  eprinttype    = {arXiv},
  eprint       = {cs/0505007},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505008,
  author       = {Annette Kuhlmann and
                  Ralf{-}Michael Vetter and
                  Christoph L{\"{u}}bbing and
                  Clemens{-}August Thole},
  title        = {Data Mining on Crash Simulation Data},
  journal      = {CoRR},
  volume       = {abs/cs/0505008},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505008},
  eprinttype    = {arXiv},
  eprint       = {cs/0505008},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505009,
  author       = {Arindam Mitra},
  title        = {Human brain and classical computer can generate true random numbers
                  through algorithmic process},
  journal      = {CoRR},
  volume       = {abs/cs/0505009},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505009},
  eprinttype    = {arXiv},
  eprint       = {cs/0505009},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505010,
  author       = {Neri Merhav and
                  Jacob Ziv},
  title        = {On the Wyner-Ziv problem for individual sequences},
  journal      = {CoRR},
  volume       = {abs/cs/0505010},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505010},
  eprinttype    = {arXiv},
  eprint       = {cs/0505010},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505011,
  author       = {Tony Chang and
                  Damon J. Cook and
                  Ramona E. Su},
  title        = {SWiM: {A} Simple Window Mover},
  journal      = {CoRR},
  volume       = {abs/cs/0505011},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505011},
  eprinttype    = {arXiv},
  eprint       = {cs/0505011},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505012,
  author       = {Neri Merhav},
  title        = {On the Shannon cipher system with a capacity-limited key-distribution
                  channel},
  journal      = {CoRR},
  volume       = {abs/cs/0505012},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505012},
  eprinttype    = {arXiv},
  eprint       = {cs/0505012},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505013,
  author       = {Phuong Nguyen and
                  Stephen A. Cook},
  title        = {Theories for {TC0} and Other Small Complexity Classes},
  journal      = {CoRR},
  volume       = {abs/cs/0505013},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505013},
  eprinttype    = {arXiv},
  eprint       = {cs/0505013},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505014,
  author       = {Haibin Wang and
                  Florentin Smarandache and
                  Yan{-}Qing Zhang and
                  Rajshekhar Sunderraman},
  title        = {Interval Neutrosophic Sets and Logic: Theory and Applications in Computing},
  journal      = {CoRR},
  volume       = {abs/cs/0505014},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505014},
  eprinttype    = {arXiv},
  eprint       = {cs/0505014},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505015,
  author       = {Tomasz Suslo},
  title        = {Complex Mean and Variance of Linear Regression Model for High-Noised
                  Systems by Kriging},
  journal      = {CoRR},
  volume       = {abs/cs/0505015},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505015},
  eprinttype    = {arXiv},
  eprint       = {cs/0505015},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505016,
  author       = {Shashank Araokar},
  title        = {Visual Character Recognition using Artificial Neural Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0505016},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505016},
  eprinttype    = {arXiv},
  eprint       = {cs/0505016},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505017,
  author       = {Manuel Abellanas and
                  Merc{\`{e}} Claverol and
                  Ferran Hurtado},
  title        = {Point set stratification and Delaunay depth},
  journal      = {CoRR},
  volume       = {abs/cs/0505017},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505017},
  eprinttype    = {arXiv},
  eprint       = {cs/0505017},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505018,
  author       = {Jean{-}Fran{\c{c}}ois Mari and
                  Florence Le Ber},
  title        = {Temporal and Spatial Data Mining with Second-Order Hidden Models},
  journal      = {CoRR},
  volume       = {abs/cs/0505018},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505018},
  eprinttype    = {arXiv},
  eprint       = {cs/0505018},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505019,
  author       = {Nitin Malik},
  title        = {Artificial Neural Networks and their Applications},
  journal      = {CoRR},
  volume       = {abs/cs/0505019},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505019},
  eprinttype    = {arXiv},
  eprint       = {cs/0505019},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505020,
  author       = {Thomas Zemen and
                  Stefan M. Moser},
  title        = {Asymptotic Capacity Results for Non-Stationary Time-Variant Channels
                  Using Subspace Projections},
  journal      = {CoRR},
  volume       = {abs/cs/0505020},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505020},
  eprinttype    = {arXiv},
  eprint       = {cs/0505020},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505021,
  author       = {Artur Rataj},
  title        = {Distant generalization by feedforward neural networks},
  journal      = {CoRR},
  volume       = {abs/cs/0505021},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505021},
  eprinttype    = {arXiv},
  eprint       = {cs/0505021},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505022,
  author       = {Hideki Ochiai and
                  Patrick Mitran and
                  H. Vincent Poor and
                  Vahid Tarokh},
  title        = {Collaborative Beamforming for Distributed Wireless Ad Hoc Sensor Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0505022},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505022},
  eprinttype    = {arXiv},
  eprint       = {cs/0505022},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505023,
  author       = {Guillaume Gardey and
                  Olivier H. Roux and
                  Olivier F. Roux},
  title        = {State Space Computation and Analysis of Time Petri Nets},
  journal      = {CoRR},
  volume       = {abs/cs/0505023},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505023},
  eprinttype    = {arXiv},
  eprint       = {cs/0505023},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505024,
  author       = {Riccardo Pucella},
  title        = {Logic Column 12: Logical Verification and Equational Verification},
  journal      = {CoRR},
  volume       = {abs/cs/0505024},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505024},
  eprinttype    = {arXiv},
  eprint       = {cs/0505024},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505025,
  author       = {Anton{\'{\i}}n Kucera and
                  Petr Jancar},
  title        = {Equivalence-Checking on Infinite-State Systems: Techniques and Results},
  journal      = {CoRR},
  volume       = {abs/cs/0505025},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505025},
  eprinttype    = {arXiv},
  eprint       = {cs/0505025},
  timestamp    = {Fri, 30 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505026,
  author       = {Moreno Falaschi and
                  Alicia Villanueva},
  title        = {Automatic Verification of Timed Concurrent Constraint Programs},
  journal      = {CoRR},
  volume       = {abs/cs/0505026},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505026},
  eprinttype    = {arXiv},
  eprint       = {cs/0505026},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505027,
  author       = {Vincent Lef{\`{e}}vre},
  title        = {The Generic Multiple-Precision Floating-Point Addition With Exact
                  Rounding (as in the {MPFR} Library)},
  journal      = {CoRR},
  volume       = {abs/cs/0505027},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505027},
  eprinttype    = {arXiv},
  eprint       = {cs/0505027},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505027.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505028,
  author       = {Istv{\'{a}}n Mikl{\'{o}}s and
                  Irmtraud M. Meyer},
  title        = {A linear memory algorithm for Baum-Welch training},
  journal      = {CoRR},
  volume       = {abs/cs/0505028},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505028},
  eprinttype    = {arXiv},
  eprint       = {cs/0505028},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505028.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505030,
  author       = {Arne Storjohann and
                  Gilles Villard},
  title        = {Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix},
  journal      = {CoRR},
  volume       = {abs/cs/0505030},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505030},
  eprinttype    = {arXiv},
  eprint       = {cs/0505030},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505030.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505031,
  author       = {Rudini Menezes Sampaio and
                  Horacio Hideki Yanasse},
  title        = {Estudo e Implementacao de Algoritmos de Roteamento sobre Grafos em
                  um Sistema de Informacoes Geograficas},
  journal      = {CoRR},
  volume       = {abs/cs/0505031},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505031},
  eprinttype    = {arXiv},
  eprint       = {cs/0505031},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505032,
  author       = {Ron Dabora and
                  Sergio D. Servetto},
  title        = {Broadcast Channels with Cooperating Decoders},
  journal      = {CoRR},
  volume       = {abs/cs/0505032},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505032},
  eprinttype    = {arXiv},
  eprint       = {cs/0505032},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505033,
  author       = {Ahmed Bouajjani and
                  Agathe Merceron},
  title        = {Parametric Verification of a Group Membership Algorithm},
  journal      = {CoRR},
  volume       = {abs/cs/0505033},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505033},
  eprinttype    = {arXiv},
  eprint       = {cs/0505033},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505034,
  author       = {Russell O'Connor},
  title        = {Essential Incompleteness of Arithmetic Verified by Coq},
  journal      = {CoRR},
  volume       = {abs/cs/0505034},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505034},
  eprinttype    = {arXiv},
  eprint       = {cs/0505034},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505035,
  author       = {Hubie Chen and
                  V{\'{\i}}ctor Dalmau},
  title        = {Beyond Hypertree Width: Decomposition Methods Without Decompositions},
  journal      = {CoRR},
  volume       = {abs/cs/0505035},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505035},
  eprinttype    = {arXiv},
  eprint       = {cs/0505035},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505036,
  author       = {Mart{\'{\i}}n Matamala and
                  Eduardo Moreno},
  title        = {Minimal Eulerian trail in a labeled digraph},
  journal      = {CoRR},
  volume       = {abs/cs/0505036},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505036},
  eprinttype    = {arXiv},
  eprint       = {cs/0505036},
  timestamp    = {Thu, 05 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505037,
  author       = {Venanzio Capretta},
  title        = {General Recursion via Coinductive Types},
  journal      = {CoRR},
  volume       = {abs/cs/0505037},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505037},
  eprinttype    = {arXiv},
  eprint       = {cs/0505037},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505038,
  author       = {Albrecht Schmidt and
                  Christian S. Jensen},
  title        = {Efficient Management of Short-Lived Data},
  journal      = {CoRR},
  volume       = {abs/cs/0505038},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505038},
  eprinttype    = {arXiv},
  eprint       = {cs/0505038},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505038.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505039,
  author       = {Judit Bar{-}Ilan and
                  Mazlita Mat{-}Hassan and
                  Mark Levene},
  title        = {Methods for comparing rankings of search engine results},
  journal      = {CoRR},
  volume       = {abs/cs/0505039},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505039},
  eprinttype    = {arXiv},
  eprint       = {cs/0505039},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505040,
  author       = {Serban E. Vlad},
  title        = {Asynchronous pseudo-systems},
  journal      = {CoRR},
  volume       = {abs/cs/0505040},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505040},
  eprinttype    = {arXiv},
  eprint       = {cs/0505040},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505041,
  author       = {Yongming Li and
                  Sanjiang Li and
                  Mingsheng Ying},
  title        = {Relational reasoning in the region connection calculus},
  journal      = {CoRR},
  volume       = {abs/cs/0505041},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505041},
  eprinttype    = {arXiv},
  eprint       = {cs/0505041},
  timestamp    = {Wed, 29 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505042,
  author       = {Matthew G. Earl and
                  Raffaello D'Andrea},
  title        = {Iterative {MILP} Methods for Vehicle Control Problems},
  journal      = {CoRR},
  volume       = {abs/cs/0505042},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505042},
  eprinttype    = {arXiv},
  eprint       = {cs/0505042},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505042.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505044,
  author       = {Lu{\'{\i}}s B. Almeida},
  title        = {Separating a Real-Life Nonlinear Image Mixture},
  journal      = {CoRR},
  volume       = {abs/cs/0505044},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505044},
  eprinttype    = {arXiv},
  eprint       = {cs/0505044},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505045,
  author       = {K. Madhava Krishna and
                  Henry Hexmoor and
                  Shravan Kumar Sogani},
  title        = {A {T} Step Ahead Optimal Target Detection Algorithm for a Multi Sensor
                  Surveillance System},
  journal      = {CoRR},
  volume       = {abs/cs/0505045},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505045},
  eprinttype    = {arXiv},
  eprint       = {cs/0505045},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505046,
  author       = {Ignacio Melgar and
                  Jaime G{\'{o}}mez and
                  Juan Seijas},
  title        = {Optimum Signal Linear Detector in the Discrete Wavelet Transform-Domain},
  journal      = {CoRR},
  volume       = {abs/cs/0505046},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505046},
  eprinttype    = {arXiv},
  eprint       = {cs/0505046},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505046.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505047,
  author       = {David R. Wood},
  title        = {A Simple Proof of the F\{{\'{a}}\}ry-Wagner Theorem},
  journal      = {CoRR},
  volume       = {abs/cs/0505047},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505047},
  eprinttype    = {arXiv},
  eprint       = {cs/0505047},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505047.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505048,
  author       = {David Eppstein and
                  Michael T. Goodrich and
                  Daniel S. Hirschberg},
  title        = {Improved Combinatorial Group Testing Algorithms for Real-World Problem
                  Sizes},
  journal      = {CoRR},
  volume       = {abs/cs/0505048},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505048},
  eprinttype    = {arXiv},
  eprint       = {cs/0505048},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505049,
  author       = {Dumitru Mihai Ionescu and
                  Zhiyuan Yan},
  title        = {Fading-Resilient Super-Orthogonal Space-Time Signal Sets: Can Good
                  Constellations Survive in Fading?},
  journal      = {CoRR},
  volume       = {abs/cs/0505049},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505049},
  eprinttype    = {arXiv},
  eprint       = {cs/0505049},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505049.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505050,
  author       = {Manuel Arturo Izquierdo},
  title        = {The {QDF} file format: an electronic system to describe ancient andean
                  khipus},
  journal      = {CoRR},
  volume       = {abs/cs/0505050},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505050},
  eprinttype    = {arXiv},
  eprint       = {cs/0505050},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505051,
  author       = {Jaime G{\'{o}}mez and
                  Ignacio Melgar and
                  Juan Seijas and
                  Diego Andina},
  title        = {Sub-Optimum Signal Linear Detector Using Wavelets and Support Vector
                  Machines},
  journal      = {CoRR},
  volume       = {abs/cs/0505051},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505051},
  eprinttype    = {arXiv},
  eprint       = {cs/0505051},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505052,
  author       = {Jaime G{\'{o}}mez and
                  Ignacio Melgar and
                  Juan Seijas},
  title        = {Upgrading Pulse Detection with Time Shift Properties Using Wavelets
                  and Support Vector Machines},
  journal      = {CoRR},
  volume       = {abs/cs/0505052},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505052},
  eprinttype    = {arXiv},
  eprint       = {cs/0505052},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505052.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505053,
  author       = {Jaime G{\'{o}}mez and
                  Ignacio Melgar and
                  Juan Seijas},
  title        = {Wavelet Time Shift Properties Integration with Support Vector Machines},
  journal      = {CoRR},
  volume       = {abs/cs/0505053},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505053},
  eprinttype    = {arXiv},
  eprint       = {cs/0505053},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505054,
  author       = {Mostafa El{-}Khamy and
                  Robert J. McEliece},
  title        = {The Partition Weight Enumerator of {MDS} Codes and its Applications},
  journal      = {CoRR},
  volume       = {abs/cs/0505054},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505054},
  eprinttype    = {arXiv},
  eprint       = {cs/0505054},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505055,
  author       = {Kooshiar Azimian and
                  Javad Mohajeri and
                  Mahmoud Salmasizadeh and
                  Siamak Fayyaz Shahandashti},
  title        = {A Verifiable Partial Key Escrow, Based on McCurley Encryption Scheme},
  journal      = {CoRR},
  volume       = {abs/cs/0505055},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505055},
  eprinttype    = {arXiv},
  eprint       = {cs/0505055},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505056,
  author       = {Udayan Khurana and
                  Anirudh Koul},
  title        = {Text Compression and Superfast Searching},
  journal      = {CoRR},
  volume       = {abs/cs/0505056},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505056},
  eprinttype    = {arXiv},
  eprint       = {cs/0505056},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505057,
  author       = {Gil Wiechman and
                  Igal Sason},
  title        = {Improved Bounds on the Parity-Check Density and Achievable Rates of
                  Binary Linear Block Codes with Applications to {LDPC} Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0505057},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505057},
  eprinttype    = {arXiv},
  eprint       = {cs/0505057},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505058,
  author       = {Patrick C. McGuire and
                  Enrique D{\'{\i}}az Mart{\'{\i}}nez and
                  Jens Orm{\"{o}} and
                  Javier G{\'{o}}mez{-}Elvira and
                  Jos{\'{e}} Antonio Rodr{\'{\i}}guez Manfredi and
                  Eduardo Sebasti{\'{a}}n{-}Mart{\'{\i}}nez and
                  Helge J. Ritter and
                  Robert Haschke and
                  Markus Oesker and
                  J{\"{o}}rg Ontrup},
  title        = {The Cyborg Astrobiologist: Scouting Red Beds for Uncommon Features
                  with Geological Significance},
  journal      = {CoRR},
  volume       = {abs/cs/0505058},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505058},
  eprinttype    = {arXiv},
  eprint       = {cs/0505058},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505058.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505059,
  author       = {Sergio Flesca and
                  Filippo Furfaro and
                  Francesco Parisi},
  title        = {Consistent query answers on numerical databases under aggregate constraints},
  journal      = {CoRR},
  volume       = {abs/cs/0505059},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505059},
  eprinttype    = {arXiv},
  eprint       = {cs/0505059},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505060,
  author       = {Zengyou He and
                  Xiaofei Xu and
                  Shengchun Deng},
  title        = {A Unified Subspace Outlier Ensemble Framework for Outlier Detection
                  in High Dimensional Spaces},
  journal      = {CoRR},
  volume       = {abs/cs/0505060},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505060},
  eprinttype    = {arXiv},
  eprint       = {cs/0505060},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505060.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505061,
  author       = {Dragos Trinca},
  title        = {{EAH:} {A} New Encoder based on Adaptive Variable-length Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0505061},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505061},
  eprinttype    = {arXiv},
  eprint       = {cs/0505061},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505062,
  author       = {Ravi Sankar Veerubhotla and
                  Ashutosh Saxena and
                  Ved Prakash Gulati and
                  Arun K. Pujari},
  title        = {Gossip Codes for Fingerprinting: Construction, Erasure Analysis and
                  Pirate Tracing},
  journal      = {CoRR},
  volume       = {abs/cs/0505062},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505062},
  eprinttype    = {arXiv},
  eprint       = {cs/0505062},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505062.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505063,
  author       = {Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Approximate reasoning for real-time probabilistic processes},
  journal      = {CoRR},
  volume       = {abs/cs/0505063},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505063},
  eprinttype    = {arXiv},
  eprint       = {cs/0505063},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505064,
  author       = {Patrick C. McGuire and
                  Jannik Fritsch and
                  Jochen J. Steil and
                  Frank R{\"{o}}thling and
                  Gernot A. Fink and
                  Sven Wachsmuth and
                  Gerhard Sagerer and
                  Helge J. Ritter},
  title        = {Multi-Modal Human-Machine Communication for Instructing Robot Grasping
                  Tasks},
  journal      = {CoRR},
  volume       = {abs/cs/0505064},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505064},
  eprinttype    = {arXiv},
  eprint       = {cs/0505064},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505065,
  author       = {Xiao{-}Feng Xie and
                  Wenjun Zhang and
                  Zhilian Yang},
  title        = {A dissipative particle swarm optimization},
  journal      = {CoRR},
  volume       = {abs/cs/0505065},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505065},
  eprinttype    = {arXiv},
  eprint       = {cs/0505065},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505066,
  author       = {Udayan Khuarana},
  title        = {Decision Sort and its Parallel Implementation},
  journal      = {CoRR},
  volume       = {abs/cs/0505066},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505066},
  eprinttype    = {arXiv},
  eprint       = {cs/0505066},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505066.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505067,
  author       = {Xiao{-}Feng Xie and
                  Wen{-}Jun Zhang and
                  De{-}Chun Bi},
  title        = {Optimizing semiconductor devices by self-organizing particle swarm},
  journal      = {CoRR},
  volume       = {abs/cs/0505067},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505067},
  eprinttype    = {arXiv},
  eprint       = {cs/0505067},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505067.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505068,
  author       = {Xiao{-}Feng Xie and
                  Wenjun Zhang and
                  De{-}Chun Bi},
  title        = {Handling equality constraints by adaptive relaxing rule for swarm
                  algorithms},
  journal      = {CoRR},
  volume       = {abs/cs/0505068},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505068},
  eprinttype    = {arXiv},
  eprint       = {cs/0505068},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505068.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505069,
  author       = {Wen{-}Jun Zhang and
                  Xiao{-}Feng Xie and
                  De{-}Chun Bi},
  title        = {Handling boundary constraints for numerical optimization by particle
                  swarm flying in periodic search space},
  journal      = {CoRR},
  volume       = {abs/cs/0505069},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505069},
  eprinttype    = {arXiv},
  eprint       = {cs/0505069},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505069.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505070,
  author       = {Xiao{-}Feng Xie and
                  Wen{-}Jun Zhang},
  title        = {{SWAF:} Swarm Algorithm Framework for Numerical Optimization},
  journal      = {CoRR},
  volume       = {abs/cs/0505070},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505070},
  eprinttype    = {arXiv},
  eprint       = {cs/0505070},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505071,
  author       = {Taneli Mielik{\"{a}}inen},
  title        = {Summarization Techniques for Pattern Collections in Data Mining},
  journal      = {CoRR},
  volume       = {abs/cs/0505071},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505071},
  eprinttype    = {arXiv},
  eprint       = {cs/0505071},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505071.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505072,
  author       = {Weiming Zhang and
                  Shiqu Li},
  title        = {Steganographic Codes -- a New Problem of Coding Theory},
  journal      = {CoRR},
  volume       = {abs/cs/0505072},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505072},
  eprinttype    = {arXiv},
  eprint       = {cs/0505072},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505072.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505073,
  author       = {St{\'{e}}phane Demri and
                  David Nowak},
  title        = {Reasoning about transfinite sequences},
  journal      = {CoRR},
  volume       = {abs/cs/0505073},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505073},
  eprinttype    = {arXiv},
  eprint       = {cs/0505073},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505073.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505074,
  author       = {Stijn Dekeyser and
                  Jan Hidders and
                  Jan Paredaens and
                  Roel Vercammen},
  title        = {Instance-Independent View Serializability for Semistructured Databases},
  journal      = {CoRR},
  volume       = {abs/cs/0505074},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505074},
  eprinttype    = {arXiv},
  eprint       = {cs/0505074},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505074.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505075,
  author       = {Yongxi Cheng and
                  Xi Chen and
                  Yiqun Lisa Yin},
  title        = {On Searching a Table Consistent with Division Poset},
  journal      = {CoRR},
  volume       = {abs/cs/0505075},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505075},
  eprinttype    = {arXiv},
  eprint       = {cs/0505075},
  timestamp    = {Wed, 19 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505075.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505076,
  author       = {Marats Golovkins},
  title        = {On the Solution of Graph Isomorphism by Dynamical Algorithms},
  journal      = {CoRR},
  volume       = {abs/cs/0505076},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505076},
  eprinttype    = {arXiv},
  eprint       = {cs/0505076},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505076.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505077,
  author       = {Shlomo Moran and
                  Sagi Snir},
  title        = {Efficient Approximation of Convex Recolorings},
  journal      = {CoRR},
  volume       = {abs/cs/0505077},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505077},
  eprinttype    = {arXiv},
  eprint       = {cs/0505077},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505077.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505078,
  author       = {Gil Wiechman and
                  Igal Sason},
  title        = {On the Parity-Check Density and Achievable Rates of {LDPC} Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0505078},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505078},
  eprinttype    = {arXiv},
  eprint       = {cs/0505078},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505078.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505079,
  author       = {Boris Ryabko and
                  Jaakko Astola and
                  Alex Gammerman},
  title        = {Application of Kolmogorov complexity and universal codes to identity
                  testing and nonparametric testing of serial independence for time
                  series},
  journal      = {CoRR},
  volume       = {abs/cs/0505079},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505079},
  eprinttype    = {arXiv},
  eprint       = {cs/0505079},
  timestamp    = {Mon, 07 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505079.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505080,
  author       = {Olga Rudenko and
                  Marc Schoenauer},
  title        = {Dominance Based Crossover Operator for Evolutionary Multi-objective
                  Algorithms},
  journal      = {CoRR},
  volume       = {abs/cs/0505080},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505080},
  eprinttype    = {arXiv},
  eprint       = {cs/0505080},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505080.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505081,
  author       = {Sabine Bruaux and
                  Gilles Kassel and
                  Gilles Morel},
  title        = {An ontological approach to the construction of problem-solving models},
  journal      = {CoRR},
  volume       = {abs/cs/0505081},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505081},
  eprinttype    = {arXiv},
  eprint       = {cs/0505081},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505081.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505082,
  author       = {Boaz Tsaban},
  title        = {Fast generators for the Diffie-Hellman key agreement protocol and
                  malicious standards},
  journal      = {CoRR},
  volume       = {abs/cs/0505082},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505082},
  eprinttype    = {arXiv},
  eprint       = {cs/0505082},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505082.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505083,
  author       = {Vladimir Vovk and
                  Akimichi Takemura and
                  Glenn Shafer},
  title        = {Defensive forecasting},
  journal      = {CoRR},
  volume       = {abs/cs/0505083},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505083},
  eprinttype    = {arXiv},
  eprint       = {cs/0505083},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505083.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505084,
  author       = {Valentin E. Brimkov and
                  Angelo Maimone and
                  Giorgio Nordo},
  title        = {An explicit formula for the number of tunnels in digital objects},
  journal      = {CoRR},
  volume       = {abs/cs/0505084},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505084},
  eprinttype    = {arXiv},
  eprint       = {cs/0505084},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505084.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505085,
  author       = {Tom Schrijvers and
                  Maria J. Garc{\'{\i}}a de la Banda and
                  Bart Demoen and
                  Peter J. Stuckey},
  title        = {Improving {PARMA} Trailing},
  journal      = {CoRR},
  volume       = {abs/cs/0505085},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505085},
  eprinttype    = {arXiv},
  eprint       = {cs/0505085},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505085.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505086,
  author       = {Merc{\`{e}} Llabr{\'{e}}s and
                  Jairo Rocha and
                  Francesc Rossell{\'{o}} and
                  Gabriel Valiente},
  title        = {On the Ancestral Compatibility of Two Phylogenetic Trees with Nested
                  Taxa},
  journal      = {CoRR},
  volume       = {abs/cs/0505086},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505086},
  eprinttype    = {arXiv},
  eprint       = {cs/0505086},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505086.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505087,
  author       = {Michael Soltys},
  title        = {Feasible Proofs of Matrix Properties with Csanky's Algorithm},
  journal      = {CoRR},
  volume       = {abs/cs/0505087},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505087},
  eprinttype    = {arXiv},
  eprint       = {cs/0505087},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505087.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505088,
  author       = {Rodrigo S. C. Le{\~{a}}o and
                  Valmir Carneiro Barbosa},
  title        = {6-cycle double covers of cubic graphs},
  journal      = {CoRR},
  volume       = {abs/cs/0505088},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0505088},
  eprinttype    = {arXiv},
  eprint       = {cs/0505088},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-hep-lat-0505005,
  author       = {Massimo Di Pierro},
  title        = {Parallel Programming with Matrix Distributed Processing},
  journal      = {CoRR},
  volume       = {abs/hep-lat/0505005},
  year         = {2005},
  url          = {http://arxiv.org/abs/hep-lat/0505005},
  eprinttype    = {arXiv},
  eprint       = {hep-lat/0505005},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-hep-lat-0505005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-math-0505418,
  author       = {Erik Palmgren},
  title        = {Internalising modified realisability in constructive type theory},
  journal      = {CoRR},
  volume       = {abs/math/0505418},
  year         = {2005},
  url          = {http://arxiv.org/abs/math/0505418},
  eprinttype    = {arXiv},
  eprint       = {math/0505418},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0505418.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-math-0505487,
  author       = {Vladimir Shpilrain and
                  Alexander Ushakov},
  title        = {Thompson's group and public key cryptography},
  journal      = {CoRR},
  volume       = {abs/math/0505487},
  year         = {2005},
  url          = {http://arxiv.org/abs/math/0505487},
  eprinttype    = {arXiv},
  eprint       = {math/0505487},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0505487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-math-0505617,
  author       = {Ilia Binder and
                  Mark Braverman and
                  Michael Yampolsky},
  title        = {On computational complexity of Riemann mapping},
  journal      = {CoRR},
  volume       = {abs/math/0505617},
  year         = {2005},
  url          = {http://arxiv.org/abs/math/0505617},
  eprinttype    = {arXiv},
  eprint       = {math/0505617},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0505617.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-nlin-0505009,
  author       = {Carlos Gershenson},
  title        = {A General Methodology for Designing Self-Organizing Systems},
  journal      = {CoRR},
  volume       = {abs/nlin/0505009},
  year         = {2005},
  url          = {http://arxiv.org/abs/nlin/0505009},
  eprinttype    = {arXiv},
  eprint       = {nlin/0505009},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-nlin-0505009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-nlin-0505043,
  author       = {Mason A. Porter and
                  Peter J. Mucha and
                  M. E. J. Newman and
                  Casey M. Warmbrand},
  title        = {A network analysis of committees in the United States House of Representatives},
  journal      = {CoRR},
  volume       = {abs/nlin/0505043},
  year         = {2005},
  url          = {http://arxiv.org/abs/nlin/0505043},
  eprinttype    = {arXiv},
  eprint       = {nlin/0505043},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-nlin-0505043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-physics-0505121,
  author       = {Ercan Erturk and
                  Bahtiyar Dursun},
  title        = {Numerical Solutions of 2-D Steady Incompressible Flow in a Driven
                  Skewed Cavity},
  journal      = {CoRR},
  volume       = {abs/physics/0505121},
  year         = {2005},
  url          = {http://arxiv.org/abs/physics/0505121},
  eprinttype    = {arXiv},
  eprint       = {physics/0505121},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-physics-0505121.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-q-bio-0505021,
  author       = {Hugues Berry and
                  Olivier Temam},
  title        = {Characterizing Self-Developing Biological Neural Networks: {A} First
                  Step Towards their Application To Computing Systems},
  journal      = {CoRR},
  volume       = {abs/q-bio/0505021},
  year         = {2005},
  url          = {http://arxiv.org/abs/q-bio/0505021},
  eprinttype    = {arXiv},
  eprint       = {q-bio/0505021},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-q-bio-0505021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-q-bio-0505050,
  author       = {Peter T. Hraber and
                  Bette T. Korber and
                  Steven Wolinsky and
                  Henry A. Erlich and
                  Elizabeth A. Trachtenberg and
                  Thomas B. Kepler},
  title        = {{HLA} and {HIV} Infection Progression: Application of the Minimum
                  Description Length Principle to Statistical Genetics},
  journal      = {CoRR},
  volume       = {abs/q-bio/0505050},
  year         = {2005},
  url          = {http://arxiv.org/abs/q-bio/0505050},
  eprinttype    = {arXiv},
  eprint       = {q-bio/0505050},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-q-bio-0505050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-quant-ph-0505088,
  author       = {Dmitry Gavinsky},
  title        = {A Note on Shared Randomness and Shared Entanglement in Communication},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0505088},
  year         = {2005},
  url          = {http://arxiv.org/abs/quant-ph/0505088},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0505088},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0505088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-quant-ph-0505089,
  author       = {H. Bechmann{-}Pasquinucci and
                  Andrea Pasquinucci},
  title        = {Quantum key distribution with trusted quantum relay},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0505089},
  year         = {2005},
  url          = {http://arxiv.org/abs/quant-ph/0505089},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0505089},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0505089.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-quant-ph-0505188,
  author       = {Ronald de Wolf},
  title        = {Lower Bounds on Matrix Rigidity via a Quantum Argument},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0505188},
  year         = {2005},
  url          = {http://arxiv.org/abs/quant-ph/0505188},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0505188},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0505188.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505029,
  title        = {Automated Improvement for Component Reuse},
  journal      = {CoRR},
  volume       = {abs/cs/0505029},
  year         = {2005},
  note         = {Withdrawn.},
  url          = {http://arxiv.org/abs/cs/0505029},
  eprinttype    = {arXiv},
  eprint       = {cs/0505029},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0505043,
  title        = {Estimacao Temporal da Deformacao entre Objectos utilizando uma Metodologia
                  Fisica},
  journal      = {CoRR},
  volume       = {abs/cs/0505043},
  year         = {2005},
  note         = {Withdrawn.},
  url          = {http://arxiv.org/abs/cs/0505043},
  eprinttype    = {arXiv},
  eprint       = {cs/0505043},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0505043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.