Home     Top: Theory    Subtopics:   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.

881.8   Unification theory - Baader, Snyder (1999)   (Correct)
843.4   Experiments with a New Boosting Algorithm - Freund, Schapire (1996)   (Correct)
684.0   Reinforcement Learning: A Survey - Leslie Pack Kaelbling, Michael L.. (1996)   (Correct)
668.0   Pizza into Java: Translating theory into practice - Odersky (1997)   (Correct)
485.1   Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997)   (Correct)
472.3   Cluster-Based Scalable Network Services - Fox, Gribble, Chawathe, Brewer.. (1997)   (Correct)
400.0   Random Graphs - Janson (2000)   (Correct)
353.0   An Introduction to Least Commitment Planning - Weld (1994)   (Correct)
345.6   The Temporal Logic of Actions - Lamport (1994)   (Correct)
336.2   TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995)   (Correct)
302.1   An Equivalence Between Sparse Approximation and Support Vector.. - Girosi (1997)   (Correct)
288.2   Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz (1991)   (Correct)
286.9   On The Acceptability Of Arguments And Its Fundamental Role In.. - Dung (1995)   (Correct)
276.5   Cooperative Mobile Robotics: Antecedents and Directions - Cao, Fukunaga, Kahng (1997)   (Correct)
272.7   Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999)   (Correct)
264.1   Scheduling Multithreaded Computations by Work Stealing - Blumofe, Leiserson (1994)   (Correct)
263.8   Going Beyond the Sandbox: An Overview of the New Security.. - Gong, Mueller, Prafullchandra.. (1997)   (Correct)
263.6   Practical Threshold Signatures - Shoup (1999)   (Correct)
252.1   Typing and Subtyping for Mobile Processes - Pierce, Sangiorgi (1996)   (Correct)
238.2   Multiagent Systems: A Survey from a Machine Learning Perspective - Stone, Veloso (1997)   (Correct)
228.8   A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1993)   (Correct)
227.2   Connection Scheduling in Web Servers - Crovella, Frangioso, Harchol-Balter (1999)   (Correct)
227.1   Operations for Learning with Graphical Models - Buntine (1994)   (Correct)
225.5   Two Algorithms for Nearest-Neighbor Search in High Dimensions - Kleinberg (1997)   (Correct)
222.2   Actions with Indirect Effects - Kartha, Lifschitz (1994)   (Correct)
221.2   Proving Java Type Soundness - Syme (1997)   (Correct)
204.1   Nonholonomic Motion Planning: Steering Using Sinusoids - Murray (1993)   (Correct)
197.1   Exploiting Process Lifetime Distributions for Dynamic Load Balancing - Harchol-Balter, Downey (1996)   (Correct)
191.3   Typed Closure Conversion - Minamide, Morrisett, Harper (1996)   (Correct)
185.5   Reasoning about Termination of Pure Prolog Programs - Apt, al. (1993)   (Correct)
182.9   A Historical Application Profiler for Use by Parallel Schedulers - Gibbons (1997)   (Correct)
181.4   A congruence theorem for structured operational semantics with.. - Baeten, Verhoef (1993)   (Correct)
180.2   An Overview of Wavelet Based Multiresolution Analyses - Jawerth, Sweldens (1994)   (Correct)
179.7   An Improvement of McMillan's Unfolding Algorithm - Esparza, Römer, Vogler (1996)   (Correct)
178.7   Learning Topological Maps with Weak Local Odometric Information - Shatkay, Kaelbling (1997)   (Correct)
178.7   Small Forwarding Tables for Fast Routing Lookups - Degermark, Brodnik, Carlsson, Pink (1997)   (Correct)
173.1   A New Theory of Deadlock-Free Adaptive Routing in Wormhole Networks - Duato (1993)   (Correct)
169.0   Simple Type-Theoretic Foundations For Object-Oriented Programming - Pierce, Turner (1993)   (Correct)
159.9   Improving The Run Time And Quality Of Nested Dissection Ordering - Hendrickson, Rothberg (1998)   (Correct)
157.4   Approximation Techniques for Average Completion Time Scheduling - Chekuri, Motwani, Natarajan, Stein (1997)   (Correct)
157.4   Formal Models Of Web Queries - Mendelzon (1997)   (Correct)
156.7   On the Convergence of Stochastic Iterative Dynamic Programming.. - Jaakkola, Jordan, Singh (1993)   (Correct)
153.1   Modularity for Timed and Hybrid Systems - Alur, Henzinger (1997)   (Correct)
153.1   A Foundation for Multi-Dimensional Databases - Gyssens, Lakshmanan (1997)   (Correct)
151.7   Reinforcement Learning with Perceptual Aliasing: The Perceptual.. - Chrisman (1992)   (Correct)
150.7   Intelligent Agents: An Emerging Technology for Next Generation.. - Magedanz, Rothermel, Krause (1996)   (Correct)
145.6   Knowledge-Based Artificial Neural Networks - Towell, Shavlik (1994)   (Correct)
140.4   How to Sign Digital Streams - Gennaro, Rohatgi (1997)   (Correct)
138.2   Records for Logic Programming - Smolka, Treinen (1994)   (Correct)
137.1   A statically safe alternative to virtual types - Bruce, Odersky, Wadler (1998)   (Correct)
136.3   Asymptotic Controllability Implies Feedback Stabilization - Clarke, Ledyaev, Sontag, Subbotin (1999)   (Correct)
136.1   SenseMaker: An Information-Exploration Interface Supporting the. . . - Baldonado, al. (1997)   (Correct)
133.3   Adversarial Queueing Theory - Kleinberg (1996)   (Correct)
130.4   Incremental Multi-Step Q-Learning - Peng, Williams (1996)   (Correct)
128.3   A Multiple-Conclusion Meta-Logic - Miller (1994)   (Correct)
127.6   Hybrid Probabilistic Programs - Dekhtyar, Subrahmanian (1997)   (Correct)
124.6   Conjugate Gradient Methods for Toeplitz Systems - Chan, Ng (1996)   (Correct)
123.4   Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)   (Correct)
123.4   Bucket Hashing and its Application to Fast Message Authentication - Rogaway (1997)   (Correct)
119.9   A Discrete Lagrangian-Based Global-Search Method for Solving.. - Wah, Shang (1998)   (Correct)
119.9   Support Vector Machine Reference Manual - Saunders, Stitson, Weston, Bottou.. (1998)   (Correct)
119.9   Support Vector Machine - Reference Manual - Saunders, Stitson, Weston, Bottou.. (1998)   (Correct)
119.1   Knowledge Compilation Using Horn Approximations - Selman, Kautz (1991)   (Correct)
118.8   Symmetric primal-dual path following algorithms for semidefinite.. - Sturm, Zhang (1995)   (Correct)
116.0   Building Interpreters by Composing Monads - Steele, Jr. (1994)   (Correct)
115.9   A Maximum Entropy Approach to Adaptive Statistical Language Modeling - Rosenfeld (1996)   (Correct)
114.8   Learning Dynamic Bayesian Networks - Ghahramani (1997)   (Correct)
114.2   Rounding via Trees: Deterministic Approximation Algorithms for Group.. - Charikar, Chekuri, Goel, Guha (1998)   (Correct)
113.7   Competitive Algorithms for Distributed Data Management - Bartal, Fiat, Rabani (1992)   (Correct)
113.0   A Linear-Time Algorithm for Computing the Memory Access Sequence in.. - Kennedy, Nedeljkovic, Sethi (1995)   (Correct)
113.0   Short Wavelets and Matrix Dilation Equations - Strang, Strela (1995)   (Correct)
111.1   Minorization Conditions and Convergence Rates for Markov Chain Monte.. - Rosenthal (1994)   (Correct)
109.2   Issues in Evolutionary Robotics - Harvey, Husbands, Cliff (1993)   (Correct)
105.1   Efficient On-Line Call Control Algorithms - Garay, Gopal, Kutten, Mansour, Yung (1993)   (Correct)
104.4   Hard Real-Time Scheduling: The Deadline-Monotonic Approach - Audsley, Burns, Richardson, Wellings (1991)   (Correct)
104.3   Compiling Haskell by program transformation: a report from the.. - Jones (1996)   (Correct)
102.1   Distributed Processes and Location Failures - Riely (1997)   (Correct)
101.4   Disjoint Paths in Densely Embedded Graphs - Kleinberg, Tardos (1995)   (Correct)
100.5   Well-Founded Semantics Coincides with Three-Valued Stable Semantics - Przymusinski (1990)   (Correct)
99.9   Inter-Class Resource Sharing using Statistical Service Envelopes - Jing-Yu Qiu (1999)   (Correct)
99.9   As Soon as Possible: Time Optimal Control for Timed Automata - Asarin, Maler (1999)   (Correct)
98.5   Distributed Packet Switching in Arbitrary Networks - Rabani, Tardos (1996)   (Correct)
97.1   On a Multi-Objective Evolutionary Algorithm and Its Convergence to.. - Günter Rudolph (1998)   (Correct)
96.9   A Spatial Model of Interaction in Large Virtual Environments - Benford, Fahlén (1993)   (Correct)
95.6   Admission Control and Routing in ATM Networks using Inferences from.. - Courcoubetis, Kesidis, Ridder.. (1995)   (Correct)
94.8   Parametric Real-time Reasoning - Alur, Henzinger, Vardi (1993)   (Correct)
92.7   Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996)   (Correct)
92.7   The WALRAS Algorithm: A Convergent Distributed Implementation of.. - Cheng, Wellman (1996)   (Correct)
92.7   On Convergence Properties of the EM Algorithm for Gaussian Mixtures - Xu, Jordan (1996)   (Correct)
92.7   COLLAGEN: When Agents Collaborate with People - Rich, Sidner (1996)   (Correct)
92.7   Optimal Prefetching via Data Compression - Vitter, Krishnan (1995)   (Correct)
92.7   An Experimental Comparison of the Nearest-Neighbor and.. - Wettschereck, Dietterich (1995)   (Correct)
92.7   An Efficient Probabilistic Context-Free Parsing Algorithm that.. - Stolcke (1995)   (Correct)
91.4   Fitness and the selective adaptation of language - Kirby (1998)   (Correct)
89.8   Software Transactional Memory - Shavit (1995)   (Correct)
89.8   Studies in Secure Multiparty Computation and Applications - Canetti (1995)   (Correct)
89.6   Deception Considered Harmful - Grefenstette (1992)   (Correct)
88.8   A General Result on the Stabilization of Linear Systems Using Bounded .. - Sussmann, Sontag, Yang (1994)   (Correct)
87.9   Extendible Approach For Analysing Fixed Priority Hard Real-Time Tasks - Tindell (1992)   (Correct)
86.9   A Computational Market Model for Distributed Configuration Design - Wellman (1995)   (Correct)
85.7   Design Principles for Intelligent Environments - Coen (1998)   (Correct)
85.1   The Saphira Architecture: A Design for Autonomy - Konolige, Myers, Ruspini, Saffiotti (1997)   (Correct)
85.1   Inductive Analysis of the Internet Protocol TLS - Paulson (1997)   (Correct)
84.5   Logics and Type Systems - Geuvers (1993)   (Correct)
84.0   Tractable Reasoning via Approximation - Schaerf, Cadoli (1995)   (Correct)
83.0   On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985)   (Correct)
81.8   The Maximum Clique Problem - Bomze, Budinich, Pardalos, Pelillo (1999)   (Correct)
81.1   A Formal Framework for Agency and Autonomy - Luck, d'Inverno (1995)   (Correct)
80.8   Identifying Modules Via Concept Analysis - Siff (1997)   (Correct)
80.4   Tight Performance Bounds on Greedy Policies Based on Imperfect Value.. - Williams (1993)   (Correct)
79.9   Tackling Real-Coded Genetic Algorithms: Operators and Tools for.. - Herrera, Lozano, Verdegay (1998)   (Correct)
79.9   Improving the Mean Field Approximation via the Use of Mixture.. - Jaakkola, Jordan (1998)   (Correct)
79.9   Time-Stamping with Binary Linking Schemes - Buldas, Laud, Lipmaa, Villemson (1998)   (Correct)
79.4   On Non-Preemptive Scheduling of Periodic and Sporadic Tasks - Jeffay, Stanat, Martel (1991)   (Correct)
78.3   DRAFT Specification of the KQML Agent-Communication Language - Finin, Weber, Wiederhold.. (1993)   (Correct)
77.5   Efficient Exploration In Reinforcement Learning - Sebastian B. Thrun (1992)   (Correct)
76.5   Quantitative Analysis and Model Checking - Huth (1997)   (Correct)
76.5   User Modeling and Adaptive Navigation Support in WWW-Based Tutoring.. - Weber, Specht (1997)   (Correct)
76.5   Comprehension Syntax - Buneman, Libkin, Suciu, Tannen, Wong (1994)   (Correct)
75.3   Barrier Functions in Interior Point Methods - Guler (1996)   (Correct)
75.3   A Parallel Workload Model and Its Implications for Processor.. - Allen Downey (1996)   (Correct)
75.3   Interconnected Automata and Linear Systems: A Theoretical Framework.. - Sontag (1996)   (Correct)
75.3   Quantum Dynamics and Decompositions of Singular Continuous Spectra - Last (1995)   (Correct)
75.3   A Generalization of Analytic Deduction via Labelled Deductive Systems .. - D'Agostino, Gabbay (1995)   (Correct)
75.0   Higher-Order Logic Programming - Nadathur, Miller (1986)   (Correct)
74.2   Analysis of Low Density Codes and Improved Designs Using Irregular.. - Michael Luby (1998)   (Correct)
74.2   Proof-Checking a Data Link Protocol - Helmink, Sellink, Vaandrager (1993)   (Correct)
73.0   Wavelets on Closed Subsets of the Real Line - Andersson, Hall, Jawerth, Peters   (Correct)
72.7   A Perceptual Distortion Metric for Digital Color Video - Winkler (1999)   (Correct)
72.4   A Linear Logical Framework - Cervesato, Pfenning (1996)   (Correct)
72.3   Checking Assumptions in Component Dynamics at the Architectural Level - Inverardi, Wolf, Yankelevich (1997)   (Correct)
72.1   Introducing OBJ - Goguen, Winkler, Meseguer.. (1993)   (Correct)
71.8   Class-based n-gram models of natural language - Brown, Pietra, deSouza, Lai, Mercer (1990)   (Correct)
71.6   Parallel Sorting by Overpartitioning - Li, al (1994)   (Correct)
71.6   A Social Reasoning Mechanism Based On Dependence Networks - Sichman, Conte, Demazeau.. (1994)   (Correct)
70.6   Experimental Quantum Cryptography - Bennett, Bessette, Brassard.. (1992)   (Correct)
69.5   Evolutionary Robotics: the Sussex Approach - Harvey, Husbands, Cliff, Thompson.. (1996)   (Correct)
69.5   Scale-space Properties of the Multiscale Morphological.. - Jackway, Deriche (1996)   (Correct)
69.5   Towards a Theory of Cooperative Problem Solving - Wooldridge (1996)   (Correct)
69.5   Fast Approximation of Self-Similar Network Traffic - Paxson (1995)   (Correct)
69.5   Numerical Uncertainty Management in User and Student Modeling: An.. - Jameson (1995)   (Correct)
68.5   Reinventing the Familiar: Exploring an Augmented Reality Design Space .. - Wendy Mackay (1998)   (Correct)
68.0   Reconstructing Algebraic Functions from Mixed Data - Ar, Lipton, Rubinfeld, Sudan (1997)   (Correct)
68.0   Predicting Application Run Times Using Historical Information - Smith (1997)   (Correct)
67.0   Dynamic Typing in a Statically Typed Language - Abadi, Cardelli, Pierce, Plotkin (1989)   (Correct)
66.6   On-line Algorithms for Path Selection in a Nonblocking Network - Arora, Leighton, Maggs (1996)   (Correct)
66.6   Stability And Robustness For Hybrid Systems - Pettersson, Lennartson (1996)   (Correct)
65.5   Partial Orderings of Event Sets and Their Application to Prototyping.. - Luckham, Vera, Bryan, Augustin, Belz (1992)   (Correct)
64.1   A Comparison of Trace-Sampling Techniques for Multi-Megabyte Caches - Kessler, HIll, Wood (1994)   (Correct)
63.9   Explicit Polymorphism and CPS Conversion - Harper (1993)   (Correct)
63.9   A Simplified Account of Polymorphic References - Harper (1993)   (Correct)
63.8   Representations and Solutions for Game-Theoretic Problems - Koller, Pfeffer (1997)   (Correct)
63.8   Vertical Data Migration in Large Near-Line Document Archives Based on .. - Kraiss, Weikum (1997)   (Correct)
63.8   A Policy Based Role Object Model - Lupu, Sloman (1997)   (Correct)
63.8   Coding Dialogs with the DAMSL Annotation Scheme - Core, Allen (1997)   (Correct)
63.7   A Model for Secure Protocols and Their Compositions - Heintze, Tygar (1996)   (Correct)
63.7   From recombination of genes to the estimation of distributions: II.. - H. Mühlenbein, J. Bendisch, H.-M.. (1996)   (Correct)
63.7   Polytypic Pattern Matching - Jeuring (1995)   (Correct)
63.7   On the Hardness of Approximating MAX k-CUT and its Dual - Kann, Khanna, Lagergren, Panconesi (1995)   (Correct)
63.6   Efficient Progressive Sampling - Foster Provost (1999)   (Correct)
62.8   The Meaning and Role of Value in Scheduling Flexible Real-Time Systems - Burns, Prasad, Ramamritha, al. (1998)   (Correct)
62.8   Support Vector Machines for Classification and Regression - Gunn (1998)   (Correct)
62.8   The Regular Viewpoint on PA-Processes - Lugiez, Schnoebelen (1998)   (Correct)
62.8   Dynamically Adapting Kernels in Support Vector Machines - Cristianini, Campbell, Shawe-Taylor (1998)   (Correct)
62.8   The Architecture Of The Festival Speech Synthesis System - Taylor, Black, Caley (1998)   (Correct)
62.0   Generalization and Learnability: A Study of Constrained Atoms - Page, Jr., Frisch (1992)   (Correct)
62.0   Property Testing and its Connection to Learning and Approximation - Goldreich, Goldwasser, Ron   (Correct)
61.7   Wait-free Parallel Algorithms for the Union-Find Problem - Anderson, Woll (1994)   (Correct)
60.2   Programming with Intersection Types and Bounded Polymorphism - Pierce (1991)   (Correct)
60.2   A Record Calculus Based on Symmetric Concatenation - Harper, Pierce (1991)   (Correct)
60.2   Data Mining - The Search for Knowledge in Databases - Holsheimer, Siebes (1991)   (Correct)
59.2   Motion Estimation via Dynamic Vision - Soatto, Perona, Frezza, Picci (1994)   (Correct)
58.8   Preferential Semantics for Goals - Wellman, Doyle (1991)   (Correct)
57.9   Parametric Appearance Representation - Nayar, Murase (1996)   (Correct)
57.9   Learning First-Order Definitions of Functions - Quinlan (1996)   (Correct)
57.9   Direct Least Squares Fitting of Ellipses - Pilu, Fitzgibbon, Fisher (1996)   (Correct)
57.7   Applying Techniques to Skeletons - Sterling, Kirschenbaum (1993)   (Correct)
57.1   Jacobian Images of Super-Resolved Texture Maps for Model-Based Motion .. - Dellaert, Thrun, Thorpe (1998)   (Correct)
56.7   A Plan-Based Model for Response Generation in Collaborative.. - Chu-Carroll (1994)   (Correct)
56.7   Microprocessor Verification in PVS - A Methodology and Simple Example - Cyrluk (1994)   (Correct)
55.0   Measured Capacity of an Ethernet: Myths and Reality - Boggs, Mogul, Kent (1988)   (Correct)
54.3   Sequential Behavior and Learning in Evolved Dynamical Neural Networks - Yamauchi, Beer (1994)   (Correct)
54.3   Wavelet regression by cross-validation - Nason (1994)   (Correct)
52.9   Linear Approximation of Shortest Superstrings - Blum, Jiang, Li, Tromp, Yannakakis (1991)   (Correct)
51.8   Biconnectivity Approximations and Graph Carvings - Khuller, Vishkin (1994)   (Correct)
51.5   Statistical Foundations for Default Reasoning - Bacchus, Grove, Halpern, Koller (1993)   (Correct)
51.4   Hierarchical Universal Coding - Feder, Merhav (1998)   (Correct)
51.4   Random Constraint Satisfaction: theory meets practice - MacIntyre, Prosser, Smith, Walsh (1998)   (Correct)
51.0   Trilinear Tensor: The Fundamental Construct of Multiple-view Geometry .. - Shashua (1997)   (Correct)
51.0   Exposing the Skeleton in the Coordination Closet - Kramer, Magee (1997)   (Correct)
51.0   What is Wrong with GUIs for Theorem Provers? - Nicholas Merriam (1997)   (Correct)
51.0   Maintaining Unstructured Case Bases - Racine (1997)   (Correct)
51.0   Almost-Constant-Time Clustering of Arbitrary Corpus Subsets - Silverstein, Pedersen (1997)   (Correct)
50.0   The Uniform Memory Hierarchy Model of Computation - Alpern, Carter, Feig, Selker (1992)   (Correct)
49.4   String Variable Grammar: A Logic Grammar Formalism For The Biological .. - Searls (1993)   (Correct)
49.3   Learning to Reason - Khardon (1994)   (Correct)
49.2   Describing Motion for Recognition - Little, Boyd (1995)   (Correct)

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