Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/corr/cond-mat-0312019,
  author       = {Satoshi Kokado and
                  Kikuo Harigaya},
  title        = {A theoretical investigation of ferromagnetic tunnel junctions with
                  4-valued conductances},
  journal      = {CoRR},
  volume       = {cond-mat/0312019},
  year         = {2003},
  url          = {http://arxiv.org/abs/cond-mat/0312019},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cond-mat-0312019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cond-mat-0312483,
  author       = {Alfredo Braunstein and
                  Riccardo Zecchina},
  title        = {Survey Propagation as local equilibrium equations},
  journal      = {CoRR},
  volume       = {cond-mat/0312483},
  year         = {2003},
  url          = {http://arxiv.org/abs/cond-mat/0312483},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cond-mat-0312483.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312020,
  author       = {Laurent Henocque},
  title        = {Modeling Object Oriented Constraint Programs in {Z}},
  journal      = {CoRR},
  volume       = {cs.AI/0312020},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312020},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312037,
  author       = {Joseph Y. Halpern and
                  Riccardo Pucella},
  title        = {Reasoning About Expectation},
  journal      = {CoRR},
  volume       = {cs.AI/0312037},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs.AI/0312037},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312038,
  author       = {Hana Chockler and
                  Joseph Y. Halpern},
  title        = {Responsibility and blame: a structural-model approach},
  journal      = {CoRR},
  volume       = {cs.AI/0312038},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312038},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312038.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312040,
  author       = {Marcello Balduccini and
                  Michael Gelfond},
  title        = {Diagnostic reasoning with A-Prolog},
  journal      = {CoRR},
  volume       = {cs.AI/0312040},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312040},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312045,
  author       = {Paolo Ferraris and
                  Vladimir Lifschitz},
  title        = {Weight Constraints as Nested Expressions},
  journal      = {CoRR},
  volume       = {cs.AI/0312045},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312045},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312048,
  author       = {Joseph Y. Halpern and
                  Daphne Koller},
  title        = {Representation Dependence in Probabilistic Inference},
  journal      = {CoRR},
  volume       = {cs.AI/0312048},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312048},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312053,
  author       = {V. Wiktor Marek and
                  Jeffrey B. Remmel},
  title        = {On the Expressibility of Stable Logic Programming},
  journal      = {CoRR},
  volume       = {cs.AI/0312053},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312053},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-AI-0312059,
  author       = {Pavel Babikov and
                  Oleg Gontcharov and
                  Maria Babikova},
  title        = {Polyhierarchical Classifications Induced by Criteria Polyhierarchies
                  and Taxonomy Algebra},
  journal      = {CoRR},
  volume       = {cs.AI/0312059},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312059},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CC-0312007,
  author       = {Peter B{\"{u}}rgisser and
                  Felipe Cucker},
  title        = {Counting complexity classes for numeric computations {II:} algebraic
                  and semialgebraic sets},
  journal      = {CoRR},
  volume       = {cs.CC/0312007},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312007},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0312007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CC-0312011,
  author       = {Giorgio Parisi},
  title        = {Constraint Optimization and Statistical Mechanics},
  journal      = {CoRR},
  volume       = {cs.CC/0312011},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312011},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0312011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CC-0312039,
  author       = {P{\'{e}}ter G{\'{a}}cs},
  title        = {Universal randomness test, over a general space},
  journal      = {CoRR},
  volume       = {cs.CC/0312039},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs.CC/0312039},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0312039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CG-0312056,
  author       = {Christian A. Duncan and
                  David Eppstein and
                  Stephen G. Kobourov},
  title        = {The Geometric Thickness of Low Degree Graphs},
  journal      = {CoRR},
  volume       = {cs.CG/0312056},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312056},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CG-0312056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CL-0312008,
  author       = {Wessel Kraaij and
                  Jian{-}Yun Nie and
                  Michel Simard},
  title        = {Embedding Web-based Statistical Translation Models in Cross-Language
                  Information Retrieval},
  journal      = {CoRR},
  volume       = {cs.CL/0312008},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312008},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0312008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CL-0312050,
  author       = {Paul Piwek},
  title        = {A Flexible Pragmatics-driven Language Generator for Animated Agents},
  journal      = {CoRR},
  volume       = {cs.CL/0312050},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312050},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0312050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CL-0312051,
  author       = {Paul Piwek and
                  Kees van Deemter},
  title        = {Towards Automated Generation of Scripted Dialogue: Some Time-Honoured
                  Strategies},
  journal      = {CoRR},
  volume       = {cs.CL/0312051},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312051},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0312051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CL-0312052,
  author       = {Paul Piwek and
                  Kees van Deemter},
  title        = {Dialogue as Discourse: Controlling Global Properties of Scripted Dialogue},
  journal      = {CoRR},
  volume       = {cs.CL/0312052},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312052},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0312052.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CL-0312058,
  author       = {Oren Glickman and
                  Ido Dagan},
  title        = {Acquiring Lexical Paraphrases from a Single Corpus},
  journal      = {CoRR},
  volume       = {cs.CL/0312058},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312058},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0312058.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CL-0312060,
  author       = {Virginia Savova and
                  Leonid Peshkin},
  title        = {Part-of-Speech Tagging with Minimal Lexicalization},
  journal      = {CoRR},
  volume       = {cs.CL/0312060},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312060},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CL-0312060.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CR-0312025,
  author       = {Giampaolo Bella and
                  Stefano Bistarelli},
  title        = {Soft Constraint Programming to Analysing Security Protocols},
  journal      = {CoRR},
  volume       = {cs.CR/0312025},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312025},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CR-0312025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CR-0312034,
  author       = {Gonzalo {\'{A}}lvarez Mara{\~{n}}{\'{o}}n and
                  Luis Hern{\'{a}}ndez Encinas and
                  {\'{A}}ngel Mart{\'{\i}}n del Rey},
  title        = {Sharing secret color images using cellular automata with memory},
  journal      = {CoRR},
  volume       = {cs.CR/0312034},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312034},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CR-0312034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CR-0312035,
  author       = {Marcin Rogawski},
  title        = {Analysis of Implementation Hierocrypt-3 algorithm (and its comparison
                  to Camellia algorithm) using {ALTERA} devices},
  journal      = {CoRR},
  volume       = {cs.CR/0312035},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312035},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CR-0312035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CV-0312044,
  author       = {Rudi Cilibrasi and
                  Paul M. B. Vit{\'{a}}nyi},
  title        = {Clustering by compression},
  journal      = {CoRR},
  volume       = {cs.CV/0312044},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312044},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CV-0312044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CY-0312021,
  author       = {Domenico Camarda},
  title        = {ICT-based planning and the missing educational link},
  journal      = {CoRR},
  volume       = {cs.CY/0312021},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312021},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CY-0312021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-CY-0312030,
  author       = {Jiyou Jia},
  title        = {{CSIEC} (Computer Simulator in Educational Communication): An Intelligent
                  Web-Based Teaching System for Foreign Language Learning},
  journal      = {CoRR},
  volume       = {cs.CY/0312030},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312030},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CY-0312030.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DB-0312041,
  author       = {Sergio Greco and
                  Carlo Zaniolo},
  title        = {Greedy Algorithms in Datalog},
  journal      = {CoRR},
  volume       = {cs.DB/0312041},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312041},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0312041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DB-0312042,
  author       = {Sergio Flesca and
                  Sergio Greco},
  title        = {Declarative Semantics for Active Rules},
  journal      = {CoRR},
  volume       = {cs.DB/0312042},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312042},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0312042.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DB-0312043,
  author       = {Laks V. S. Lakshmanan and
                  Fereidoon Sadri},
  title        = {On {A} Theory of Probabilistic Deductive Databases},
  journal      = {CoRR},
  volume       = {cs.DB/0312043},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312043},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0312043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DB-0312046,
  author       = {Ernest Teniente and
                  Toni Urp{\'{\i}}},
  title        = {On the Abductive or Deductive Nature of Database Schema Validation
                  and Update Processing Problems},
  journal      = {CoRR},
  volume       = {cs.DB/0312046},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312046},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DB-0312046.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DC-0312022,
  author       = {Manjuka Soysa and
                  Rajkumar Buyya and
                  Baikunth Nath},
  title        = {GridEmail: {A} Case for Economically Regulated Internet-based Interpersonal
                  Communications},
  journal      = {CoRR},
  volume       = {cs.DC/0312022},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312022},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0312022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DC-0312031,
  author       = {Daniel Cabeza and
                  Manuel V. Hermenegildo},
  title        = {Distributed {WWW} Programming using (Ciao-)Prolog and the PiLLoW library},
  journal      = {CoRR},
  volume       = {cs.DC/0312031},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312031},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0312031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DC-0312049,
  author       = {Gianluca Argentini},
  title        = {Using virtual processors for {SPMD} parallel programs},
  journal      = {CoRR},
  volume       = {cs.DC/0312049},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312049},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0312049.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DL-0312024,
  author       = {Liang Wang and
                  Yiping Guo and
                  Ming Fang},
  title        = {Evolution: Google vs. {DRIS}},
  journal      = {CoRR},
  volume       = {cs.DL/0312024},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312024},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DL-0312024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DS-0312054,
  author       = {Krzysztof C. Kiwiel},
  title        = {Partitioning schemes for quicksort and quickselect},
  journal      = {CoRR},
  volume       = {cs.DS/0312054},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312054},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0312054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-DS-0312055,
  author       = {Krzysztof C. Kiwiel},
  title        = {Randomized selection with quintary partitions},
  journal      = {CoRR},
  volume       = {cs.DS/0312055},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312055},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DS-0312055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-GR-0312006,
  author       = {Stanimire Tomov and
                  Michael D. McGuigan and
                  Robert Bennett and
                  Gordon Smith and
                  John Spiletic},
  title        = {Benchmarking and Implementation of Probability-Based Simulations on
                  Programmable Graphics Cards},
  journal      = {CoRR},
  volume       = {cs.GR/0312006},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312006},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-GR-0312006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-GT-0312005,
  author       = {Alvaro Francisco Huertas{-}Rosero},
  title        = {A Cartography for 2x2 Symmetric Games},
  journal      = {CoRR},
  volume       = {cs.GT/0312005},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312005},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-GT-0312005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-HC-0312010,
  author       = {Kate McDevitt and
                  Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
                  Olga I. Padilla{-}Falto},
  title        = {Designing of a Community-based Translation Center},
  journal      = {CoRR},
  volume       = {cs.HC/0312010},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312010},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-HC-0312010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-HC-0312016,
  author       = {Saverio Perugini and
                  Mary E. Pinney and
                  Naren Ramakrishnan and
                  Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
                  Mary Beth Rosson},
  title        = {Taking the Initiative with Extempore: Exploring Out-of-Turn Interactions
                  with Websites},
  journal      = {CoRR},
  volume       = {cs.HC/0312016},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312016},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-HC-0312016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-HC-0312017,
  author       = {Paul Prekop},
  title        = {An Exploratory Study of Mobile Computing Use by Knowledge Workers},
  journal      = {CoRR},
  volume       = {cs.HC/0312017},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312017},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-HC-0312017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-IR-0312018,
  author       = {Paul Ginsparg and
                  Paul Houle and
                  Thorsten Joachims and
                  Jae{-}Hoon Sul},
  title        = {Mapping Subsets of Scholarly Information},
  journal      = {CoRR},
  volume       = {cs.IR/0312018},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312018},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-IR-0312018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-IR-0312033,
  author       = {Ilya Zemskov},
  title        = {Using sensors in the web crawling process},
  journal      = {CoRR},
  volume       = {cs.IR/0312033},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312033},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-IR-0312033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LG-0312004,
  author       = {Daniel Etzold},
  title        = {Improving spam filtering by combining Naive Bayes with simple k-nearest
                  neighbor searches},
  journal      = {CoRR},
  volume       = {cs.LG/0312004},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312004},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LG-0312004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312001,
  author       = {Andreas Martin Lisewski},
  title        = {The concept of strong and weak virtual reality},
  journal      = {CoRR},
  volume       = {cs.LO/0312001},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312001},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312002,
  author       = {Paola Bruscoli and
                  Alessio Guglielmi},
  title        = {On Structuring Proof Search for First Order Linear Logic},
  journal      = {CoRR},
  volume       = {cs.LO/0312002},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312002},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312012,
  author       = {Olga Shumsky Matlin and
                  William McCune and
                  Ewing L. Lusk},
  title        = {Methods to Model-Check Parallel Systems Software},
  journal      = {CoRR},
  volume       = {cs.LO/0312012},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312012},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312014,
  author       = {Greta Yorsh and
                  Thomas W. Reps and
                  Shmuel Sagiv and
                  Reinhard Wilhelm},
  title        = {Logical Characterizations of Heap Abstractions},
  journal      = {CoRR},
  volume       = {cs.LO/0312014},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312014},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312015,
  author       = {Patrick Baillot and
                  Virgile Mogbil},
  title        = {Soft lambda-calculus: a language for polynomial time computation},
  journal      = {CoRR},
  volume       = {cs.LO/0312015},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312015},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312028,
  author       = {Filippo Furfaro and
                  Gianluigi Greco and
                  Sergio Greco},
  title        = {Minimal founded semantics for disjunctive logic programs and deductive
                  databases},
  journal      = {CoRR},
  volume       = {cs.LO/0312028},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312028},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312028.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312029,
  author       = {Hudson Turner},
  title        = {Strong Equivalence Made Easy: Nested Expressions and Weight Constraints},
  journal      = {CoRR},
  volume       = {cs.LO/0312029},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312029},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312032,
  author       = {Anja Remshagen and
                  Klaus Truemper},
  title        = {Learning in a Compiler for {MINSAT} Algorithms},
  journal      = {CoRR},
  volume       = {cs.LO/0312032},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312032},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312036,
  author       = {Hana Chockler and
                  Joseph Y. Halpern and
                  Orna Kupferman},
  title        = {What Causes a System to Satisfy a Specification?},
  journal      = {CoRR},
  volume       = {cs.LO/0312036},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312036},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-LO-0312057,
  author       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Lu{\'{\i}}s Moniz Pereira and
                  Terrance Swift},
  title        = {Abduction in Well-Founded Semantics and Generalized Stable Models},
  journal      = {CoRR},
  volume       = {cs.LO/0312057},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312057},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-LO-0312057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-NE-0312003,
  author       = {Edward S. Sazonov and
                  P. Klinkhachorn and
                  Ronald L. Klein},
  title        = {Hybrid LQG-Neural Controller for Inverted Pendulum System},
  journal      = {CoRR},
  volume       = {cs.NE/0312003},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312003},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-NE-0312003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-NE-0312009,
  author       = {Edward S. Sazonov and
                  Diego Del Gobbo and
                  P. Klinkhachorn and
                  Ronald L. Klein},
  title        = {Failure-Free Genetic Algorithm Optimization of a System Controller
                  Using {SAFE/LEARNING} Controllers in Tandem},
  journal      = {CoRR},
  volume       = {cs.NE/0312009},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312009},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-NE-0312009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-NE-0312047,
  author       = {Juan Juli{\'{a}}n Merelo Guerv{\'{o}}s and
                  Beatriz Prieto and
                  Fatima Rateb and
                  Fernando Tricas},
  title        = {Mapping weblog communities},
  journal      = {CoRR},
  volume       = {cs.NE/0312047},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312047},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-NE-0312047.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-OH-0312019,
  author       = {Laura Bozzelli and
                  Massimo Benerecetti and
                  Adriano Peron},
  title        = {Verification of recursive parallel systems},
  journal      = {CoRR},
  volume       = {cs.OH/0312019},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312019},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-OH-0312019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-PL-0312023,
  author       = {Samir Genaim and
                  Michael Codish},
  title        = {Inferring Termination Conditions for Logic Programs using Backwards
                  Analysis},
  journal      = {CoRR},
  volume       = {cs.PL/0312023},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312023},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0312023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-PL-0312026,
  author       = {Jan Hruza and
                  Petr Step{\'{a}}nek},
  title        = {Speedup of Logic Programs by Binarization and Partial Deduction},
  journal      = {CoRR},
  volume       = {cs.PL/0312026},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312026},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0312026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-PL-0312027,
  author       = {Henk Vandecasteele and
                  Gerda Janssens},
  title        = {An Open Ended Tree},
  journal      = {CoRR},
  volume       = {cs.PL/0312027},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312027},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0312027.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/math-CO-0312171,
  author       = {Bernd Fiedler},
  title        = {Short formulas for algebraic covariant derivative curvature tensors
                  via Algebraic Combinatorics},
  journal      = {CoRR},
  volume       = {math.CO/0312171},
  year         = {2003},
  url          = {http://arxiv.org/abs/math/0312171},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/math-CO-0312171.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/math-CT-0312422,
  author       = {Craig A. Pastro},
  title        = {{\textbackslash}Sigma{\textbackslash}Pi-polycategories, additive linear
                  logic, and process semantics},
  journal      = {CoRR},
  volume       = {math.CT/0312422},
  year         = {2003},
  url          = {http://arxiv.org/abs/math/0312422},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/math-CT-0312422.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/quant-ph-0312003,
  author       = {Harumichi Nishimura and
                  Tomoyuki Yamakami},
  title        = {An Algorithmic Argument for Query Complexity Lower Bounds of Advised
                  Quantum Computation},
  journal      = {CoRR},
  volume       = {quant-ph/0312003},
  year         = {2003},
  url          = {http://arxiv.org/abs/quant-ph/0312003},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/quant-ph-0312003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/quant-ph-0312044,
  author       = {Bob Coecke and
                  Keye Martin},
  title        = {Partiality in physics},
  journal      = {CoRR},
  volume       = {quant-ph/0312044},
  year         = {2003},
  url          = {http://arxiv.org/abs/quant-ph/0312044},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/quant-ph-0312044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/cs-OH-0312013,
  title        = {Fuzziness versus probability again},
  journal      = {CoRR},
  volume       = {cs.OH/0312013},
  year         = {2003},
  note         = {Withdrawn.},
  url          = {http://arxiv.org/abs/cs/0312013},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-OH-0312013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/quant-ph-0312174,
  title        = {Quantum Computation, Categorical Semantics and Linear Logic},
  journal      = {CoRR},
  volume       = {quant-ph/0312174},
  year         = {2003},
  note         = {Withdrawn.},
  url          = {http://arxiv.org/abs/quant-ph/0312174},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/quant-ph-0312174.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.