default search action
Search dblp for Publications
export results for "toc:db/journals/corr/corr0310.bht:"
@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} }
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.