Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/corr/corr0309.bht:"
download as .bib file
@article{DBLP:journals/corr/cs-AI-0309007,
author = {Petro M. Gopych},
title = {{ROC} Curves Within the Framework of Neural Network Assembly Memory
Model: Some Analytic Results},
journal = {CoRR},
volume = {cs.AI/0309007},
year = {2003},
url = {http://arxiv.org/abs/cs/0309007},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0309007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0309009,
author = {Victor Eliashberg},
title = {What Is Working Memory and Mental Imagery? {A} Robot that Learns to
Perform Mental Computations},
journal = {CoRR},
volume = {cs.AI/0309009},
year = {2003},
url = {http://arxiv.org/abs/cs/0309009},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0309009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0309025,
author = {Johan Schubert},
title = {Evidential Force Aggregation},
journal = {CoRR},
volume = {cs.AI/0309025},
year = {2003},
url = {http://arxiv.org/abs/cs/0309025},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0309025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0309036,
author = {Petro M. Gopych},
title = {A Neural Network Assembly Memory Model Based on an Optimal Binary
Signal Detection Theory},
journal = {CoRR},
volume = {cs.AI/0309036},
year = {2003},
url = {http://arxiv.org/abs/cs/0309036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0309036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0309053,
author = {David A. Plaisted},
title = {A Hierarchical Situation Calculus},
journal = {CoRR},
volume = {cs.AI/0309053},
year = {2003},
url = {http://arxiv.org/abs/cs/0309053},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0309053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0309020,
author = {Stephan Mertens and
Marc M{\'{e}}zard and
Riccardo Zecchina},
title = {Threshold values of Random {K-SAT} from the cavity method},
journal = {CoRR},
volume = {cs.CC/0309020},
year = {2003},
url = {http://arxiv.org/abs/cs/0309020},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0309020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0309033,
author = {Pranab Sen and
Srinivasan Venkatesh},
title = {Lower bounds for predecessor searching in the cell probe model},
journal = {CoRR},
volume = {cs.CC/0309033},
year = {2003},
url = {http://arxiv.org/abs/cs/0309033},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0309033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0309052,
author = {Boris Alexeev},
title = {Minimal DFAs for Testing Divisibility},
journal = {CoRR},
volume = {cs.CC/0309052},
year = {2003},
url = {http://arxiv.org/abs/cs/0309052},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0309052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CG-0309041,
author = {Konstantin A. Rybnikov},
title = {Fast Verification of Convexity of Piecewise-linear Surfaces},
journal = {CoRR},
volume = {cs.CG/0309041},
year = {2003},
url = {http://arxiv.org/abs/cs/0309041},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CG-0309041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0309019,
author = {Atsushi Fujii and
Katunobu Itou},
title = {Building a Test Collection for Speech-Driven Web Retrieval},
journal = {CoRR},
volume = {cs.CL/0309019},
year = {2003},
url = {http://arxiv.org/abs/cs/0309019},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0309019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0309021,
author = {Atsushi Fujii and
Katunobu Itou and
Tomoyosi Akiba and
Tetsuya Ishikawa},
title = {A Cross-media Retrieval System for Lecture Videos},
journal = {CoRR},
volume = {cs.CL/0309021},
year = {2003},
url = {http://arxiv.org/abs/cs/0309021},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0309021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0309034,
author = {Peter D. Turney and
Michael L. Littman},
title = {Measuring Praise and Criticism: Inference of Semantic Orientation
from Association},
journal = {CoRR},
volume = {cs.CL/0309034},
year = {2003},
url = {http://arxiv.org/abs/cs/0309034},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0309034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0309035,
author = {Peter D. Turney and
Michael L. Littman and
Jeffrey Bigham and
Victor Shnayder},
title = {Combining Independent Modules to Solve Multiple-choice Synonym and
Analogy Problems},
journal = {CoRR},
volume = {cs.CL/0309035},
year = {2003},
url = {http://arxiv.org/abs/cs/0309035},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0309035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CR-0309010,
author = {Dima Grigoriev and
Ilia N. Ponomarenko},
title = {Homomorphic public-key cryptosystems over groups and rings},
journal = {CoRR},
volume = {cs.CR/0309010},
year = {2003},
url = {http://arxiv.org/abs/cs/0309010},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-CR-0309010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CR-0309051,
author = {Oded Regev},
title = {New Lattice Based Cryptographic Constructions},
journal = {CoRR},
volume = {cs.CR/0309051},
year = {2003},
url = {http://arxiv.org/abs/cs/0309051},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CR-0309051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CY-0309002,
author = {Ricardo Galli},
title = {El informe {NERA} analizado},
journal = {CoRR},
volume = {cs.CY/0309002},
year = {2003},
url = {http://arxiv.org/abs/cs/0309002},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-CY-0309002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-0309011,
author = {{\'{A}}g{\'{u}}st S. Egilsson and
Hakon Gudbjartsson},
title = {Indexing of Tables Referencing Complex Structures},
journal = {CoRR},
volume = {cs.DB/0309011},
year = {2003},
url = {http://arxiv.org/abs/cs/0309011},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-0309011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0309022,
author = {Christian Thiemann and
Michael Schlenker and
Thomas Severiens},
title = {Proposed Specification of a Distributed XML-Query Network},
journal = {CoRR},
volume = {cs.DC/0309022},
year = {2003},
url = {http://arxiv.org/abs/cs/0309022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0309022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0309026,
author = {Mark C. Little},
title = {A thought experiment on Quantum Mechanics and Distributed Failure
Detection},
journal = {CoRR},
volume = {cs.DC/0309026},
year = {2003},
url = {http://arxiv.org/abs/cs/0309026},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0309026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0309040,
author = {Lucia Draque Penso and
Valmir Carneiro Barbosa},
title = {A distributed algorithm to find k-dominating sets},
journal = {CoRR},
volume = {cs.DC/0309040},
year = {2003},
url = {http://arxiv.org/abs/cs/0309040},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0309040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0309042,
author = {L{\'{u}}cia M. A. Drummond and
Valmir Carneiro Barbosa},
title = {On reducing the complexity of matrix clocks},
journal = {CoRR},
volume = {cs.DC/0309042},
year = {2003},
url = {http://arxiv.org/abs/cs/0309042},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0309042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0309049,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Jos{\'{e}} C. Cunha and
Vitor Moreira},
title = {Control and Debugging of Distributed Programs Using Fiddle},
journal = {CoRR},
volume = {cs.DC/0309049},
year = {2003},
url = {http://arxiv.org/abs/cs/0309049},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0309049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DL-0309023,
author = {Vladimir Batagelj},
title = {Efficient Algorithms for Citation Network Analysis},
journal = {CoRR},
volume = {cs.DL/0309023},
year = {2003},
url = {http://arxiv.org/abs/cs/0309023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DL-0309023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0309017,
author = {David Renault},
title = {Enumerating planar locally finite Cayley graphs},
journal = {CoRR},
volume = {cs.DM/0309017},
year = {2003},
url = {http://arxiv.org/abs/cs/0309017},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0309017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0309005,
author = {Aleksandar Stojmirovic and
Vladimir Pestov},
title = {Indexing Schemes for Similarity Search In Datasets of Short Protein
Fragments},
journal = {CoRR},
volume = {cs.DS/0309005},
year = {2003},
url = {http://arxiv.org/abs/cs/0309005},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0309005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0309014,
author = {Esther M. Arkin and
Michael A. Bender and
Erik D. Demaine and
S{\'{a}}ndor P. Fekete and
Joseph S. B. Mitchell and
Saurabh Sethia},
title = {Optimal Covering Tours with Turn Costs},
journal = {CoRR},
volume = {cs.DS/0309014},
year = {2003},
url = {http://arxiv.org/abs/cs/0309014},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0309014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0309043,
author = {Alexandre H. L. Porto and
Valmir Carneiro Barbosa},
title = {Finding approximate palindromes in strings},
journal = {CoRR},
volume = {cs.DS/0309043},
year = {2003},
url = {http://arxiv.org/abs/cs/0309043},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0309043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-GT-0309016,
author = {Stuart McDonald and
Liam Wagner},
title = {Using Simulated Annealing to Calculate the Trembles of Trembling Hand
Perfection},
journal = {CoRR},
volume = {cs.GT/0309016},
year = {2003},
url = {http://arxiv.org/abs/cs/0309016},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-GT-0309016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-HC-0309001,
author = {Allison Woodruff and
Paul M. Aoki},
title = {Media Affordances of a Mobile Push-To-Talk Communication Service},
journal = {CoRR},
volume = {cs.HC/0309001},
year = {2003},
url = {http://arxiv.org/abs/cs/0309001},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-HC-0309001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-IR-0309013,
author = {Luis M. Rocha},
title = {Semi-metric Behavior in Document Networks and its Application to Recommendation
Systems},
journal = {CoRR},
volume = {cs.IR/0309013},
year = {2003},
url = {http://arxiv.org/abs/cs/0309013},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-IR-0309013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LG-0309015,
author = {Dominik Janzing and
Daniel Herrmann},
title = {Reliable and Efficient Inference of Bayesian Networks from Sparse
Data by Statistical Learning Theory},
journal = {CoRR},
volume = {cs.LG/0309015},
year = {2003},
url = {http://arxiv.org/abs/cs/0309015},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LG-0309015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0309004,
author = {Bruce Long},
title = {The Structure of Information},
journal = {CoRR},
volume = {cs.LO/0309004},
year = {2003},
url = {http://arxiv.org/abs/cs/0309004},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0309004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0309024,
author = {Annabelle McIver and
Carroll Morgan},
title = {Results on the quantitative mu-calculus qMu},
journal = {CoRR},
volume = {cs.LO/0309024},
year = {2003},
url = {http://arxiv.org/abs/cs/0309024},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0309024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0309046,
author = {K. Vezerides and
Athanasios Kehagias},
title = {The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections
of Self-Referential Sentences},
journal = {CoRR},
volume = {cs.LO/0309046},
year = {2003},
url = {http://arxiv.org/abs/cs/0309046},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0309046.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0309048,
author = {J{\"{u}}rgen Schmidhuber},
title = {Goedel Machines: Self-Referential Universal Problem Solvers Making
Provably Optimal Self-Improvements},
journal = {CoRR},
volume = {cs.LO/0309048},
year = {2003},
url = {http://arxiv.org/abs/cs/0309048},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0309048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NA-0309018,
author = {Maarten H. van Emden and
Belaid Moa},
title = {Using Propagation for Solving Complex Arithmetic Constraints},
journal = {CoRR},
volume = {cs.NA/0309018},
year = {2003},
url = {http://arxiv.org/abs/cs/0309018},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-NA-0309018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NE-0309012,
author = {Chien{-}Feng Huang and
Luis M. Rocha},
title = {Exploration of {RNA} Editing and Design of Robust Genetic Algorithms},
journal = {CoRR},
volume = {cs.NE/0309012},
year = {2003},
url = {http://arxiv.org/abs/cs/0309012},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-NE-0309012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NE-0309038,
author = {Valmir Carneiro Barbosa and
Luciana C. D. Campos},
title = {A novel evolutionary formulation of the maximum independent set problem},
journal = {CoRR},
volume = {cs.NE/0309038},
year = {2003},
url = {http://arxiv.org/abs/cs/0309038},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-NE-0309038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NE-0309039,
author = {Valmir Carneiro Barbosa and
Carlos A. G. Assis and
Josina O. do Nascimento},
title = {Two novel evolutionary formulations of the graph coloring problem},
journal = {CoRR},
volume = {cs.NE/0309039},
year = {2003},
url = {http://arxiv.org/abs/cs/0309039},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-NE-0309039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NI-0309006,
author = {Rajgopal Kannan},
title = {The KR-Benes Network: {A} (almost) Control-Optimal Rearrangeable Permutation
Network},
journal = {CoRR},
volume = {cs.NI/0309006},
year = {2003},
url = {http://arxiv.org/abs/cs/0309006},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-NI-0309006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NI-0309054,
author = {Katerina J. Argyraki and
David R. Cheriton},
title = {Active Internet Traffic Filtering: Real-time Response to Denial of
Service Attacks},
journal = {CoRR},
volume = {cs.NI/0309054},
year = {2003},
url = {http://arxiv.org/abs/cs/0309054},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-NI-0309054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OS-0309044,
author = {Valmir Carneiro Barbosa},
title = {The combinatorics of resource sharing},
journal = {CoRR},
volume = {cs.OS/0309044},
year = {2003},
url = {http://arxiv.org/abs/cs/0309044},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OS-0309044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0309003,
author = {Marco Bozzano and
Giorgio Delzanno and
Maurizio Martelli},
title = {Model Checking Linear Logic Specifications},
journal = {CoRR},
volume = {cs.PL/0309003},
year = {2003},
url = {http://arxiv.org/abs/cs/0309003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0309003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0309028,
author = {Fr{\'{e}}d{\'{e}}ric Mesnard and
Roberto Bagnara},
title = {cTI: {A} constraint-based termination inference tool for ISO-Prolog},
journal = {CoRR},
volume = {cs.PL/0309028},
year = {2003},
url = {http://arxiv.org/abs/cs/0309028},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0309028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0309045,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
title = {A uniform approach to constraint-solving for lists, multisets, compact
lists, and sets},
journal = {CoRR},
volume = {cs.PL/0309045},
year = {2003},
url = {http://arxiv.org/abs/cs/0309045},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0309045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SC-0309008,
author = {Eli Appleboim and
Emil Saucan},
title = {Digital Version of Green's Theorem and its Application to The Coverage
Problem in Formal Verification},
journal = {CoRR},
volume = {cs.SC/0309008},
year = {2003},
url = {http://arxiv.org/abs/cs/0309008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SC-0309008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SC-0309050,
author = {W. A. Zuniga{-}Galindo},
title = {Computing Igusa's Local Zeta Functions of Univariate Polynomials,
and Linear Feedback Shift Registers},
journal = {CoRR},
volume = {cs.SC/0309050},
year = {2003},
url = {http://arxiv.org/abs/cs/0309050},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SC-0309050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0309029,
author = {Jonas Maebe and
Koen De Bosschere},
title = {Instrumenting self-modifying code},
journal = {CoRR},
volume = {cs.SE/0309029},
year = {2003},
url = {http://arxiv.org/abs/cs/0309029},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0309030,
author = {Wolfgang Mayer and
Markus Stumptner},
title = {Model-Based Debugging using Multiple Abstract Models},
journal = {CoRR},
volume = {cs.SE/0309030},
year = {2003},
url = {http://arxiv.org/abs/cs/0309030},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0309031,
author = {Kazutaka Maruyama and
Minoru Terada},
title = {Timestamp Based Execution Control for {C} and Java Programs},
journal = {CoRR},
volume = {cs.SE/0309031},
year = {2003},
url = {http://arxiv.org/abs/cs/0309031},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0309032,
author = {G{\'{e}}rard Ferrand and
Willy Lesaint and
Alexandre Tessier},
title = {Towards declarative diagnosis of constraint programs over finite domains},
journal = {CoRR},
volume = {cs.SE/0309032},
year = {2003},
url = {http://arxiv.org/abs/cs/0309032},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0309037,
author = {Bryan Cantrill},
title = {Postmortem Object Type Identification},
journal = {CoRR},
volume = {cs.SE/0309037},
year = {2003},
url = {http://arxiv.org/abs/cs/0309037},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0309047,
author = {Andreas Zeller},
title = {Causes and Effects in Computer Programs},
journal = {CoRR},
volume = {cs.SE/0309047},
year = {2003},
url = {http://arxiv.org/abs/cs/0309047},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-SE-0309055,
author = {Tsuyoshi Ohta and
Tadanori Mizuno},
title = {A mathematical framework for automated bug localization},
journal = {CoRR},
volume = {cs.SE/0309055},
year = {2003},
url = {http://arxiv.org/abs/cs/0309055},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-SE-0309055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-CO-0309083,
author = {Shmuel Onn and
Uriel G. Rothblum},
title = {Convex Combinatorial Optimization},
journal = {CoRR},
volume = {math.CO/0309083},
year = {2003},
url = {http://arxiv.org/abs/math/0309083},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/math-CO-0309083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-CO-0309347,
author = {Shmuel Onn},
title = {Nowhere-Zero Flow Polynomials},
journal = {CoRR},
volume = {math.CO/0309347},
year = {2003},
url = {http://arxiv.org/abs/math/0309347},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/math-CO-0309347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/math-NA-0309285,
author = {Bradley W. Jackson and
Jeffrey D. Scargle and
David Barnes and
Sundararajan Arabhi and
Alina Alt and
Peter Gioumousis and
Elyus Gwin and
Paungkaew Sangtrakulcharoen and
Linda Tan and
Tun Tao Tsai},
title = {An Algorithm for Optimal Partitioning of Data on an Interval},
journal = {CoRR},
volume = {math.NA/0309285},
year = {2003},
url = {http://arxiv.org/abs/math/0309285},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/math-NA-0309285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/nlin-AO-0309033,
author = {Paolo Laureti and
Peter Ruch and
Joseph R. Wakeling and
Yi{-}Cheng Zhang},
title = {The Interactive Minority Game: a Web-based investigation of human
market interactions},
journal = {CoRR},
volume = {nlin.AO/0309033},
year = {2003},
url = {http://arxiv.org/abs/nlin/0309033},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/nlin-AO-0309033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/nlin-AO-0309039,
author = {Carlos Gershenson},
title = {Self-organizing Traffic Control: First Results},
journal = {CoRR},
volume = {nlin.AO/0309039},
year = {2003},
url = {http://arxiv.org/abs/nlin/0309039},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/nlin-AO-0309039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/quant-ph-0309018,
author = {Jae Weon Lee and
Alexei Chepelianskii and
Dima Shepelyansky},
title = {Treatment of sound on quantum computers},
journal = {CoRR},
volume = {quant-ph/0309018},
year = {2003},
url = {http://arxiv.org/abs/quant-ph/0309018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/quant-ph-0309018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/quant-ph-0309033,
author = {Pierfrancesco La Mura},
title = {Correlated Equilibria of Classical Strategic Games with Quantum Signals},
journal = {CoRR},
volume = {quant-ph/0309033},
year = {2003},
url = {http://arxiv.org/abs/quant-ph/0309033},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/quant-ph-0309033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/quant-ph-0309220,
author = {Harry Buhrman and
Ilan Newman and
Hein R{\"{o}}hrig and
Ronald de Wolf},
title = {Robust Quantum Algorithms and Polynomials},
journal = {CoRR},
volume = {quant-ph/0309220},
year = {2003},
url = {http://arxiv.org/abs/quant-ph/0309220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/quant-ph-0309220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-27 19:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
