Home     Top: Theory: Computational Complexity    [Computational Complexity   Formal Languages   Logic   Quantum Computing   Theorem Proving]

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the number of citations

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

203   Relational Queries Computable in Polynomial Time - Immerman (1986)   (Correct)
200   vic: A Flexible Framework for Packet Video - McCanne, Van Jacobson (1995)   (Correct)
193   Interior Point Methods In Semidefinite Programming With Applications.. - Alizadeh (1995)   (Correct)
166   Languages That Capture Complexity Classes - Immerman (1987)   (Correct)
162   Statistical properties of MPEG video traffic and their impact on.. - Rose (1995)   (Correct)
147   A Correspondence Theory for Terminological Logics: Preliminary Report - Schild (1991)   (Correct)
120   Using Linear Algebra for Intelligent Information Retrieval - Berry, Dumais, O'Brien (1995)   (Correct)
119   Visibility Preprocessing For Interactive Walkthroughs - Teller, Sequin (1991)   (Correct)
116   The Computational Complexity of Propositional STRIPS Planning - Bylander (1994)   (Correct)
113   Decidable Reasoning in Terminological Knowledge Representation Systems - Buchheit, Donini, Schaerf (1993)   (Correct)
109   Algorithms for Quantum Computation: Discrete Logarithms and Factoring - Shor (1994)   (Correct)
108   Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger, Ho (1996)   (Correct)
98   The Model Checker SPIN - Holzmann (1997)   (Correct)
94   A Unified Approach to Interior Point Algorithms for Linear.. - Kojima, Megiddo, Noma, Yoshise (1991)   (Correct)
93   QoS Routing Mechanisms and OSPF Extensions - Guerin, Orda, Williams (1996)   (Correct)
92   Factoring Wavelet Transforms Into Lifting Steps - Daubechies, Sweldens (1996)   (Correct)
90   A Parallel Hashed Oct-Tree N-Body Algorithm - Warren, Salmon (1993)   (Correct)
89   A Comparative Study on Feature Selection in Text Categorization - Yang, Pedersen (1997)   (Correct)
88   Issues in Automated Negotiation and Electronic Commerce: Extending.. - Sandholm, Lesser (1995)   (Correct)
83   Toward Efficient Agnostic Learning - Kearns (1994)   (Correct)
80   Data Mining: An Overview from a Database Perspective - Chen, Han, Yu (1996)   (Correct)
78   Optimizing Power Using Transformations - Chandrakasan, Potkonjak, Mehra.. (1995)   (Correct)
78   Elementary gates for quantum computation - Barenco, Bennett, Cleve, Di.. (1995)   (Correct)
77   Reasoning about Temporal Relations: A Maximal Tractable Subclass of.. - Nebel, Bürckert (1994)   (Correct)
77   Unbiased Bits from Sources of Weak Randomness and Probabilistic.. - Chor, Goldreich (1988)   (Correct)
71   Hard Real-Time Scheduling: The Deadline-Monotonic Approach - Audsley, Burns, Richardson, Wellings (1991)   (Correct)
70   On The Length Of Programs For Computing Finite Binary Sequences.. - Chaitin (1969)   (Correct)
66   Gap-Definable Counting Classes - Fenner, Fortnow, Kurtz (1992)   (Correct)
62   Training Models of Shape from Sets of Examples - Cootes, Taylor, Cooper, Graham (1992)   (Correct)
62   Wavelet Radiosity - Gortler, Schröder, Cohen, Hanrahan (1993)   (Correct)
61   Combining Hierarchical Radiosity and Discontinuity Meshing - Lischinski, Tampieri, Greenberg (1993)   (Correct)
61   Neural Network Exploration Using Optimal Experiment Design - Cohn (1994)   (Correct)
61   Belief Revision and Default Reasoning: Syntax-Based Approaches - Nebel (1991)   (Correct)
59   Knowledge Discovery in Databases: An Attribute-Oriented Approach - Han, Cai, Cercone (1992)   (Correct)
59   The Trade-offs of Multicast Trees and Algorithms - Wei, Estrin (1995)   (Correct)
57   Valued Constraint Satisfaction Problems: Hard and Easy Problems - Schiex (1995)   (Correct)
56   Computational Complexity of Terminological Reasoning in BACK - Nebel (1988)   (Correct)
56   Describing Graphs: a First-Order Approach to Graph Canonization - Immerman, Lander (1990)   (Correct)
56   Temporal Query Languages: a Survey - Chomicki (1995)   (Correct)
56   Strengths and weaknesses of quantum computing - Bennett, Bernstein, Brassard.. (1996)   (Correct)
56   Wavelet Analysis of Long Range Dependent Traffic - Abry, Veitch (1998)   (Correct)
55   Scalable Parallel Data Mining for Association Rules - Han, Karypis, Kumar (1997)   (Correct)
55   Progressive Image Coding on Noisy Channels - Sherwood, Zeger (1997)   (Correct)
53   Gradient Calculations for Dynamic Recurrent Neural Networks: A Survey - Pearlmutter (1995)   (Correct)
51   On Syntactic versus Computational Views of Approximability - Khanna, Motwani, Sudan, Vazirani (1994)   (Correct)
51   Provably Good Approximation Algorithms for Optimal Kinodynamic.. - Donald, Xavier (1995)   (Correct)
48   Sequential Monte Carlo Methods for Dynamic Systems - Liu, Chen (1998)   (Correct)
48   A Theory Of Program Size Formally Identical To Information Theory - Chaitin (1975)   (Correct)
48   Oracles and Queries that are Sufficient for Exact Learning - Bshouty, Cleve, Gavaldà.. (1994)   (Correct)
47   A graduated assignment algorithm for graph matching - Gold, Rangarajan (1996)   (Correct)
47   An Empirical Study of Algorithms for Point-Feature Label Placement - Christensen, Marks, Shieber (1995)   (Correct)
46   MONA: Monadic Second-Order Logic in Practice - Henriksen, Jensen, Jørgensen.. (1995)   (Correct)
45   Real-Time Internet Video Using Error Resilient Scalable Compression.. - Tan (1999)   (Correct)
45   Levelwise search and borders of theories in knowledge discovery - Mannila, Toivonen (1997)   (Correct)
44   Interior Methods for Constrained Optimization - Wright (1992)   (Correct)
44   A Survey on Complexity Results for Non-monotonic Logics - Cadoli, Schaerf (1993)   (Correct)
44   On the Computational Complexity of Upward and Rectilinear Planarity.. - Garg, Tamassia (1994)   (Correct)
43   Descriptive and Computational Complexity - Immerman (1989)   (Correct)
43   The Quantitative Structure of Exponential Time - Lutz (1993)   (Correct)
41   Data Mining - The Search for Knowledge in Databases - Holsheimer, Siebes (1991)   (Correct)
41   On The Computational Complexity Of Approximating Distributions By.. - Abe, Warmuth (1990)   (Correct)
41   Natural Proofs - Razborov, Rudich (1994)   (Correct)
40   Automated Analysis of Concurrent Systems with the Constrained.. - Avrunin, Buy, Corbett, Dillon, al. (1991)   (Correct)
39   Temporal Deductive Databases - Baudinet, Chomicki, Wolper (1992)   (Correct)
39   On the Hardness of Approximate Reasoning - Roth (1996)   (Correct)
38   Movable Separability of Sets - Toussaint (1985)   (Correct)
37   Improved low-degree testing and its applications - Arora, Sudan (1997)   (Correct)
37   On the Decidability of Query Containment under Constraints - Calvanese, De Giacomo, Lenzerini (1998)   (Correct)
37   Probabilistic Propositional Planning: Representations and Complexity - Littman (1997)   (Correct)
36   A Unifying Framework for Structure and Motion Recovery From Image.. - McLauchlan, Murray (1995)   (Correct)
35   The Complexity of Existential Quantification in Concept Languages - Donini, Hollunder, Lenzerini.. (1992)   (Correct)
35   Face Recognition: A Convolutional Neural Network Approach - Lawrence, Giles, Tsoi, Back (1997)   (Correct)
35   Exploring the Decision Forest: An Empirical Investigation of Occam's.. - Murphy, Pazzani (1994)   (Correct)
34   On the Construction of Pseudo-Random Permutations: Luby-Rackoff.. - Naor, Reingold (1997)   (Correct)
33   Building Classifiers using Bayesian Networks - Friedman (1996)   (Correct)
33   A Simple and Fast Incremental Randomized Algorithm for Computing.. - Seidel (1991)   (Correct)
33   Efficient Multiscale Regularization with Applications to the.. - Luettgen, Karl, Willsky (1993)   (Correct)
33   A Unified Framework for Class-Based Representation Formalisms - Calvanese, Lenzerini, Nardi (1994)   (Correct)
32   Surface Approximation and Geometric Partitions - Agarwal, Suri (1994)   (Correct)
32   STING : A Statistical Information Grid Approach to Spatial Data Mining - Wang (1997)   (Correct)
32   A Multifractal Wavelet Model with Application to Network Traffic - Riedi, Crouse, Ribeiro, Baraniuk (1998)   (Correct)
32   Towards an Effective Calculus for Object Query Languages - Fegaras, Maier (1995)   (Correct)
31   Topological Inference - Grigni, Papadias, Papadimitriou (1995)   (Correct)
31   Discretized Marching Cubes - Montani, Scateni, Scopigno (1994)   (Correct)
31   Efficient Approximations for the Marginal Likelihood of Bayesian.. - Chickering, Heckerman (1996)   (Correct)
31   On the Equivalence of Recursive and Nonrecursive Datalog Programs - Chaudhuri (1992)   (Correct)
30   A Register Allocation Framework Based on Hierarchical Cyclic Interval .. - Hendren, Gao, Altman, Mukerji (1993)   (Correct)
30   Finding Hard Instances of the Satisfiability Problem: A Survey - Cook, Mitchell (1997)   (Correct)
30   The Parallel Multipole Method on the Connection Machine - Zhao, Johnsson (1991)   (Correct)
30   The Interprocedural Coincidence Theorem - Knoop, Steffen (1992)   (Correct)
30   Solving Polynomial Systems Using a Branch and Prune Approach - Van Hentenryck, McAllester, Kapur (1997)   (Correct)
29   Tractable Reasoning via Approximation - Schaerf, Cadoli (1995)   (Correct)
29   Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)   (Correct)
29   Constructing Conditional Plans by a Theorem-Prover - Rintanen (1999)   (Correct)
29   Wavelet Packet Image Coding Using Space-frequency Quantization - Xiong, Ramchandran, Orchard (1998)   (Correct)
29   The Comparative Linguistics of Knowledge Representation - Gogic, Kautz (1995)   (Correct)
29   Fast Isocontouring For Improved Interactivity - Chandrajit Bajaj (1996)   (Correct)
28   Simulating Facial Surgery Using Finite Element Models - Koch, Gross, Carls, Büren.. (1996)   (Correct)
28   An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993)   (Correct)
28   Context-Based Vision: Recognizing Objects Using Information From Both .. - Strat, Fischler (1991)   (Correct)
28   The Quadratic Assignment Problem: A Survey and Recent Developments - Pardalos, Rendl, Wolkowicz (1994)   (Correct)
27   On the Complexity of Solving Markov Decision Problems - Littman, Dean, Kaelbling (1995)   (Correct)
27   Stage Scheduling: A Technique to Reduce the Register Requirements of.. - Eichenberger, Davidson (1995)   (Correct)
27   An Empirical Analysis of Terminological Representation Systems - Heinsohn, Kudenko, Nebel, Profitlich (1994)   (Correct)
27   Finding faces in cluttered scenes using random labeled graph matching - Leung, Burl, Perona (1995)   (Correct)
27   The Dynamic Window Approach to Collision Avoidance - Fox, Burgard, Thrun (1997)   (Correct)
27   Oracle Quantum Computing - Berthiaume, Brassard (1994)   (Correct)
27   Computational Properties of Qualitative Spatial Reasoning: First.. - Nebel (1995)   (Correct)
27   Computing Near-Optimal Solutions to Combinatorial Optimization.. - Shmoys (1995)   (Correct)
27   A Parallel Bottom-up Clustering Algorithm with Applications to.. - Cong, Smith (1993)   (Correct)
26   Verification of a Multiplier: 64 Bits and Beyond - Kurshan, Lamport (1993)   (Correct)
26   Phrasal Translation and Query Expansion Techniques for Cross-Language .. - Ballesteros (1997)   (Correct)
26   Theory and Algorithms for Plan Merging - Foulser, Li, Yang (1992)   (Correct)
26   Person Counting With Stereo - Beymer (2000)   (Correct)
25   Randomized Kinodynamic Planning - LaValle, Kuffner, Jr. (1999)   (Correct)
25   Expressibility And Parallel Complexity - Immerman (1989)   (Correct)
25   An Algorithm to Evaluate Quantified Boolean Formulae - Cadoli, Giovanardi, Schaerf (1998)   (Correct)
25   Networks of Spiking Neurons: The Third Generation of Neural Network.. - Maass (1996)   (Correct)
25   On Reliable Surface Reconstruction from Multiple Range Images - Hilton (1996)   (Correct)
25   Speeding Up Isosurface Extraction using Interval Trees - Cignoni, Marino, Montani, Puppo.. (1997)   (Correct)
24   Constraint Satisfaction: The Approximability of Minimization Problems - Khanna, Sudan, Trevisan (1997)   (Correct)
24   Improved Low-Density Subset Sum Algorithms - Coster, Joux, LaMacchia, Odlyzko.. (1991)   (Correct)
24   Practical Protocols For Certified Electronic Mail - Deng, Gong, Lazar, Wang (1996)   (Correct)
24   Using Semantic Differencing to Reduce the Cost of Regression Testing - Binkley (1992)   (Correct)
24   Double Precision Geometry: A General Technique for Calculating Line.. - Milenkovic (1989)   (Correct)
24   The Use of Context in Large Vocabulary Speech Recognition - Odell (1995)   (Correct)
23   Error-Based and Entropy-Based Discretization of Continuous Features - Kohavi, Sahami (1996)   (Correct)
23   Likelihood Calculation for a Class of Multiscale Stochastic Models.. - Luettgen, Willsky (1995)   (Correct)
23   The Expressiveness of a Family of Finite Set Languages - Immerman (1991)   (Correct)
23   SDPT3 - a MATLAB software package for semidefinite programming - Toh, Todd, Tütüncü (1998)   (Correct)
23   Multiple Description Wavelet Based Image Coding - Sergio Servetto (1998)   (Correct)
23   Generalized Guaranteed Rate Scheduling Algorithms: A Framework - Goyal, Vin   (Correct)
23   Simulated Annealing for Hard Satisfiability Problems - Spears (1993)   (Correct)
22   From recombination of genes to the estimation of distributions: II.. - H. Mühlenbein, J. Bendisch, H.-M.. (1996)   (Correct)
22   Coalitions among Computationally Bounded Agents - Sandholm, Lesser   (Correct)
22   A Domain Theory for Task Oriented Negotiation - Zlotkin   (Correct)
22   A Complete Classification of the Approximability of Maximization.. - Khanna, Sudan, Williamson (1997)   (Correct)
22   Scheduling as a fuzzy multiple criteria optimization problem - Slany (1996)   (Correct)
22   Kinodynamic Motion Planning - Donald (1993)   (Correct)
22   Novel cluster-based probability model for texture synthesis.. - Popat (1993)   (Correct)
22   Optimal Multicast Feedback - Nonnenmacher, Biersack (1998)   (Correct)
22   Simplified Support Vector Decision Rules - Burges (1996)   (Correct)
21   Stationary Default Extensions - Przymusinska, Prymusinski (1992)   (Correct)
21   State-Space Abstraction for Anytime Evaluation of Probabilistic.. - Wellman, Liu (1994)   (Correct)
21   Long Short-Term Memory - Hochreiter, Schmidhuber (1997)   (Correct)
21   On the Computational Complexity of Temporal Projection, Planning, and .. - Nebel, Bäckström (1994)   (Correct)
21   Graceful Degradation over Packet Erasure Channels through Forward.. - Mohr, Riskin, Ladner (1999)   (Correct)
21   Noise Reduction Using an Undecimated Discrete Wavelet Transform - Lang, Guo, Odegard, Burrus (1996)   (Correct)
21   Instance Complexity - Orponen, Ko, Schöning, Watanabe (1994)   (Correct)
21   On the Computational Complexity of Temporal Projection and Plan.. - Nebel, Bäckström (1992)   (Correct)
21   Extracting all the Randomness and Reducing the Error in Trevisan's.. - Raz, Reingold, Vadhan (1999)   (Correct)
21   Error Protection for Progressive Image Transmission over Memoryless.. - Sherwood, Zeger (1998)   (Correct)
21   On-line Learning of Rectangles in Noisy Environments - Peter Auer (1993)   (Correct)
21   Vector Quantization with Complexity Costs - Buhmann, Kühnel (1993)   (Correct)
20   Local Search and the Number of Solutions - Clark, Frank, Gent, MacIntyre.. (1996)   (Correct)
20   Direct Least Squares Fitting of Ellipses - Fitzgibbon, Pilu, Fisher (1996)   (Correct)
20   How Bad is Naive Multicast Routing? - Doar, Leslie (1993)   (Correct)
20   Pseudorandom generators without the XOR Lemma - Sudan, Trevisan, Vadhan (1998)   (Correct)
20   Linearity Testing in Characteristic Two - Bellare, Coppersmith, Håstad.. (1995)   (Correct)
20   A Domain-Independent Algorithm for Plan Adaptation - Hanks (1995)   (Correct)
20   Reasoning in Expressive Description Logics - Calvanese (1998)   (Correct)
20   On the Feasibility of Checking Temporal Integrity Constraints - Chomicki, Niwinski (1995)   (Correct)
20   Time-lock puzzles and timed-release Crypto - Rivest, Shamir, Wagner (1996)   (Correct)
20   On Growing Context-Sensitive Languages - Buntrock, Lorys (1992)   (Correct)
20   Algorithms For Vertex Partitioning Problems On Partial k-Trees - Telle, Proskurowski (1997)   (Correct)
19   Probabilistic Object Recognition using Multidimensional Receptive.. - Schiele (1996)   (Correct)
19   Evidence for a Satisfiability Threshold for Random 3CNF Formulas - Larrabee, Tsuji (1993)   (Correct)
19   The Computational Complexity of Cartographic Label Placement - Marks, Shieber (1991)   (Correct)
19   Relating Equivalence And Reducibility To Sparse Sets - Allender, Hemachandra, Ogiwara, al. (1992)   (Correct)
19   Polynomial Time Query Processing in Temporal Deductive Databases - Chomicki (1990)   (Correct)
19   Performance Estimation of Embedded Software with Instruction Cache.. - Li, Malik, Wolfe (1995)   (Correct)
19   A Multi-Resolution Relational Data Model - Robert Read (1992)   (Correct)
19   Ellipsis and Quantification: A Substitutional Approach - Crouch (1995)   (Correct)
19   Deadline Monotonic Scheduling - Neil Audsley (1990)   (Correct)
19   Finite Representation of Infinite Query Answers - Chomicki, Imielinski (1992)   (Correct)
19   Public-Key Cryptosystems from Lattice Reduction Problems - Goldreich, Goldwasser, Halevi (1997)   (Correct)
19   Lower Bounds for the Polynomial Calculus and the Gröbner Basis.. - Impagliazzo, Pudlák, Sgall (1997)   (Correct)
18   Search-Intensive Concept Induction - Giordana (1995)   (Correct)
18   The Effect of Multiple Time Scales and Subexponentiality in MPEG.. - Jelenkovic, Lazar, Semret (1997)   (Correct)
18   Complexity Limitations on Quantum Computation - Fortnow, Rogers (1997)   (Correct)
18   Recognition by Prototypes - Basri (1993)   (Correct)
18   On- And Off-Line Identification Of Linear State Space Models - Moonen, De Moor, Vandenberghe.. (1989)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute