Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/corr/cond-mat-0310227,
  author       = {Dimitris Achlioptas and
                  Cristopher Moore},
  title        = {Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold},
  journal      = {CoRR},
  volume       = {cond-mat/0310227},
  year         = {2003},
  url          = {http://arxiv.org/abs/cond-mat/0310227},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cond-mat-0310227.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cond-mat-0310600,
  author       = {Fang Wu and
                  Bernardo A. Huberman},
  title        = {Finding Communities in Linear Time: {A} Physics Approach},
  journal      = {CoRR},
  volume       = {cond-mat/0310600},
  year         = {2003},
  url          = {http://arxiv.org/abs/cond-mat/0310600},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cond-mat-0310600.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310005,
  author       = {Darin Goldstein and
                  William Murray and
                  Binh Yang},
  title        = {Using Artificial Intelligence for Model Selection},
  journal      = {CoRR},
  volume       = {cs.AI/0310005},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310005},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310010,
  author       = {David Lyb{\"{a}}ck},
  title        = {Transient Diversity in Multi-Agent Systems},
  journal      = {CoRR},
  volume       = {cs.AI/0310010},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310010},
  timestamp    = {Sat, 03 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310023,
  author       = {Igor Bocharov and
                  Pavel Lukin},
  title        = {Application of Kullback-Leibler Metric to Speech Recognition},
  journal      = {CoRR},
  volume       = {cs.AI/0310023},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310023},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310044,
  author       = {Ali E. Abbas},
  title        = {The Algebra of Utility Inference},
  journal      = {CoRR},
  volume       = {cs.AI/0310044},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310044},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310045,
  author       = {Ali E. Abbas},
  title        = {An information theory for preferences},
  journal      = {CoRR},
  volume       = {cs.AI/0310045},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310045},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310047,
  author       = {Simona Perri and
                  Francesco Scarcello and
                  Nicola Leone},
  title        = {Abductive Logic Programs with Penalization: Semantics, Complexity
                  and Implementation},
  journal      = {CoRR},
  volume       = {cs.AI/0310047},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310047},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310047.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310061,
  author       = {Lengning Liu and
                  Miroslaw Truszczynski},
  title        = {Local-search techniques for propositional logic extended with cardinality
                  constraints},
  journal      = {CoRR},
  volume       = {cs.AI/0310061},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310061},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0310062,
  author       = {Lengning Liu and
                  Miroslaw Truszczynski},
  title        = {WSAT(cc) - a fast local-search {ASP} solver},
  journal      = {CoRR},
  volume       = {cs.AI/0310062},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310062},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0310062.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AR-0310059,
  author       = {Jiuxing Liu and
                  Weihang Jiang and
                  Pete Wyckoff and
                  Dhabaleswar K. Panda and
                  David Ashton and
                  Darius Buntinas and
                  William Gropp and
                  Brian R. Toonen},
  title        = {Design and Implementation of {MPICH2} over InfiniBand with {RDMA}
                  Support},
  journal      = {CoRR},
  volume       = {cs.AR/0310059},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310059},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AR-0310059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0310046,
  author       = {Kohtaro Tadaki and
                  Tomoyuki Yamakami and
                  Jack C. H. Lin},
  title        = {Theory of One Tape Linear Time Turing Machines},
  journal      = {CoRR},
  volume       = {cs.CC/0310046},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310046},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0310046.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0310060,
  author       = {Craig Alan Feinstein},
  title        = {Evidence that {P} is not equal to {NP}},
  journal      = {CoRR},
  volume       = {cs.CC/0310060},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs.CC/0310060},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0310060.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CE-0310021,
  author       = {Ladislav J. Kohout and
                  Eunjin Kim and
                  Gary Zenz},
  title        = {Fuzzy Relational Modeling of Cost and Affordability for Advanced Technology
                  Manufacturing Environment},
  journal      = {CoRR},
  volume       = {cs.CE/0310021},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310021},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CE-0310021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CE-0310043,
  author       = {Jules Sadefo Kamdem},
  title        = {Value-at-Risk and Expected Shortfall for Quadratic portfolio of securities
                  with mixture of elliptic Distributed Risk Factors},
  journal      = {CoRR},
  volume       = {cs.CE/0310043},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310043},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CE-0310043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CG-0310017,
  author       = {Chris Doran},
  title        = {Circle and sphere blending with conformal geometric algebra},
  journal      = {CoRR},
  volume       = {cs.CG/0310017},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310017},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CG-0310017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CG-0310027,
  author       = {S{\'{a}}ndor P. Fekete and
                  Joseph S. B. Mitchell and
                  Karin Beurer},
  title        = {On the continuous Fermat-Weber problem},
  journal      = {CoRR},
  volume       = {cs.CG/0310027},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310027},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CG-0310027.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CG-0310031,
  author       = {Vin de Silva},
  title        = {A weak definition of Delaunay triangulation},
  journal      = {CoRR},
  volume       = {cs.CG/0310031},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310031},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CG-0310031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CG-0310034,
  author       = {S{\'{a}}ndor P. Fekete and
                  Marco E. L{\"{u}}bbecke and
                  Henk Meijer},
  title        = {Minimizing the stabbing number of matchings, trees, and triangulations},
  journal      = {CoRR},
  volume       = {cs.CG/0310034},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310034},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CG-0310034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0310014,
  author       = {Rodney J. Clarke and
                  Philip C. Windridge and
                  Dali Dong},
  title        = {Effective {XML} Representation for Spoken Language in Organisations},
  journal      = {CoRR},
  volume       = {cs.CL/0310014},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310014},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0310014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0310041,
  author       = {Pavlina Fragkou},
  title        = {A Dynamic Programming Algorithm for the Segmentation of Greek Texts},
  journal      = {CoRR},
  volume       = {cs.CL/0310041},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310041},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0310041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0310058,
  author       = {Rodney J. Clarke and
                  Dali Dong and
                  Philip C. Windridge},
  title        = {Application Architecture for Spoken Language Resources in Organisational
                  Settings},
  journal      = {CoRR},
  volume       = {cs.CL/0310058},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310058},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0310058.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CR-0310033,
  author       = {T{\"{u}}rker {\"{O}}zsari},
  title        = {A Hash of Hash Functions},
  journal      = {CoRR},
  volume       = {cs.CR/0310033},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310033},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CR-0310033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CR-0310052,
  author       = {Kamil Kulesza and
                  Zbigniew Kotulski},
  title        = {On secret sharing for graphs},
  journal      = {CoRR},
  volume       = {cs.CR/0310052},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310052},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CR-0310052.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CR-0310053,
  author       = {Kamil Kulesza and
                  Zbigniew Kotulski},
  title        = {Secret Sharing for n-Colorable Graphs with Application to Public Key
                  Cryptography},
  journal      = {CoRR},
  volume       = {cs.CR/0310053},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310053},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CR-0310053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CY-0310018,
  author       = {Jiyou Jia},
  title        = {The Study of the Application of a Keywords-based Chatbot System on
                  the Teaching of Foreign Languages},
  journal      = {CoRR},
  volume       = {cs.CY/0310018},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310018},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CY-0310018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0310006,
  author       = {Serge Abiteboul and
                  Rakesh Agrawal and
                  Philip A. Bernstein and
                  Michael J. Carey and
                  Stefano Ceri and
                  W. Bruce Croft and
                  David J. DeWitt and
                  Michael J. Franklin and
                  Hector Garcia{-}Molina and
                  Dieter Gawlick and
                  Jim Gray and
                  Laura M. Haas and
                  Alon Y. Halevy and
                  Joseph M. Hellerstein and
                  Yannis E. Ioannidis and
                  Martin L. Kersten and
                  Michael J. Pazzani and
                  Michael Lesk and
                  David Maier and
                  Jeffrey F. Naughton and
                  Hans{-}J{\"{o}}rg Schek and
                  Timos K. Sellis and
                  Avi Silberschatz and
                  Michael Stonebraker and
                  Richard T. Snodgrass and
                  Jeffrey D. Ullman and
                  Gerhard Weikum and
                  Jennifer Widom and
                  Stanley B. Zdonik},
  title        = {The Lowell Database Research Self Assessment},
  journal      = {CoRR},
  volume       = {cs.DB/0310006},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310006},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0310006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0310012,
  author       = {Georg Gottlob and
                  Christoph Koch},
  title        = {A Formal Comparison of Visual Web Wrapper Generators},
  journal      = {CoRR},
  volume       = {cs.DB/0310012},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310012},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0310012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0310028,
  author       = {Anoop Jain and
                  Parag Sarda and
                  Jayant R. Haritsa},
  title        = {Providing Diversity in K-Nearest Neighbor Query Results},
  journal      = {CoRR},
  volume       = {cs.DB/0310028},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310028},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0310028.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0310035,
  author       = {Abhijit Kadlag and
                  Amol V. Wanjari and
                  Juliana Freire and
                  Jayant R. Haritsa},
  title        = {Supporting Exploratory Queries in Database Centric Web Applications},
  journal      = {CoRR},
  volume       = {cs.DB/0310035},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310035},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0310035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0310038,
  author       = {Shipra Agrawal and
                  Vijay Krishnan and
                  Jayant R. Haritsa},
  title        = {On Addressing Efficiency Concerns in Privacy Preserving Data Mining},
  journal      = {CoRR},
  volume       = {cs.DB/0310038},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310038},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0310038.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0310003,
  author       = {Darin Goldstein and
                  Nick Meyer},
  title        = {The Wake Up and Report Problem is Time-Equivalent to the Firing Squad
                  Synchronization Problem},
  journal      = {CoRR},
  volume       = {cs.DC/0310003},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310003},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0310003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0310004,
  author       = {Darin Goldstein},
  title        = {Determination of the Topology of a Directed Network},
  journal      = {CoRR},
  volume       = {cs.DC/0310004},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310004},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0310004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0310008,
  author       = {Gianluca Argentini},
  title        = {Poster on {MPI} application in Computational Fluid Dynamics},
  journal      = {CoRR},
  volume       = {cs.DC/0310008},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310008},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0310008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0310029,
  author       = {Rajeev Thakur and
                  William Gropp and
                  Ewing L. Lusk},
  title        = {Optimizing Noncontiguous Accesses in {MPI-IO}},
  journal      = {CoRR},
  volume       = {cs.DC/0310029},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310029},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0310029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0310030,
  author       = {Oliver Oppitz},
  title        = {A Particular Bug Trap: Execution Replay Using Virtual Machines},
  journal      = {CoRR},
  volume       = {cs.DC/0310030},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310030},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0310030.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0310019,
  author       = {Michel Koskas},
  title        = {A hierarchical Algorithm to Solve the Shortest Path Problem in Valued
                  Graphs},
  journal      = {CoRR},
  volume       = {cs.DS/0310019},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310019},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0310019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0310032,
  author       = {S{\'{a}}ndor P. Fekete and
                  J{\"{o}}rg Schepers},
  title        = {A combinatorial characterization of higher-dimensional orthogonal
                  packing},
  journal      = {CoRR},
  volume       = {cs.DS/0310032},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310032},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0310032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0310036,
  author       = {Daniel A. Spielman and
                  Shang{-}Hua Teng},
  title        = {Solving Sparse, Symmetric, Diagonally-Dominant Linear Systems in Time
                  O(m\({}^{\mbox{1.31}}\))},
  journal      = {CoRR},
  volume       = {cs.DS/0310036},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310036},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0310036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0310037,
  author       = {S{\'{a}}ndor P. Fekete and
                  Henk Meijer},
  title        = {Maximum dispersion and geometric maximum weight cliques},
  journal      = {CoRR},
  volume       = {cs.DS/0310037},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310037},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0310037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0310049,
  author       = {Vladimir Batagelj and
                  Matjaz Zaversnik},
  title        = {An O(m) Algorithm for Cores Decomposition of Networks},
  journal      = {CoRR},
  volume       = {cs.DS/0310049},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310049},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0310049.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0310065,
  author       = {Stephen Alstrup and
                  Jacob Holm and
                  Kristian de Lichtenberg and
                  Mikkel Thorup},
  title        = {Maintaining Information in Fully-Dynamic Trees with Top Trees},
  journal      = {CoRR},
  volume       = {cs.DS/0310065},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310065},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0310065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-GR-0310002,
  author       = {Suresh Venkatasubramanian},
  title        = {The Graphics Card as a Streaming Computer},
  journal      = {CoRR},
  volume       = {cs.GR/0310002},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310002},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-GR-0310002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-GT-0310039,
  author       = {Chiranjeeb Buragohain and
                  Divyakant Agrawal and
                  Subhash Suri},
  title        = {A Game Theoretic Framework for Incentives in {P2P} Systems},
  journal      = {CoRR},
  volume       = {cs.GT/0310039},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310039},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-GT-0310039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-HC-0310011,
  author       = {Robert Capra and
                  Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
  title        = {Re-Finding Found Things: An Exploratory Study of How Users Re-Find
                  Information},
  journal      = {CoRR},
  volume       = {cs.HC/0310011},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310011},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-HC-0310011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-HC-0310013,
  author       = {Franco Bagnoli and
                  Fabio Franci and
                  Francesco Mugelli and
                  Andrea Sterbini},
  title        = {WebTeach in practice: the entrance test to the Engineering faculty
                  in Florence},
  journal      = {CoRR},
  volume       = {cs.HC/0310013},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310013},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-HC-0310013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0310054,
  author       = {Jules Desharnais and
                  Bernhard M{\"{o}}ller and
                  Georg Struth},
  title        = {Kleene algebra with domain},
  journal      = {CoRR},
  volume       = {cs.LO/0310054},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310054},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0310054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0310063,
  author       = {V. Wiktor Marek and
                  Ilkka Niemel{\"{a}} and
                  Miroslaw Truszczynski},
  title        = {Logic programs with monotone cardinality atoms},
  journal      = {CoRR},
  volume       = {cs.LO/0310063},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310063},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0310063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0310064,
  author       = {Michael R. Dransfield and
                  V. Wiktor Marek and
                  Miroslaw Truszczynski},
  title        = {Satisfiability and computing van der Waerden numbers},
  journal      = {CoRR},
  volume       = {cs.LO/0310064},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310064},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0310064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-MS-0310057,
  author       = {Uwe Naumann and
                  Andrea Walther},
  title        = {An Introduction to Using Software Tools for Automatic Differentiation},
  journal      = {CoRR},
  volume       = {cs.MS/0310057},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310057},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-MS-0310057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NA-0310022,
  author       = {Arvind Sankar and
                  Daniel A. Spielman and
                  Shang{-}Hua Teng},
  title        = {Smoothed Analysis of the Condition Numbers and Growth Factors of Matrices},
  journal      = {CoRR},
  volume       = {cs.NA/0310022},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310022},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-NA-0310022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NE-0310009,
  author       = {Artur Rataj},
  title        = {On Interference of Signals and Generalization in Feedforward Neural
                  Networks},
  journal      = {CoRR},
  volume       = {cs.NE/0310009},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310009},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-NE-0310009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NE-0310050,
  author       = {Artur Rataj},
  title        = {Fast Feedforward Neural Networks with Diffused Nonlinear Weight Functions},
  journal      = {CoRR},
  volume       = {cs.NE/0310050},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310050},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-NE-0310050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0310020,
  author       = {Marija Kulas},
  title        = {Pure Prolog Execution in 21 Rules},
  journal      = {CoRR},
  volume       = {cs.PL/0310020},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310020},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0310020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SC-0310055,
  author       = {William McCune},
  title        = {Mace4 Reference Manual and Guide},
  journal      = {CoRR},
  volume       = {cs.SC/0310055},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310055},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SC-0310055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SC-0310056,
  author       = {William McCune},
  title        = {{OTTER} 3.3 Reference Manual},
  journal      = {CoRR},
  volume       = {cs.SC/0310056},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310056},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SC-0310056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310001,
  author       = {Edu Metz and
                  Raimondas Lencevicius},
  title        = {A Performance Analysis Tool for Nokia Mobile Phone Software},
  journal      = {CoRR},
  volume       = {cs.SE/0310001},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310001},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310007,
  author       = {Christian Schaubschl{\"{a}}ger and
                  Dieter Kranzlm{\"{u}}ller and
                  Jens Volkert},
  title        = {Event-based Program Analysis with DeWiz},
  journal      = {CoRR},
  volume       = {cs.SE/0310007},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310007},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310015,
  author       = {Masao Okita and
                  Fumihiko Ino and
                  Kenichi Hagihara},
  title        = {Debugging Tool for Localizing Faulty Processes in Message Passing
                  Programs},
  journal      = {CoRR},
  volume       = {cs.SE/0310015},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310015},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310016,
  author       = {Bil Lewis},
  title        = {Debugging Backwards in Time},
  journal      = {CoRR},
  volume       = {cs.SE/0310016},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310016},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310024,
  author       = {Joel Huselius and
                  Henrik Thane and
                  Daniel Sundmark},
  title        = {Availability Guarantee for Deterministic Replay Starting Points in
                  Real-Time Systems},
  journal      = {CoRR},
  volume       = {cs.SE/0310024},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310024},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310025,
  author       = {Mikhail Auguston and
                  Clinton Jeffery and
                  Scott Underwood},
  title        = {A Monitoring Language for Run Time and Post-Mortem Behavior Analysis
                  and Visualization},
  journal      = {CoRR},
  volume       = {cs.SE/0310025},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310025},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310026,
  author       = {Akira Sasaki and
                  Masataka Sassa},
  title        = {Generalized Systematic Debugging for Attribute Grammars},
  journal      = {CoRR},
  volume       = {cs.SE/0310026},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310026},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310040,
  author       = {Brock Pytlik and
                  Manos Renieris and
                  Shriram Krishnamurthi and
                  Steven P. Reiss},
  title        = {Automated Fault Localization Using Potential Invariants},
  journal      = {CoRR},
  volume       = {cs.SE/0310040},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310040},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310042,
  author       = {Mireille Ducass{\'{e}} and
                  Ludovic Langevine and
                  Pierre Deransart},
  title        = {Rigorous design of tracers: an experiment for constraint logic programming},
  journal      = {CoRR},
  volume       = {cs.SE/0310042},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310042},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310042.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0310048,
  author       = {S{\'{e}}bastien Gaspard and
                  Florida Estrella and
                  Richard McClatchey and
                  R{\'{e}}gis Dindeleux},
  title        = {Managing Evolving Business Workflows through the Capture of Descriptive
                  Information},
  journal      = {CoRR},
  volume       = {cs.SE/0310048},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0310048},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-SE-0310048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-CO-0310020,
  author       = {Bernd Fiedler},
  title        = {Generators of algebraic covariant derivative curvature tensors and
                  Young symmetrizers},
  journal      = {CoRR},
  volume       = {math.CO/0310020},
  year         = {2003},
  url          = {http://arxiv.org/abs/math/0310020},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/math-CO-0310020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-CO-0310109,
  author       = {Dan Romik},
  title        = {Shortest paths in the Tower of Hanoi graph and finite automata},
  journal      = {CoRR},
  volume       = {math.CO/0310109},
  year         = {2003},
  url          = {http://arxiv.org/abs/math/0310109},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/math-CO-0310109.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-CO-0310144,
  author       = {Lucian Ilie and
                  Jeffrey O. Shallit},
  title        = {A Generalization of Repetition Threshold},
  journal      = {CoRR},
  volume       = {math.CO/0310144},
  year         = {2003},
  url          = {http://arxiv.org/abs/math/0310144},
  timestamp    = {Mon, 09 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/math-CO-0310144.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-PR-0310232,
  author       = {Ashish Goel and
                  Sanatan Rai and
                  Bhaskar Krishnamachari},
  title        = {Sharp thresholds for monotone properties in random geometric graphs},
  journal      = {CoRR},
  volume       = {math.PR/0310232},
  year         = {2003},
  url          = {http://arxiv.org/abs/math.PR/0310232},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/math-PR-0310232.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/q-bio-NC-0310025,
  author       = {Lev Koyrakh},
  title        = {Pattern Excitation-Based Processing: The Music of The Brain},
  journal      = {CoRR},
  volume       = {q-bio.NC/0310025},
  year         = {2003},
  url          = {http://arxiv.org/abs/q-bio/0310025},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/q-bio-NC-0310025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/q-bio-QM-0310011,
  author       = {J{\"{o}}rn Anem{\"{u}}ller and
                  Terrence J. Sejnowski and
                  Scott Makeig},
  title        = {Complex Independent Component Analysis of Frequency-Domain Electroencephalographic
                  Data},
  journal      = {CoRR},
  volume       = {q-bio.QM/0310011},
  year         = {2003},
  url          = {http://arxiv.org/abs/q-bio/0310011},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/q-bio-QM-0310011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0310051,
  title        = {Nearly-Linear Time Algorithms for Graph Partitioning, Graph Sparsification,
                  and Solving Linear Systems},
  journal      = {CoRR},
  volume       = {cs.DS/0310051},
  year         = {2003},
  note         = {Withdrawn.},
  url          = {http://arxiv.org/abs/cs/0310051},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0310051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics