Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jacm/jacm44.bht:"
@article{DBLP:journals/jacm/AbiteboulVV97, author = {Serge Abiteboul and Moshe Y. Vardi and Victor Vianu}, title = {Fixpoint logics, relational machines, and computational complexity}, journal = {J. {ACM}}, volume = {44}, number = {1}, pages = {30--56}, year = {1997}, url = {https://doi.org/10.1145/256292.256295}, doi = {10.1145/256292.256295}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/AbiteboulVV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/AgarwalHSV97, author = {Pankaj K. Agarwal and Sariel Har{-}Peled and Micha Sharir and Kasturi R. Varadarajan}, title = {Approximating shortest paths on a convex polytope in three dimensions}, journal = {J. {ACM}}, volume = {44}, number = {4}, pages = {567--584}, year = {1997}, url = {https://doi.org/10.1145/263867.263869}, doi = {10.1145/263867.263869}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/AgarwalHSV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/AlonBCH97, author = {Noga Alon and Shai Ben{-}David and Nicol{\`{o}} Cesa{-}Bianchi and David Haussler}, title = {Scale-sensitive dimensions, uniform convergence, and learnability}, journal = {J. {ACM}}, volume = {44}, number = {4}, pages = {615--631}, year = {1997}, url = {https://doi.org/10.1145/263867.263927}, doi = {10.1145/263867.263927}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/AlonBCH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/AspnesAFPW97, author = {James Aspnes and Yossi Azar and Amos Fiat and Serge A. Plotkin and Orli Waarts}, title = {On-line routing of virtual circuits with applications to load balancing and machine scheduling}, journal = {J. {ACM}}, volume = {44}, number = {3}, pages = {486--504}, year = {1997}, url = {https://doi.org/10.1145/258128.258201}, doi = {10.1145/258128.258201}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/AspnesAFPW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/AwerbuchS97, author = {Baruch Awerbuch and Leonard J. Schulman}, title = {The maintenance of common data in a distributed system}, journal = {J. {ACM}}, volume = {44}, number = {1}, pages = {86--103}, year = {1997}, url = {https://doi.org/10.1145/256292.256298}, doi = {10.1145/256292.256298}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/AwerbuchS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BeekD97, author = {Peter van Beek and Rina Dechter}, title = {Constraint tightness and looseness versus local and global consistency}, journal = {J. {ACM}}, volume = {44}, number = {4}, pages = {549--566}, year = {1997}, url = {https://doi.org/10.1145/263867.263499}, doi = {10.1145/263867.263499}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BeekD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BibelE97, author = {Wolfgang Bibel and Elmar Eder}, title = {Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution}, journal = {J. {ACM}}, volume = {44}, number = {2}, pages = {320--344}, year = {1997}, url = {https://doi.org/10.1145/256303.256313}, doi = {10.1145/256303.256313}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BibelE97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BistarelliMR97, author = {Stefano Bistarelli and Ugo Montanari and Francesca Rossi}, title = {Semiring-based constraint satisfaction and optimization}, journal = {J. {ACM}}, volume = {44}, number = {2}, pages = {201--236}, year = {1997}, url = {https://doi.org/10.1145/256303.256306}, doi = {10.1145/256303.256306}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/BistarelliMR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BorodinRSU97, author = {Allan Borodin and Prabhakar Raghavan and Baruch Schieber and Eli Upfal}, title = {How much can hardware help routing?}, journal = {J. {ACM}}, volume = {44}, number = {5}, pages = {726--741}, year = {1997}, url = {https://doi.org/10.1145/265910.265922}, doi = {10.1145/265910.265922}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BorodinRSU97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BrafmanLMS97, author = {Ronen I. Brafman and Jean{-}Claude Latombe and Yoram Moses and Yoav Shoham}, title = {Applications of a logic of knowledge to motion planning under uncertainty}, journal = {J. {ACM}}, volume = {44}, number = {5}, pages = {633--668}, year = {1997}, url = {https://doi.org/10.1145/265910.265912}, doi = {10.1145/265910.265912}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BrafmanLMS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Broy97, author = {Manfred Broy}, title = {Compositional refinement of interactive systems}, journal = {J. {ACM}}, volume = {44}, number = {6}, pages = {850--891}, year = {1997}, url = {https://doi.org/10.1145/268999.269004}, doi = {10.1145/268999.269004}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Broy97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BusscheGAG97, author = {Jan Van den Bussche and Dirk Van Gucht and Marc Andries and Marc Gyssens}, title = {On the completeness of object-creating database transformation languages}, journal = {J. {ACM}}, volume = {44}, number = {2}, pages = {272--319}, year = {1997}, url = {https://doi.org/10.1145/256303.256311}, doi = {10.1145/256303.256311}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BusscheGAG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Cesa-BianchiFHHSW97, author = {Nicol{\`{o}} Cesa{-}Bianchi and Yoav Freund and David Haussler and David P. Helmbold and Robert E. Schapire and Manfred K. Warmuth}, title = {How to use expert advice}, journal = {J. {ACM}}, volume = {44}, number = {3}, pages = {427--485}, year = {1997}, url = {https://doi.org/10.1145/258128.258179}, doi = {10.1145/258128.258179}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/Cesa-BianchiFHHSW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/DworkHW97, author = {Cynthia Dwork and Maurice Herlihy and Orli Waarts}, title = {Contention in shared memory algorithms}, journal = {J. {ACM}}, volume = {44}, number = {6}, pages = {779--805}, year = {1997}, url = {https://doi.org/10.1145/268999.269000}, doi = {10.1145/268999.269000}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/DworkHW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/EppsteinGIN97, author = {David Eppstein and Zvi Galil and Giuseppe F. Italiano and Amnon Nissenzweig}, title = {Sparsification - a technique for speeding up dynamic graph algorithms}, journal = {J. {ACM}}, volume = {44}, number = {5}, pages = {669--696}, year = {1997}, url = {https://doi.org/10.1145/265910.265914}, doi = {10.1145/265910.265914}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/EppsteinGIN97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/FrandsenMS97, author = {Gudmund Skovbjerg Frandsen and Peter Bro Miltersen and Sven Skyum}, title = {Dynamic word problems}, journal = {J. {ACM}}, volume = {44}, number = {2}, pages = {257--271}, year = {1997}, url = {https://doi.org/10.1145/256303.256309}, doi = {10.1145/256303.256309}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/FrandsenMS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Halpern97, author = {Joseph Y. Halpern}, title = {On becoming editor-in-chief of {JACM}}, journal = {J. {ACM}}, volume = {44}, number = {3}, pages = {363--365}, year = {1997}, url = {https://doi.org/10.1145/258128.268577}, doi = {10.1145/258128.268577}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Halpern97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/HemaspaandraHR97, author = {Edith Hemaspaandra and Lane A. Hemaspaandra and J{\"{o}}rg Rothe}, title = {Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to {NP}}, journal = {J. {ACM}}, volume = {44}, number = {6}, pages = {806--825}, year = {1997}, url = {https://doi.org/10.1145/268999.269002}, doi = {10.1145/268999.269002}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/HemaspaandraHR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/IshiiLP97, author = {Alexander T. Ishii and Charles E. Leiserson and Marios C. Papaefthymiou}, title = {Optimizing two-phase, level-clocked circuitry}, journal = {J. {ACM}}, volume = {44}, number = {1}, pages = {148--199}, year = {1997}, url = {https://doi.org/10.1145/256292.256301}, doi = {10.1145/256292.256301}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/IshiiLP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Jayanti97, author = {Prasad Jayanti}, title = {Robust wait-free hierarchies}, journal = {J. {ACM}}, volume = {44}, number = {4}, pages = {592--614}, year = {1997}, url = {https://doi.org/10.1145/263867.263888}, doi = {10.1145/263867.263888}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Jayanti97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/JeavonsCG97, author = {Peter Jeavons and David A. Cohen and Marc Gyssens}, title = {Closure properties of constraints}, journal = {J. {ACM}}, volume = {44}, number = {4}, pages = {527--548}, year = {1997}, url = {https://doi.org/10.1145/263867.263489}, doi = {10.1145/263867.263489}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/JeavonsCG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/JiangSV97, author = {Tao Jiang and Joel I. Seiferas and Paul M. B. Vit{\'{a}}nyi}, title = {Two heads are better than two tapes}, journal = {J. {ACM}}, volume = {44}, number = {2}, pages = {237--256}, year = {1997}, url = {https://doi.org/10.1145/256303.256308}, doi = {10.1145/256303.256308}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/JiangSV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/JiangSV97a, author = {Tao Jiang and Joel I. Seiferas and Paul M. B. Vit{\'{a}}nyi}, title = {Erratum: "Two heads are better that two tapes"}, journal = {J. {ACM}}, volume = {44}, number = {4}, pages = {632}, year = {1997}, url = {https://doi.org/10.1145/263867.268580}, doi = {10.1145/263867.268580}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/JiangSV97a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/KhardonR97, author = {Roni Khardon and Dan Roth}, title = {Learning to reason}, journal = {J. {ACM}}, volume = {44}, number = {5}, pages = {697--725}, year = {1997}, url = {https://doi.org/10.1145/265910.265918}, doi = {10.1145/265910.265918}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/KhardonR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/KochLMRRS97, author = {Richard R. Koch and Frank Thomson Leighton and Bruce M. Maggs and Satish Rao and Arnold L. Rosenberg and Eric J. Schwabe}, title = {Work-preserving emulations of fixed-connection networks}, journal = {J. {ACM}}, volume = {44}, number = {1}, pages = {104--147}, year = {1997}, url = {https://doi.org/10.1145/256292.256299}, doi = {10.1145/256292.256299}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/KochLMRRS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/LiuNT97, author = {Zhen Liu and Philippe Nain and Donald F. Towsley}, title = {Exponential bounds with applications to call admission}, journal = {J. {ACM}}, volume = {44}, number = {3}, pages = {366--394}, year = {1997}, url = {https://doi.org/10.1145/258128.258129}, doi = {10.1145/258128.258129}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/LiuNT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/MillerTTV97, author = {Gary L. Miller and Shang{-}Hua Teng and William P. Thurston and Stephen A. Vavasis}, title = {Separators for sphere-packings and nearest neighbor graphs}, journal = {J. {ACM}}, volume = {44}, number = {1}, pages = {1--29}, year = {1997}, url = {https://doi.org/10.1145/256292.256294}, doi = {10.1145/256292.256294}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/MillerTTV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/MohringMW97, author = {Rolf H. M{\"{o}}hring and Matthias M{\"{u}}ller{-}Hannemann and Karsten Weihe}, title = {Mesh refinement via bidirected flows: modeling, complexity, and computational results}, journal = {J. {ACM}}, volume = {44}, number = {3}, pages = {395--426}, year = {1997}, url = {https://doi.org/10.1145/258128.258174}, doi = {10.1145/258128.258174}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/MohringMW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Morishita97, author = {Shinichi Morishita}, title = {Avoiding Cartesian products for multiple joins}, journal = {J. {ACM}}, volume = {44}, number = {1}, pages = {57--85}, year = {1997}, url = {https://doi.org/10.1145/256292.256296}, doi = {10.1145/256292.256296}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/Morishita97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/SekarRM97, author = {R. Sekar and I. V. Ramakrishnan and Prateek Mishra}, title = {On the power and limitations of strictness analysis}, journal = {J. {ACM}}, volume = {44}, number = {3}, pages = {505--525}, year = {1997}, url = {https://doi.org/10.1145/258128.258212}, doi = {10.1145/258128.258212}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/SekarRM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Spencer97, author = {Thomas H. Spencer}, title = {Time-work tradeoffs for parallel algorithms}, journal = {J. {ACM}}, volume = {44}, number = {5}, pages = {742--778}, year = {1997}, url = {https://doi.org/10.1145/265910.265923}, doi = {10.1145/265910.265923}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Spencer97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/StoerW97, author = {Mechthild Stoer and Frank Wagner}, title = {A simple min-cut algorithm}, journal = {J. {ACM}}, volume = {44}, number = {4}, pages = {585--591}, year = {1997}, url = {https://doi.org/10.1145/263867.263872}, doi = {10.1145/263867.263872}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/StoerW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/Wagner97, author = {Robert A. Wagner}, title = {Evaluating uniform expressions within two steps of minimum parallel time}, journal = {J. {ACM}}, volume = {44}, number = {2}, pages = {345--361}, year = {1997}, url = {https://doi.org/10.1145/256303.256314}, doi = {10.1145/256303.256314}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/Wagner97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/WassermanB97, author = {Hal Wasserman and Manuel Blum}, title = {Software reliability via run-time result-checking}, journal = {J. {ACM}}, volume = {44}, number = {6}, pages = {826--849}, year = {1997}, url = {https://doi.org/10.1145/268999.269003}, doi = {10.1145/268999.269003}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jacm/WassermanB97.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.