default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJCSS, Volume 62
Volume 62, Number 1, February 2001
- Silvia Ghilezan
:
Full Intersection Types and Topologies in Lambda Calculus. 1-14 - Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo:
Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases. 15-42 - Paolo Liberatore, Marco Schaerf:
Belief Revision and Update: Complexity of Model Checking. 43-72 - Anna Philippou, David Walker:
A Process-Calculus Analysis of Concurrent Operations on B-Trees. 73-122 - Sally A. Goldman, Stephen Kwek, Stephen D. Scott:
Agnostic Learning of Geometric Patterns. 123-151 - Richard Cole, Bruce M. Maggs, Ramesh K. Sitaraman:
On the Benefit of Supporting Virtual Channels in Wormhole Routers. 152-177 - Sanjay Jain, Carl H. Smith, Rolf Wiehagen:
Robust Learning Is Rich. 178-212
Volume 62, Number 2, March 2001
- Lance Fortnow:
Guest Editor's Foreword. 215 - J. Maurice Rojas:
Computational Arithmetic Geometry I. Sentences Nearly in the Polynomial Hierarchy. 216-235 - Madhu Sudan, Luca Trevisan, Salil P. Vadhan:
Pseudorandom Generators without the XOR Lemma. 236-266 - Samuel R. Buss, Dima Grigoriev, Russell Impagliazzo, Toniann Pitassi:
Linear Gaps between Degrees for the Polynomial Calculus Modulo Distinct Primes. 267-289 - Marcus Schaefer:
Graph Ramsey Theory and the Polynomial Hierarchy. 290-322 - Stephen Ponzio, Jaikumar Radhakrishnan, Srinivasan Venkatesh:
The Communication Complexity of Pointer Chasing. 323-355 - Eric Allender, Michael E. Saks, Igor E. Shparlinski:
A Lower Bound for Primality. 356-366 - Russell Impagliazzo, Ramamohan Paturi:
On the Complexity of k-SAT. 367-375 - John Watrous:
Quantum Simulations of Classical Random Walks and Undirected Graph Connectivity. 376-391
Volume 62, Number 3, May 2001
- Baruch Awerbuch, Yossi Azar, Serge A. Plotkin, Orli Waarts:
Competitive Routing of Virtual Circuits with Unknown Duration. 385-397 - John H. Reif:
Parallel Output-Sensitive Algorithms for Combinatorial and Linear Algebra Problems. 398-412 - John Case, Sanjay Jain:
Synthesizing Learners Tolerating Computable Noisy Data. 413-441 - Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis:
The Stability of Saturated Linear Dynamical Systems Is Undecidable. 442-462 - Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone:
On ACTL Formulas Having Linear Counterexamples. 463-515 - Yi Li, Philip M. Long, Aravind Srinivasan:
Improved Bounds on the Sample Complexity of Learning. 516-527 - Jinde Cao, Qing Tao:
Estimation on Domain of Attraction and Convergence Rate of Hopfield Continuous Feedback Neural Networks. 528-534
Volume 62, Number 4, June 2001
- Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito:
Refinements of Complexity Results on Type Consistency for Object-Oriented Databases. 537-564 - Juraj Hromkovic, Sebastian Seibert, Thomas Wilke:
Translating Regular Expressions into Small -Free Nondeterministic Finite Automata. 565-588 - Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan:
Linear-Consistency Testing. 589-607 - Changwook Kim:
Separation Results for Separated Apex NLC and NCE Graph Languages. 608-628 - Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer:
The Descriptive Complexity Approach to LOGCFL. 629-652 - Marcus Hutter:
New Error Bounds for Solomonoff Prediction. 653-667 - Yonit Kesten, Amir Pnueli, Moshe Y. Vardi:
Verification by Augmented Abstraction: The Automata-Theoretic View. 668-690
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.
last updated on 2024-11-08 20:20 CET 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:
