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

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Reverse date order

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.

Estimation of parameters and eigenmodes of multivariate.. - Neumaier, Schneider (2001)   (Correct)
The Hardness of Problems on Thin Colored Graphs - Bodlaender, Fellows, Hallett.. (2000)   (Correct)
Learning and Design of Principal Curves - Kégl, Krzyzak, Linder, Zeger (2000)   (Correct)
A Duality Theory for Bilattices - Mobasher, Pigozzi, Slutzki.. (2000)   (Correct)
Person Counting With Stereo - Beymer (2000)   (Correct)
Surface-Based Structure-from-Motion using Feature Groupings - Mclauchlan (2000)   (Correct)
The Maximum Clique Problem - Bomze, Budinich, Pardalos, Pelillo (1999)   (Correct)
Computational Topology - Dey, Edelsbrunner, Guha (1999)   (Correct)
Workflows, Transactions, and Datalog - Bonner (1999)   (Correct)
Continuous-based Heuristics for Graph and Tree Isomorphisms, with.. - Pelillo, Siddiqi, Zucker (1999)   (Correct)
Modeling Heterogeneous Network Traffic in Wavelet Domain: Part I -.. - Ma, Ji (1999)   (Correct)
Attributed Tree Matching and Maximum Weight Cliques - Pelillo, Siddiqi, Zucker (1999)   (Correct)
Probabilistic Deduction with Conditional Constraints over Basic Events - Lukasiewicz (1999)   (Correct)
Bayesian smoothing in the estimation of the pair potential function.. - Heikkinen, Penttinen (1999)   (Correct)
A Model-Theoretic Approach for Recovering Consistent Data from.. - Arieli, Avron (1999)   (Correct)
Extracting all the Randomness and Reducing the Error in Trevisan's.. - Raz, Reingold, Vadhan (1999)   (Correct)
Modeling Heterogeneous Network Traffic in Wavelet Domain: Part II -.. - Ma, Ji (1999)   (Correct)
Querying Network Directories - Jagadish, Lakshmanan, Milo.. (1999)   (Correct)
On the Complexity of Counting the Hilbert Basis of a Linear.. - Hermann, Juban, Kolaitis (1999)   (Correct)
High Quality Audio Compression Using an Adaptive Wavelet Packet.. - Srinivasan, Jamieson (1999)   (Correct)
ParaPART: Parallel Mesh Partitioning Tool for Distributed Systems - Jian Chen (1999)   (Correct)
Learning to Forget: Continual Prediction with LSTM - Felix A. Gers, Jürgen Schmidhuber.. (1999)   (Correct)
New Dynamic SPT Algorithm based on a Ball-and-String Model - Narváez, Siu, Tzeng (1999)   (Correct)
Circuit Expressions of Low Kolmogorov Complexity - Balcázar, Buhrman, Hermo (1999)   (Correct)
Asymptotic Approximation of the Move-To-Front Search Cost.. - Jelenkovic (1999)   (Correct)
Lococode Performs Nonlinear ICA Without Knowing The Number Of Sources - Hochreiter, Schmidhuber (1999)   (Correct)
Comparing Entropies in Statistical Zero Knowledge with Applications.. - Goldreich, Vadhan (1999)   (Correct)
Computational complexity of planning and approximate planning in.. - Baral, Kreinovich, Trejo (1999)   (Correct)
Real-Time Internet Video Using Error Resilient Scalable Compression.. - Tan (1999)   (Correct)
A Spatial-Temporal Decorrelating Receiver for CDMA systems with.. - Wang, Blostein (1999)   (Correct)
The Descriptive Complexity Approach to LOGCFL - Lautemann, McKenzie, Schwentick.. (1999)   (Correct)
Low Complexity Sequential Lossless Coding for Piecewise Stationary.. - Shamir, Merhav (1999)   (Correct)
A Comparison of Parallel Solvers for Diagonally Dominant and General.. - Arbenz, Cleary, Dongarra, Hegland (1999)   (Correct)
Link-time Improvement of Scheme Programs - Saumya Debray (1999)   (Correct)
A NExpTime-Complete Description Logic Strictly Contained in C˛ - Tobies (1999)   (Correct)
Natural Deduction for Intuitionistic Non-Commutative Linear Logic - Polakow, Pfenning (1999)   (Correct)
Constructing Conditional Plans by a Theorem-Prover - Rintanen (1999)   (Correct)
A Lower Bound for Primality - Allender, Saks, al. (1999)   (Correct)
Shared Memory Multiprocessor Support for SAC - Grelck (1999)   (Correct)
On Computation with Pulses - Maass, Ruf (1999)   (Correct)
Mesh Partitioning for Distributed Systems: Exploring Optimal Number.. - Jian Chen (1999)   (Correct)
Sequential Decoding of Tailbiting Convolutional Codes for Hybrid ARQ.. - Orten (1999)   (Correct)
NP-SPEC: An Executable Specification Language for Solving All.. - Cadoli, Palopoli, Schaerf, Vasile (1999)   (Correct)
YAC: Yet Another Computation Model of Self-Assembly - Yokomori (1999)   (Correct)
Register Pressure Sensitive Redundancy Elimination - Gupta, Bodík (1999)   (Correct)
Sequential Decoding of Tailbiting Convolutional Codes for Packet Data .. - Orten (1999)   (Correct)
Geometric Methods to Solve Max-Ordering Location Problems - Ehrgott, Hamacher, Nickel (1999)   (Correct)
Mining Optimized Support Rules for Numeric Attributes - Rastogi, Shim (1999)   (Correct)
Preferred Arguments are Harder to Compute than Stable Extensions - Dimopoulos, Nebel, Toni (1999)   (Correct)
Multiresolution Phase-Based Bidirectional Stereo Matching With.. - Heping Pan (1999)   (Correct)
The Expected Size of Heilbronn's Triangles - Jiang, Li, Vitányi (1999)   (Correct)
On The Computational Hardness Of Testing Square-Freeness Of Sparse.. - Karpinski, Shparlinski (1999)   (Correct)
Tracking Control of a Pendulum using a Numerically Efficient State.. - Madhavan (1999)   (Correct)
A Comparative Study of Neural Network Based Feature Extraction.. - Lerner, Guterman, Aladjem, Dinstein (1999)   (Correct)
An Efficient Uniform-Cost Normalized Edit Distance Algorithm - Arslan, Egecioglu (1999)   (Correct)
Video Compression Using Matching Pursuits - Al-Shaykh, Miloslavsky, Nomura.. (1999)   (Correct)
Latent Semantic Indexing by Self-Organizing Map - Mokbel (1999)   (Correct)
Efficient Progressive Sampling - Foster Provost (1999)   (Correct)
Video compression with embedded wavelet coding and singularity maps - Noel, al. (1999)   (Correct)
Spatial-Temporal CDMA Receiver Structures for Rayleigh Fading Channels - Wang, Blostein (1999)   (Correct)
A Prediction-Verification Strategy for Object Recognition using Local .. - de Verdière, Crowley (1999)   (Correct)
On Generating Functions of Generating Trees - Banderier, Bousquet-Mélou.. (1999)   (Correct)
Partial Scan Using Multi-Hop State Reachability Analysis - Sameer Sharma (1999)   (Correct)
Average-Case Complexity of Shellsort - Jiang, Li, Vitanyi (1999)   (Correct)
Facial Feature Extraction using Deformable Graphs and Statistical.. - Ahlberg (1999)   (Correct)
Nonparametric Kernel Regression Subject To Monotonicity Constraints - Peter Hall (1999)   (Correct)
Non-automatizability of bounded-depth Frege proofs - Bonet, Domingo, Gavalda, Maciel.. (1999)   (Correct)
Hardware and Software Aspects for 3-D Wavelet Decomposition on Shared .. - Kutil, Uhl (1999)   (Correct)
Memory Efficient Scalable Line-based Image Coding - Ordentlich, Taubman, Weinberger.. (1999)   (Correct)
An introduction to hollow simplices - Sebo (1999)   (Correct)
Iterative Algorithms For Optimal State Estimation Of Jump Markov.. - Arnaud Doucet (1999)   (Correct)
Computational Indistinguishability: A Sample Hierarchy - Oded Goldreich (1999)   (Correct)
Graceful Degradation over Packet Erasure Channels through Forward.. - Mohr, Riskin, Ladner (1999)   (Correct)
Bounds on Pairs of Families with Restricted Intersections - Sgall (1999)   (Correct)
Initial Experiments in Stochastic Satisfiability - Littman (1999)   (Correct)
Spanning Tree Based State Encoding for Low Power Dissipation - Nöth, Kolla (1999)   (Correct)
On Functions And Curves Defined By Ordinary Differential Equations - Yakovenko (1999)   (Correct)
Algorithms and Programming Paradigms for 2-D Wavelet Packet.. - Feil, Uhl (1999)   (Correct)
Toward Scalability in ASL Recognition: Breaking Down Signs into.. - Vogler, Metaxas (1999)   (Correct)
An Fft-Based Algorithm For Multichannel Blind Deconvolution - Joho, Mathis, Moschytz (1999)   (Correct)
Optimal Patching Schemes for Efficient Multimedia Streaming - Sen, Gao, Rexford, Towsley (1999)   (Correct)
The Complexity of Problems Defined by Subclasses of Boolean Functions - Reith, Wagner (1999)   (Correct)
Local Reconfiguration Policies - Jonathan Millen (1999)   (Correct)
Molecular Dynamics Simulation On Commodity Shared-Memory.. - John Thornley (1999)   (Correct)
Homeomorphism of 2-complexes is equivalent to graph isomorphism. - Dunlaing, Watt, Wilkins (1999)   (Correct)
Randomized Kinodynamic Planning - LaValle, Kuffner, Jr. (1999)   (Correct)
Approximation Algorithms For Protein Folding Prediction - Mauri, Piccolboni, PAVESI (1999)   (Correct)
with Linear Cuts: Upper Bound Computation - Xiaoyun Zhu (1999)   (Correct)
Computational Complexity of Planning Without Sensing, Planning With.. - Chitta Baral (1999)   (Correct)
Quantum Computation and Shor's Factoring Algorithm - de Wolf (1999)   (Correct)
Interactive Acoustic Modeling of Complex Environments - Funkhouser, Carlbom, Elko, Pingali.. (1999)   (Correct)
Graph-Theoretic Clustering for Image Grouping and Retrieval - Aksoy, Haralick (1999)   (Correct)
Integrating Acoustic Echo Cancellation with Adaptive Beamforming.. - Kellermann (1999)   (Correct)
Multicomponent polynomial phase signal analysis using a tracking.. - Tichavsky, Händel (1999)   (Correct)
A Proposal for a High-Performance Active Hardware Architecture - Tilman Wolf (1999)   (Correct)
Canonical Space-Time Processing In Cdma Systems - Eko Onggosanusi (1999)   (Correct)
Design of a Genetic-Fuzzy System for Planning Crab Gaits of a.. - Pratihar, Deb, Ghosh (1999)   (Correct)
A Programmable ANSI C Transformation Engine - Boekhold, Karkowski, Corporaal, Cilio (1999)   (Correct)
Approximating The Complexity Measure Of Vavasis-Ye Algorithm Is.. - Levent Tun (1999)   (Correct)
Path Planning and Flight Controller Scheduling for an Autonomous.. - Egerstedt Koo (1999)   (Correct)
Fast Block-Matching Algorithms for High-Resolution Video Compression - Hufnagl, Uhl (1999)   (Correct)
Implementation and Performance Improvement of the Evaluation of a Two .. - Burke, Kendall (1999)   (Correct)
Complexity and expressive power of logic programming - Dantsin, Eiter, Gottlob, Voronkov (1999)   (Correct)
Deterministic Job-Shop Scheduling: Past, Present and Future - Jain, Meeran (1998)   (Correct)
Global Optimization Approaches in Protein Folding and Peptide Docking - Floudas, Klepeis, Pardalos (1998)   (Correct)
Algebraic Methods for Deterministic Blind Beamforming - van der Veen (1998)   (Correct)
On models, criteria and search strategies for motion estimation in.. - Stiller, Konrad (1998)   (Correct)
A Multifractal Wavelet Model with Application to Network Traffic - Riedi, Crouse, Ribeiro, Baraniuk (1998)   (Correct)
Preconditioning and Parallel Preconditioning - Duff, van der Vorst (1998)   (Correct)
Selected Topics in Computational Biology - DasGupta, Wang (1998)   (Correct)
Models of Computation for Embedded System Design - Lavagno, Sangiovanni-Vincentelli.. (1998)   (Correct)
Computational Model Theory: An Overview - Vardi (1998)   (Correct)
Generalized Quantifiers in Computational Complexity Theory - Vollmer (1998)   (Correct)
Expressive Power of Declarative Programming Languages - Matsushita (1998)   (Correct)
Statistical Reconstruction And Analysis Of Autoregressive Signals In.. - Godsill, Rayner (1998)   (Correct)
On The Complexity Of Computing Mixed Volumes - Dyer, Gritzmann, Hufnagel (1998)   (Correct)
Temporal Reasoning and Constraint Programming - A Survey - Gennari (1998)   (Correct)
A Survey on Knowledge Compilation - Cadoli, Donini (1998)   (Correct)
Asymptotic Results for Multiplexing Subexponential On-Off Processes - Jelenkovic, Lazar (1998)   (Correct)
Ordered Binary Decision Diagrams and Their Significance in.. - Meinel, Theobald (1998)   (Correct)
Probabilistic and Truth-Functional Many-Valued Logic Programming - Thomas Lukasiewicz (1998)   (Correct)
Formalising the Common Sense of a Mobile Robot - Santos (1998)   (Correct)
A Beam Tracing Approach to Acoustic Modeling for Interactive Virtual.. - Funkhouser, Carlbom, Elko, Pingali.. (1998)   (Correct)
Probabilistic Verification of Proofs - Sudan (1998)   (Correct)
Forecasting Financial Time Series with Correlation Matrix Memories.. - Kustrin (1998)   (Correct)
A Scalable Self-organizing Map Algorithm for Textual Classification.. - Roussinov (1998)   (Correct)
Complexity Issues in Markov Decision Processes - Goldsmith, Mundhenk (1998)   (Correct)
Pseudorandom generators without the XOR Lemma - Sudan, Trevisan, Vadhan (1998)   (Correct)
Improving the Generalized Hough Transform Through Imperfect Grouping - Olson (1998)   (Correct)
Graph Nonisomorphism Has Subexponential Size Proofs Unless The.. - Klivans, van Melkebeek (1998)   (Correct)
Computing Distances between Evolutionary Trees - DasGupta, He, Jiang, Li, Tromp.. (1998)   (Correct)
Multiple Description Wavelet Based Image Coding - Sergio Servetto (1998)   (Correct)
A Region-Based Representation of Images in MARS - Servetto, Rui, Ramchandran, Huang (1998)   (Correct)
The Decidability of Simultaneous Rigid E-Unification with One Variable - Degtyarev, Gurevich, Narendran.. (1998)   (Correct)
On the Decidability of Query Containment under Constraints - Calvanese, De Giacomo, Lenzerini (1998)   (Correct)
Image representations using multiscale differential operators - Yu-Ping (1998)   (Correct)
Minimax Emission Computed Tomography using High Resolution Anatomical .. - Hero, Piramuthu, Fessler, Titus (1998)   (Correct)
Smoothness estimates for soft-threshold denoising via translation.. - Berkner, Wells, Jr. (1998)   (Correct)
Many-Valued First-Order Logics with Probabilistic Semantics - Thomas Lukasiewicz (1998)   (Correct)
Performance Analysis for Mesh and Mesh-Spectral Archetype Applications - Rifkin, Massingill (1998)   (Correct)
Matching Hierarchical Structures Using Association Graphs - Pelillo, Siddiqi, Zucker (1998)   (Correct)
Image Classification by a Two Dimensional Hidden Markov Model - Li, Najmi, Gray (1998)   (Correct)
Typability and Type Checking in System F Are Equivalent and.. - Wells (1998)   (Correct)
Efficient and Reliable Schemes for Nonlinear Diffusion Filtering - Weickert, Romeny, Viergever (1998)   (Correct)
The Disk-Covering Method for Tree Reconstruction - Huson, Nettles, Parida, Warnow.. (1998)   (Correct)
NP Might Not Be As Easy As Detecting Unique Solutions - Beigel, Buhrman, Fortnow (1998)   (Correct)
Sequential Monte Carlo Methods for Dynamic Systems - Liu, Chen (1998)   (Correct)
Wavelet Analysis of Long Range Dependent Traffic - Abry, Veitch (1998)   (Correct)
Evaluating the Overheads of Source-Directed Quality-of-Service Routing - Shaikh, Rexford, Shin (1998)   (Correct)
Domain Expertise vs. Validation Expertise: Essentials of Validating.. - Jantke (1998)   (Correct)
High Performance Computing Algorithms for Land Cover Dynamics Using.. - Kalluri, JáJá, Bader, Zhang.. (1998)   (Correct)
Task Decomposition and Module Combination Based on Class Relations: A .. - Lu, Ito (1998)   (Correct)
Constrained Hough Transforms for Curve Detection - Olson (1998)   (Correct)
A Correlation-Dependent Model for Denoising via Nonorthogonal Wavelet .. - Berkner, Wells, Jr. (1998)   (Correct)
Extracting All the Randomness from a Weakly Random Source - Vadhan (1998)   (Correct)
Navigating through Triangle Meshes Implemented as Linear Quadtrees - Lee, Samet (1998)   (Correct)
The Computational Complexity of Knot and Link Problems - Hass, Lagarias, Pippenger (1998)   (Correct)
Randomized Naming Using Wait-Free Shared Variables - Panconesi, Papatriantafilou, Tsigas (1998)   (Correct)
Practical and proven zero-knowledge constant round variants of GQ and .. - Desmedt, Kurosawa (1998)   (Correct)
Efficient Algorithms for Robust Feature Matching - Mount, Netanyahu, Le Moigne (1998)   (Correct)
Incremental Distance Join Algorithms for Spatial Databases - Gsli Hjaltason (1998)   (Correct)
Quantum Computing - Shor (1998)   (Correct)
Variational probabilistic inference and the QMR-DT database - Jaakkola, Jordan (1998)   (Correct)
On Computing Local and Global Similarity in Images - Manmatha Ravela (1998)   (Correct)
Enhanced Cell-Centered Finite Differences For Elliptic Equations On.. - Arbogast, Dawson, Keenan, Wheeler.. (1998)   (Correct)
Computational Sample Complexity - Decatur, Goldreich, Ron (1998)   (Correct)
Constructions of Near-Optimal Extractors Using Pseudo-Random.. - Trevisan (1998)   (Correct)
Parallel beta reduction is not elementary recursive - Asperti, Mairson (1998)   (Correct)
Local Constraints vs. Local Economy - Johnson, Lappin (1998)   (Correct)
Chinese Remaindering with Errors - Goldreich, Ron, Sudan (1998)   (Correct)
Level Set Methods, with an Application to Modeling the Growth of Thin .. - Merriman, Caflisch, Osher (1998)   (Correct)
Computing Bisimulations for Stochastic Process Algebras using.. - Hermanns, Siegle (1998)   (Correct)
Computational Complexity of Temporal Constraint Problems - Drakengren, Jonsson (1998)   (Correct)
A Simple Heuristic Based Genetic Algorithm for the Maximum Clique.. - Marchiori (1998)   (Correct)
On the Computation Power of Randomized Branching Programs - Karpinski (1998)   (Correct)
Efficient Fair-Queueing Algorithms for Packet-Switched Networks - Stiliadis, Varma (1998)   (Correct)
Shape Similarity Matching for Query-by-Example - Günsel, Tekalp (1998)   (Correct)
Efficient Global Illumination Using Compactly supported Overlapping.. - Godavarthy, Huntsberger (1998)   (Correct)
Exact And Approximate Nondeterministic Tree-Search Procedures For The .. - Maniezzo (1998)   (Correct)
Resource Bounded Measure and Learnability - Lindner, Schuler, Watanabe (1998)   (Correct)
Efficient Lossless Coding Of Medical Image Volumes Using Reversible.. - Bilgin, Zweig, Marcellin (1998)   (Correct)
Multiplexing VBR Traffic Flows with Guaranteed Application-level QoS.. - Atlas, Bestavros (1998)   (Correct)
Constructing Constraints - Jeavons (1998)   (Correct)
A perceptual organization approach to contour estimation via.. - Casadei, Mitter (1998)   (Correct)
Mesh Partitioning for Distributed Systems - Jian Chen (1998)   (Correct)
Greedy Algorithms in Datalog with Choice and Negation - Greco, Zaniolo (1998)   (Correct)
What's Up with Downward Collapse: Using the Easy-Hard Technique to.. - Hemaspaandra, Hemaspaandra, Hempel (1998)   (Correct)
Conclusions and Future Work - This Chapter (1998)   (Correct)
Combining low-frequency and spread spectrum watermarking - Fridrich (1998)   (Correct)

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