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 expected number of citations based on the year of publication

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.

579.7   vic: A Flexible Framework for Packet Video - McCanne, Van Jacobson (1995)   (Correct)
559.4   Interior Point Methods In Semidefinite Programming With Applications.. - Alizadeh (1995)   (Correct)
469.5   Statistical properties of MPEG video traffic and their impact on.. - Rose (1995)   (Correct)
417.0   The Model Checker SPIN - Holzmann (1997)   (Correct)
409.0   Real-Time Internet Video Using Error Resilient Scalable Compression.. - Tan (1999)   (Correct)
378.7   A Comparative Study on Feature Selection in Text Categorization - Yang, Pedersen (1997)   (Correct)
371.4   Person Counting With Stereo - Beymer (2000)   (Correct)
347.8   Using Linear Algebra for Intelligent Information Retrieval - Berry, Dumais, O'Brien (1995)   (Correct)
319.9   Wavelet Analysis of Long Range Dependent Traffic - Abry, Veitch (1998)   (Correct)
313.0   Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger, Ho (1996)   (Correct)
286.4   The Computational Complexity of Propositional STRIPS Planning - Bylander (1994)   (Correct)
274.2   Sequential Monte Carlo Methods for Dynamic Systems - Liu, Chen (1998)   (Correct)
269.5   QoS Routing Mechanisms and OSPF Extensions - Guerin, Orda, Williams (1996)   (Correct)
269.1   Algorithms for Quantum Computation: Discrete Logarithms and Factoring - Shor (1994)   (Correct)
266.6   Factoring Wavelet Transforms Into Lifting Steps - Daubechies, Sweldens (1996)   (Correct)
263.6   Constructing Conditional Plans by a Theorem-Prover - Rintanen (1999)   (Correct)
255.0   Issues in Automated Negotiation and Electronic Commerce: Extending.. - Sandholm, Lesser (1995)   (Correct)
234.0   Progressive Image Coding on Noisy Channels - Sherwood, Zeger (1997)   (Correct)
234.0   Scalable Parallel Data Mining for Association Rules - Han, Karypis, Kumar (1997)   (Correct)
232.9   Decidable Reasoning in Terminological Knowledge Representation Systems - Buchheit, Donini, Schaerf (1993)   (Correct)
231.8   Data Mining: An Overview from a Database Perspective - Chen, Han, Yu (1996)   (Correct)
227.2   Randomized Kinodynamic Planning - LaValle, Kuffner, Jr. (1999)   (Correct)
226.0   Optimizing Power Using Transformations - Chandrakasan, Potkonjak, Mehra.. (1995)   (Correct)
226.0   Elementary gates for quantum computation - Barenco, Bennett, Cleve, Di.. (1995)   (Correct)
216.1   A Correspondence Theory for Terminological Logics: Preliminary Report - Schild (1991)   (Correct)
211.4   On the Decidability of Query Containment under Constraints - Calvanese, De Giacomo, Lenzerini (1998)   (Correct)
204.9   Toward Efficient Agnostic Learning - Kearns (1994)   (Correct)
203.0   Relational Queries Computable in Polynomial Time - Immerman (1986)   (Correct)
191.4   Levelwise search and borders of theories in knowledge discovery - Mannila, Toivonen (1997)   (Correct)
190.9   Extracting all the Randomness and Reducing the Error in Trevisan's.. - Raz, Reingold, Vadhan (1999)   (Correct)
190.9   Graceful Degradation over Packet Erasure Channels through Forward.. - Mohr, Riskin, Ladner (1999)   (Correct)
190.1   Reasoning about Temporal Relations: A Maximal Tractable Subclass of.. - Nebel, Bürckert (1994)   (Correct)
185.5   A Parallel Hashed Oct-Tree N-Body Algorithm - Warren, Salmon (1993)   (Correct)
182.8   A Multifractal Wavelet Model with Application to Network Traffic - Riedi, Crouse, Ribeiro, Baraniuk (1998)   (Correct)
175.0   Visibility Preprocessing For Interactive Walkthroughs - Teller, Sequin (1991)   (Correct)
171.0   The Trade-offs of Multicast Trees and Algorithms - Wei, Estrin (1995)   (Correct)
166.0   Languages That Capture Complexity Classes - Immerman (1987)   (Correct)
165.7   Wavelet Packet Image Coding Using Space-frequency Quantization - Xiong, Ramchandran, Orchard (1998)   (Correct)
165.2   Valued Constraint Satisfaction Problems: Hard and Easy Problems - Schiex (1995)   (Correct)
162.3   Strengths and weaknesses of quantum computing - Bennett, Bernstein, Brassard.. (1996)   (Correct)
162.3   Temporal Query Languages: a Survey - Chomicki (1995)   (Correct)
157.4   Improved low-degree testing and its applications - Arora, Sudan (1997)   (Correct)
157.4   Probabilistic Propositional Planning: Representations and Complexity - Littman (1997)   (Correct)
154.5   Optimal Patching Schemes for Efficient Multimedia Streaming - Sen, Gao, Rexford, Towsley (1999)   (Correct)
153.6   Gradient Calculations for Dynamic Recurrent Neural Networks: A Survey - Pearlmutter (1995)   (Correct)
150.6   Neural Network Exploration Using Optimal Experiment Design - Cohn (1994)   (Correct)
148.9   Face Recognition: A Convolutional Neural Network Approach - Lawrence, Giles, Tsoi, Back (1997)   (Correct)
147.8   Provably Good Approximation Algorithms for Optimal Kinodynamic.. - Donald, Xavier (1995)   (Correct)
145.4   Complexity and expressive power of logic programming - Dantsin, Eiter, Gottlob, Voronkov (1999)   (Correct)
144.6   On the Construction of Pseudo-Random Permutations: Luby-Rackoff.. - Naor, Reingold (1997)   (Correct)
142.8   An Algorithm to Evaluate Quantified Boolean Formulae - Cadoli, Giovanardi, Schaerf (1998)   (Correct)
138.2   A Unified Approach to Interior Point Algorithms for Linear.. - Kojima, Megiddo, Noma, Yoshise (1991)   (Correct)
136.2   A graduated assignment algorithm for graph matching - Gold, Rangarajan (1996)   (Correct)
136.2   An Empirical Study of Algorithms for Point-Feature Label Placement - Christensen, Marks, Shieber (1995)   (Correct)
136.1   STING : A Statistical Information Grid Approach to Spatial Data Mining - Wang (1997)   (Correct)
133.3   MONA: Monadic Second-Order Logic in Practice - Henriksen, Jensen, Jĝrgensen.. (1995)   (Correct)
131.4   Multiple Description Wavelet Based Image Coding - Sergio Servetto (1998)   (Correct)
131.4   SDPT3 - a MATLAB software package for semidefinite programming - Toh, Todd, Tütüncü (1998)   (Correct)
127.8   Wavelet Radiosity - Gortler, Schröder, Cohen, Hanrahan (1993)   (Correct)
127.6   Finding Hard Instances of the Satisfiability Problem: A Survey - Cook, Mitchell (1997)   (Correct)
127.6   Solving Polynomial Systems Using a Branch and Prune Approach - Van Hentenryck, McAllester, Kapur (1997)   (Correct)
127.2   Computational complexity of planning and approximate planning in.. - Baral, Kreinovich, Trejo (1999)   (Correct)
125.9   On Syntactic versus Computational Views of Approximability - Khanna, Motwani, Sudan, Vazirani (1994)   (Correct)
125.7   Combining Hierarchical Radiosity and Discontinuity Meshing - Lischinski, Tampieri, Greenberg (1993)   (Correct)
125.7   Optimal Multicast Feedback - Nonnenmacher, Biersack (1998)   (Correct)
123.4   Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)   (Correct)
119.9   Error Protection for Progressive Image Transmission over Memoryless.. - Sherwood, Zeger (1998)   (Correct)
118.5   Oracles and Queries that are Sufficient for Exact Learning - Bshouty, Cleve, Gavaldà.. (1994)   (Correct)
114.8   The Dynamic Window Approach to Collision Avoidance - Fox, Burgard, Thrun (1997)   (Correct)
114.2   Pseudorandom generators without the XOR Lemma - Sudan, Trevisan, Vadhan (1998)   (Correct)
114.2   Reasoning in Expressive Description Logics - Calvanese (1998)   (Correct)
113.7   Gap-Definable Counting Classes - Fenner, Fortnow, Kurtz (1992)   (Correct)
113.0   On the Hardness of Approximate Reasoning - Roth (1996)   (Correct)
110.6   Phrasal Translation and Query Expansion Techniques for Cross-Language .. - Ballesteros, Croft (1997)   (Correct)
108.6   On the Computational Complexity of Upward and Rectilinear Planarity.. - Garg, Tamassia (1994)   (Correct)
106.8   Training Models of Shape from Sets of Examples - Cootes, Taylor, Cooper, Graham (1992)   (Correct)
106.3   Networks of Spiking Neurons: The Third Generation of Neural Network.. - Maass (1997)   (Correct)
106.3   Speeding Up Isosurface Extraction using Interval Trees - Cignoni, Marino, Montani, Puppo.. (1997)   (Correct)
104.4   Hard Real-Time Scheduling: The Deadline-Monotonic Approach - Audsley, Burns, Richardson, Wellings (1991)   (Correct)
104.3   A Unifying Framework for Structure and Motion Recovery From Image.. - McLauchlan, Murray (1995)   (Correct)
102.1   Constraint Satisfaction: The Approximability of Minimization Problems - Khanna, Sudan, Trevisan (1997)   (Correct)
101.7   Knowledge Discovery in Databases: An Attribute-Oriented Approach - Han, Cai, Cercone (1992)   (Correct)
101.2   Natural Proofs - Razborov, Rudich (1994)   (Correct)
99.9   Querying Network Directories - Jagadish, Lakshmanan, Milo.. (1999)   (Correct)
97.1   A General Framework for Mesh Decimation - Kobbelt, Campagna, Seidel (1998)   (Correct)
95.6   Building Classifiers using Bayesian Networks - Friedman (1996)   (Correct)
93.6   A Complete Classification of the Approximability of Maximization.. - Khanna, Sudan, Williamson (1997)   (Correct)
92.7   Towards an Effective Calculus for Object Query Languages - Fegaras, Maier (1995)   (Correct)
91.4   On The Complexity Of Computing Mixed Volumes - Dyer, Gritzmann, Hufnagel (1998)   (Correct)
91.4   Graph Nonisomorphism Has Subexponential Size Proofs Unless The.. - Klivans, van Melkebeek (1998)   (Correct)
91.4   Constructions of Near-Optimal Extractors Using Pseudo-Random.. - Trevisan (1998)   (Correct)
91.4   Exact And Approximate Nondeterministic Tree-Search Procedures For The .. - Maniezzo (1998)   (Correct)
91.4   Self bounding learning algorithms - Freund (1998)   (Correct)
91.4   EM Algorithms for PCA and SPCA - Roweis (1998)   (Correct)
90.7   A Survey on Complexity Results for Non-monotonic Logics - Cadoli, Schaerf (1993)   (Correct)
89.8   Efficient Approximations for the Marginal Likelihood of Bayesian.. - Chickering, Heckerman (1996)   (Correct)
89.8   Topological Inference - Grigni, Papadias, Papadimitriou (1995)   (Correct)
89.7   Belief Revision and Default Reasoning: Syntax-Based Approaches - Nebel (1991)   (Correct)
89.3   Long Short-Term Memory - Hochreiter, Schmidhuber (1997)   (Correct)
88.6   The Quantitative Structure of Exponential Time - Lutz (1993)   (Correct)
86.4   Exploring the Decision Forest: An Empirical Investigation of Occam's.. - Murphy, Pazzani (1994)   (Correct)
85.7   A Survey on Knowledge Compilation - Cadoli, Donini (1998)   (Correct)
85.7   Evaluating the Overheads of Source-Directed Quality-of-Service Routing - Shaikh, Rexford, Shin (1998)   (Correct)
85.7   Incremental Distance Join Algorithms for Spatial Databases - Gsli Hjaltason (1998)   (Correct)
85.7   Towards a Theory of Sequential Hybrid Programs - Pandya, Hanpin, Qiwen (1998)   (Correct)
85.7   Eavesdropping Games: A Graph-Theoretic Approach to Privacy in.. - Franklin, Galil, Yung (1998)   (Correct)
85.1   Algorithms For Vertex Partitioning Problems On Partial k-Trees - Telle, Proskurowski (1997)   (Correct)
84.0   Fast Isocontouring For Improved Interactivity - Chandrajit Bajaj (1996)   (Correct)
84.0   Tractable Reasoning via Approximation - Schaerf, Cadoli (1995)   (Correct)
84.0   The Comparative Linguistics of Knowledge Representation - Gogic, Kautz (1995)   (Correct)
81.8   The Maximum Clique Problem - Bomze, Budinich, Pardalos, Pelillo (1999)   (Correct)
81.4   A Unified Framework for Class-Based Representation Formalisms - Calvanese, Lenzerini, Nardi (1994)   (Correct)
81.1   Simulating Facial Surgery Using Finite Element Models - Koch, Gross, Carls, Büren.. (1996)   (Correct)
80.8   Public-Key Cryptosystems from Lattice Reduction Problems - Goldreich, Goldwasser, Halevi (1997)   (Correct)
80.8   Lower Bounds for the Polynomial Calculus and the Gröbner Basis.. - Impagliazzo, Pudlák, Sgall (1997)   (Correct)
79.9   Jacobi-Davidson Style QR And QZ Algorithms For The Reduction Of.. - Fokkema, Sleijpen, van der Vorst (1998)   (Correct)
79.9   Theory and Design of Signal-Adapted FIR Paraunitary Filter Banks - Moulin, Mihçak (1998)   (Correct)
79.0   Surface Approximation and Geometric Partitions - Agarwal, Suri (1994)   (Correct)
78.2   Computing Near-Optimal Solutions to Combinatorial Optimization.. - Shmoys (1995)   (Correct)
78.2   On the Complexity of Solving Markov Decision Problems - Littman, Dean, Kaelbling (1995)   (Correct)
78.2   Stage Scheduling: A Technique to Reduce the Register Requirements of.. - Eichenberger, Davidson (1995)   (Correct)
78.2   Computational Properties of Qualitative Spatial Reasoning: First.. - Nebel (1995)   (Correct)
78.2   Finding faces in cluttered scenes using random labeled graph matching - Leung, Burl, Perona (1995)   (Correct)
77.0   Unbiased Bits from Sources of Weak Randomness and Probabilistic.. - Chor, Goldreich (1988)   (Correct)
76.5   The Effect of Multiple Time Scales and Subexponentiality in MPEG.. - Jelenkovic, Lazar, Semret (1997)   (Correct)
76.5   Complexity Limitations on Quantum Computation - Fortnow, Rogers (1997)   (Correct)
76.5   Compression Domain Volume Rendering for Distributed Environments - Lippert, Gross, Kurmann (1997)   (Correct)
76.5   Discretized Marching Cubes - Montani, Scateni, Scopigno (1994)   (Correct)
75.8   Interior Methods for Constrained Optimization - Wright (1992)   (Correct)
74.2   A Beam Tracing Approach to Acoustic Modeling for Interactive Virtual.. - Funkhouser, Carlbom, Elko, Pingali.. (1998)   (Correct)
74.2   Efficient Precomputation of Quality-of-Service Routes - Shaikh, Rexford, Shin (1998)   (Correct)
72.7   Computational Topology - Dey, Edelsbrunner, Guha (1999)   (Correct)
72.4   On Reliable Surface Reconstruction from Multiple Range Images - Hilton (1996)   (Correct)
72.3   Towards Constraint Satisfaction through Logic Programs and the Stable .. - Simons (1997)   (Correct)
70.0   On The Length Of Programs For Computing Finite Binary Sequences.. - Chaitin (1969)   (Correct)
69.5   Practical Protocols For Certified Electronic Mail - Deng, Gong, Lazar, Wang (1996)   (Correct)
69.5   The Use of Context in Large Vocabulary Speech Recognition - Odell (1995)   (Correct)
69.1   The Quadratic Assignment Problem: A Survey and Recent Developments - Pardalos, Rendl, Wolkowicz (1994)   (Correct)
68.5   Asymptotic Results for Multiplexing Subexponential On-Off Processes - Jelenkovic, Lazar (1998)   (Correct)
68.0   Implementing a Performance Forecasting System for Metacomputing: The.. - Wolski, Spring, Peterson (1997)   (Correct)
68.0   Efficient Multiscale Regularization with Applications to the.. - Luettgen, Karl, Willsky (1993)   (Correct)
67.2   Temporal Deductive Databases - Baudinet, Chomicki, Wolper (1992)   (Correct)
67.0   Describing Graphs: a First-Order Approach to Graph Canonization - Immerman, Lander (1990)   (Correct)
66.6   Error-Based and Entropy-Based Discretization of Continuous Features - Kohavi, Sahami (1996)   (Correct)
66.6   Likelihood Calculation for a Class of Multiscale Stochastic Models.. - Luettgen, Willsky (1995)   (Correct)
66.6   An Empirical Analysis of Terminological Representation Systems - Heinsohn, Kudenko, Nebel, Profitlich (1994)   (Correct)
66.6   Oracle Quantum Computing - Berthiaume, Brassard (1994)   (Correct)
63.7   Scheduling as a fuzzy multiple criteria optimization problem - Slany (1996)   (Correct)
63.7   Simplified Support Vector Decision Rules - Burges (1996)   (Correct)
63.7   From recombination of genes to the estimation of distributions: II.. - H. Mühlenbein, J. Bendisch, H.-M.. (1996)   (Correct)
63.6   Efficient Progressive Sampling - Foster Provost (1999)   (Correct)
62.8   Efficient and Reliable Schemes for Nonlinear Diffusion Filtering - Weickert, Romeny, Viergever (1998)   (Correct)
62.8   Efficient Fair-Queueing Algorithms for Packet-Switched Networks - Stiliadis, Varma (1998)   (Correct)
62.8   Quality and Speed in Linear-scan Register Allocation - Traub, Holloway, Smith (1998)   (Correct)
62.8   Analog Neural Nets with Gaussian or other Common Noise Distributions.. - Maass, Sontag (1998)   (Correct)
61.8   A Register Allocation Framework Based on Hierarchical Cyclic Interval .. - Hendren, Gao, Altman, Mukerji (1993)   (Correct)
60.8   Noise Reduction Using an Undecimated Discrete Wavelet Transform - Lang, Guo, Odegard, Burrus (1996)   (Correct)
60.3   The Complexity of Existential Quantification in Concept Languages - Donini, Hollunder, Lenzerini.. (1992)   (Correct)
60.2   Data Mining - The Search for Knowledge in Databases - Holsheimer, Siebes (1991)   (Correct)
59.5   Coevolutionary Search Among Adversaries - Rosin (1997)   (Correct)
58.8   Automated Analysis of Concurrent Systems with the Constrained.. - Avrunin, Buy, Corbett, Dillon, al. (1991)   (Correct)
57.9   Local Search and the Number of Solutions - David Clark (1996)   (Correct)
57.9   Direct Least Squares Fitting of Ellipses - Fitzgibbon, Pilu, Fisher (1996)   (Correct)
57.9   Time-lock puzzles and timed-release Crypto - Rivest, Shamir, Wagner (1996)   (Correct)
57.9   On the Feasibility of Checking Temporal Integrity Constraints - Chomicki, Niwinski (1995)   (Correct)
57.9   A Domain-Independent Algorithm for Plan Adaptation - Hanks (1995)   (Correct)
57.9   Linearity Testing in Characteristic Two - Bellare, Coppersmith, Håstad.. (1995)   (Correct)
57.7   An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993)   (Correct)
57.1   View-based Interpretation of Real-time Optical Flow for Gesture.. - Cutler, Turk (1998)   (Correct)
56.0   Computational Complexity of Terminological Reasoning in BACK - Nebel (1988)   (Correct)
55.6   A Parallel Bottom-up Clustering Algorithm with Applications to.. - Cong, Smith (1993)   (Correct)
55.3   Counting Complexity - Fortnow (1997)   (Correct)
55.3   Easier Ways to Win Logical Games - Fagin (1997)   (Correct)
55.3   Formal Design Constraints - Klarlund, Koistinen, Schwartzbach (1997)   (Correct)
55.3   The Relative Complexity of NP Search Problems - Beame, Cook, al. (1997)   (Correct)
55.0   Probabilistic Object Recognition using Multidimensional Receptive.. - Schiele (1996)   (Correct)
55.0   Performance Estimation of Embedded Software with Instruction Cache.. - Li, Malik, Wolfe (1995)   (Correct)
55.0   Ellipsis and Quantification: A Substitutional Approach - Crouch (1995)   (Correct)
54.5   Preferred Arguments are Harder to Compute than Stable Extensions - Dimopoulos, Nebel, Toni (1999)   (Correct)
53.6   Verification of a Multiplier: 64 Bits and Beyond - Kurshan, Lamport (1993)   (Correct)
53.4   On the Equivalence of Recursive and Nonrecursive Datalog Programs - Chaudhuri (1992)   (Correct)
52.1   Derandomized Graph Products - Alon, Feige, Wigderson, Zuckerman (1995)   (Correct)
52.1   Search-Intensive Concept Induction - Attilio Giordana (1995)   (Correct)

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