Most cited source documents published in 1991 in the CiteSeer.Continuity database as of September 2006

This list only includes documents in the CiteSeer.Continuity database. Citations where one or more authors of the citing and cited articles match are not included. The data is automatically generated and may contain errors. The list is generated in batch mode and citation counts may differ from those currently in the CiteSeer.Continuity database, because the database is continuously updated.

CiteSeer.Continuity homepage   All years   1990   1991   1992   1993   1994   1995   1996   1997   1998   1999   2000   2001   2002   2003   2004   2005   2006

1.   Intelligence Without Representation - Brooks (1991)   (Correct)
Artificial intelligence research has foundered on the issue of representation. When intelligence is...

2.   Intelligence Without Reason - Brooks (1991)   (Correct)
Computers and Thought are the two categories that together define Artificial Intelligence as a discipline. It...

3.   Efficiently Computing Static Single Assignment Form and the Control.. - Cytron, Ferrante, Rosen, Wegman.. (1991)   (Correct)
This paper thus presents strong evidence that these structures can be of practical use in optimization.

4.   Implementation and Performance of Munin - Carter, Bennett, Zwaenepoel (1991)   (Correct)
Munin is a distributed shared memory (DSM) system that allows shared memory parallel programs to be executed...

5.   The Cascade-Correlation Learning Architecture - Fahlman, Lebiere (1991)   (Correct)
Cascade-Correlation is a new architecture and supervised learning algorithm for artificial neural networks....

6.   The Design and Implementation of a Log-Structured File System - Rosenblum, Ousterhout (1991)   (Correct)
This paper presents a new technique for disk storage management called a log-structured file system. A...

7.   Object Management Group - Object Management (1991)   (Correct)
this document. Clarification of Responses

8.   Where the REALLY Hard Problems Are - Cheeseman, Kanefsky, Taylor (1991)   (Correct)
It is well known that for many NP-complete problems, such as K-Sat, etc., typical cases are easy to solve; so...

9.   Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz (1991)   (Correct)
An important limitation of traditional logic programming as a knowledge representation tool, in comparison...

10.   Measurements of a Distributed File System - John (1991)   (Correct)
We analyzed the user-level file access patterns and caching behavior of the Sprite distributed file system....

11.   The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross, Schlipf (1991)   (Correct)
A general logic program (abbreviated to "program" hereafter) is a set of rules that have both positive and...

12.   Modeling Rational Agents within a BDI-Architecture - Rao, Georgeff (1991)   (Correct)
Intentions, an integral part of the mental state of an agent, play an important role in determining the...

13.   Non-Malleable Cryptography - Dolev, Dwork, Naor (1991)   (Correct)
The notion of non-malleable cryptography, an extension of semantically secure cryptography, is defined....

14.   An Object Calculus for Asynchronous Communication - Honda, Tokoro (1991)   (Correct)
This paper presents a formal system based on the notion of objects and asynchronous communication. Built on...

15.   Revised^4 Report on the Algorithmic Language Scheme - Clinger, (ed.), Rees, (ed.).. (1991)   (Correct)
A very small language can be both practical and incredibly expressive

16.   Transparent Process Migration: Design Alternatives and the Sprite.. - Douglis (1991)   (Correct)
This paper appeared in Software--Practice & Experience, 21(8):757--785, August 1991.

17.   Tolerating Latency Through Software-Controlled Prefetching in.. - Mowry, Gupta (1991)   (Correct)
The large latency of memory accesses is a major obstacle in obtaining high processor utilization in large...

18.   The Existence of Refinement Mappings - Mart'in Abadi And (1991)   (Correct)
Refinement mappings are used to prove that a lower-level specification correctly implements a higher-level...

19.   The Generative Lexicon - Pustejovsky (1991)   (Correct)
this paper, I will discuss four major topics relating to current research in lexical semantics: methodology,...

20.   Bayesian Interpolation - MacKay (1991)   (Correct)
Although Bayesian analysis has been in use since Laplace, the Bayesian method of model--comparison has only...

21.   QMR: a Quasi-Minimal Residual Method for Non-Hermitian Linear Systems - Freund, Nachtigal (1991)   (Correct)
this paper, we present a novel BCGlike approach, the quasi-minimal residual (QMR) method, which overcomes the...

22.   Systematic Nonlinear Planning - McAllester, Rosenblitt (1991)   (Correct)
This paper presents a simple, sound, complete, and systematic algo- rithm for domain independent STRIPS...

23.   A Logic Programming Language with Lambda-Abstraction, Function.. - Miller (1991)   (Correct)
ion, Function Variables, and Simple Unification Dale Miller Department of Computer and Information Science...

24.   Logic Programming in a Fragment of Intuitionistic Linear Logic.. - Hodas, Miller (1991)   (Correct)
Joshua S. Hodas Dale Miller Computer Science Dept. LFCS, Computer Science Dept. University of Pennsylvania...

25.   Linear Objects: logical processes with built-in inheritance - Andreoli, Pareschi (1991)   (Correct)
We present a new framework for amalgamating two successful programming paradigms: logic programming and...

26.   Non-Deterministic Exponential Time Has Two-Prover Interactive.. - Babai, Fortnow, Lund (1991)   (Correct)
We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser,...

27.   A Control-Theoretic Approach to Flow Control - Keshav (1991)   (Correct)
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve...

28.   The synchronous dataflow programming language LUSTRE - Halbwachs, Caspi, Raymond, Pilaud (1991)   (Correct)
This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming...

29.   IP-based Protocols for Mobile Internetworking - Ioannidis, Duchamp, Maguire, Jr. (1991)   (Correct)
We consider the problem of providing network access to hosts whose physical location changes with time. Such...

30.   Multicast Extensions to OSPF - Moy (1991)   (Correct)
This memo documents enhancements to the OSPF protocol enabling the routing of IP multicast datagrams. In ...

31.   Semantic Foundations of Concurrent Constraint Programming - Saraswat, Rinard, Panangaden (1991)   (Correct)
Concurrent constraint programming [Sar89,SR90] is a simple and powerful model of concurrent computation based...

32.   Revised^3 Report on the Algorithmic Language Scheme - Rees, (ed.), Clinger, (ed.).. (1991)   (Correct)
A very small language can be both practical and incredibly expressive

33.   Internet Time Synchronization: the Network Time Protocol - Mills (1991)   (Correct)
This paper describes the Network Time Protocol (NTP), which is designed to distribute time information in a...

34.   Connections with Multiple Congested Gateways in Packet-Switched.. - Floyd (1991)   (Correct)
In a previous paper [F91] we explored the bias in TCP/IP networks against connections with multiple ...

35.   Connections with Multiple Congested Gateways in Packet-Switched.. - Floyd (1991)   (Correct)
In this paper we explore the bias in TCP/IP networks against connections with multiple congested gateways. We...

36.   Performance of Various Computers Using Standard Linear Equations.. - Dongarra (1991)   (Correct)
This report compares the performance of different computer systems in solving dense systems of linear...

37.   Objects and Views - Abiteboul, Bonner (1991)   (Correct)
Object-oriented databases have been introduced primarily to ease the development of database applications....

38.   Automatic Programming of Behavior-based Robots using Reinforcement.. - Mahadevan, Connell (1991)   (Correct)
Learning techniques can learn individual behaviors and speedup can be gained by breaking complex tasks.

39.   Spawn: A Distributed Computational Economy - Waldspurger, Hogg, Huberman.. (1991)   (Correct)
Carl A. Waldspurger. Priority Flow: A framework for abstract, adaptive resource management. MIT LCS Parallel...

40.   A Robot Exploration and Mapping Strategy Based on a Semantic.. - Kuipers, Byun (1991)   (Correct)
this paper is to overcome the fragility of purely metrical methods. Several researchers use various types of...

41.   A Correspondence Theory for Terminological Logics: Preliminary Report - Schild (1991)   (Correct)
We show that the terminological logic ALC comprising Boolean operations on concepts and value restrictions is...

42.   The Design and Use of Steerable Filters - Freeman, Adelson (1991)   (Correct)
Oriented filters are useful in many early vision and image processing tasks. One often needs to apply the...

43.   A Comparison of Sorting Algorithms for the Connection Machine CM-2 - Blelloch, Leiserson, Maggs, Plaxton, .. (1991)   (Correct)
We have implemented three parallel sorting algorithms on the Connection Machine Supercomputer model CM-2:...

44.   The Complexity of Concept Languages - Donini, Lenzerini, Nardi, Nutt (1991)   (Correct)
A basic feature of Terminological Knowledge Representation Systems is to represent knowledge by means of...

45.   Living with CLASSIC: When and How to Use a KL-ONE-Like Language - Brachman, McGuinness.. (1991)   (Correct)
classic is a recently-developed knowledge representation system that follows the paradigm originally set out...

46.   The x-Kernel: An Architecture for Implementing Network Protocols - Hutchinson, Peterson (1991)   (Correct)
This paper describes a new operating system kernel, called the x-kernel, that provides an explicit...

47.   The MIT Alewife Machine: A Large-Scale Distributed-Memory.. - Agarwal, Chaiken, Johnson, Kranz.. (1991)   (Correct)
The Alewife multiprocessor project focuses on the architecture and design of a large-scale parallel machine....

48.   Scanning Polyhedra with DO Loops - Ancourt, Irigoin (1991)   (Correct)
Supercompilers perform complex program transformations which often result in new loop bounds. This paper...

49.   Finite Element Methods for Active Contour Models and Balloons for 2D.. - Cohen, Cohen (1991)   (Correct)
The use of energy-minimizing curves, known as "snakes" to extract features of interest in images has been...

50.   Comparison of Rate-Based Service Disciplines - Zhang, Keshav (1991)   (Correct)
This paper compares six new queue service disciplines that can be implemented at the output queues of...

51.   Data Model and Query Evaluation in Global Information Systems - Levy, Srivastava, Kirk (1991)   (Correct)
Global information systems involve a large number of information sources distributed over computer...

52.   Visibility Preprocessing For Interactive Walkthroughs - Seth Teller Carlo (1991)   (Correct)
The number of polygons comprising interesting architectural models is many more than can be rendered at...

53.   The Plenoptic Function and the Elements of Early Vision - Adelson, Bergen (1991)   (Correct)
experiment. Electrophysiologists have described neurons in striate cortex that are selectively sensitive to...

54.   Graph Drawing by Force-directed Placement - Fruchterman, Reingold (1991)   (Correct)
this paper, we introduce an algorithm that attempts to produce aesthetically-pleasing, two-dimensional...

55.   Observations on the Dynamics of a Congestion Control Algorithm: The.. - Zhang, Shenker, Clark (1991)   (Correct)
We use simulation to study the dynamics of the congestion control algorithm embedded in the BSD 4.3-Tahoe TCP...

56.   Standard ML of New Jersey - Appel, MacQueen (1991)   (Correct)
The Standard ML of New Jersey compiler has been under development for five years now. We have developed a...

57.   Deriving Production Rules for Incremental View Maintenance - Ceri, Widom (1991)   (Correct)
It is widely recognized that production rules in database systems can be used to automatically maintain...

58.   Differential Cryptanalysis attacks - Biham, Shamir (1991)   (Correct)
The Data Encryption Standard (DES) is the best known and most widely used cryptosystem for civilian...

59.   Checking Computations in Polylogarithmic Time - Babai, Fortnow, Levin, Szegedy (1991)   (Correct)
Motivated by Manuel Blum's concept of instance checking, we consider new, very fast and generic mechanisms...

60.   LimitLESS Directories: A Scalable Cache Coherence Scheme - Chaiken, Kubiatowicz, Agarwal (1991)   (Correct)
Caches enhance the performance of multiprocessors by reducing network traffic and average memory access...

61.   PROTEUS: A High-Performance Parallel-Architecture Simulator - Brewer, Dellarocas, Colbrook, Weihl (1991)   (Correct)
PROTEUS is a high-performance simulator for MIMD multiprocessors. It is fast, accurate, and flexible: it is...

62.   Network Based Concurrent Computing on the PVM System - Geist, Sunderam (1991)   (Correct)
Concurrent computing environments based on loosely coupled networks have proven effective as resources for...

63.   Performance of Dynamic Load Balancing Algorithms for Unstructured.. - Williams (1991)   (Correct)
If a finite element mesh has a sufficiently regular structure, it is easy to decide in advance how to...

64.   Logic Programming in the LF Logical Framework - Pfenning (1991)   (Correct)
this paper we describe Elf, a meta-language intended for environments dealing with deductive systems...

65.   A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson, Plotkin (1991)   (Correct)
We study some of the concepts, protocols, and algorithms for access control in distributed systems, from a...

66.   Easy Problems for Tree-Decomposable Graphs - Arnborg, Lagergren (1991)   (Correct)
this paper are (i) a construction by which, for a given bounded treewidth, a general MS graph property P is...

67.   A Program for Aligning Sentences in Bilingual Corpora - William Gale Kenneth (1991)   (Correct)
This paper will describe a method and a program (align) for aligning sentences based on a simple statistical...

68.   How to Time-stamp a Digital Document - Haber, Stornetta (1991)   (Correct)
The prospect of a world in which all text, audio, picture, and video documents are in digital form on easily...

69.   Using Program Slicing in Software Maintenance - Gallagher, Lyle (1991)   (Correct)
Program slicing, introduced by Weiser, is known to help programmers in understanding foreign code and in...

70.   Object-Oriented Type Inference - Palsberg, Schwartzbach (1991)   (Correct)
We present a new approach to inferring types in untyped object-oriented programs with inheritance,...

71.   International Organization for Standardization Interoperability of.. - Iso Iec (1991)   (Correct)
This document is organized in four sections, covering general issues and the main areas mentioned above....

72.   International Organization For Standardization Organisation.. - Iso Iec Jtc (1991)   (Correct)
This document reports on the core experiment on an MPEG-7 DS for Packages and the study of issues of root...

73.   The Kerberos Network Authentication Service - Kohl, Neuman (1991)   (Correct)
This DRAFT document gives an overview and specification of the Version 5 protocol for the Kerberos network...

74.   Nonmonotonic Reasoning in the Framework of Situation Calculus - Baker (1991)   (Correct)
Most of the solutions proposed to the Yale shooting problem have either introduced new nonmonotonic reasoning...

75.   Updatable Views in Object-Oriented Databases - Scholl, Laasch, Tresch (1991)   (Correct)
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in...

76.   Dataflow Analysis of Array and Scalar References - Feautrier (1991)   (Correct)
Given a program written in a simple imperative language (assignment statements, for loops, affine indices...

77.   Type Inference with Polymorphic Recursion - Henglein (1991)   (Correct)
The Damas-Milner Calculus is the typed -calculus underlying the type system for ML and several other...

78.   The Induction of Dynamical Recognizers - Pollack (1991)   (Correct)
A higher order recurrent neural network architecture learns to recognize and generate languages after being...

79.   Fine-grain Parallelism with Minimal Hardware Support: A.. - Culler, Sah, Schauser, von Eicken.. (1991)   (Correct)
In this paper, we present a relatively primitive execution model for fine-grain parallelism, in which all...

80.   Ode as an Active Database: Constraints and Triggers - Gehani, Jagadish (1991)   (Correct)
this paper, after a quick introduction to O++ in Section 2, we state our design goals in providing trigger...

81.   Fitting Parameterized Three-Dimensional Models to Images - Lowe (1991)   (Correct)
Model-based recognition and motion tracking depends upon the ability to solve for projection and model...

82.   LaSSIE: a Knowledge-Based Software Information System - Devanbu, Brachman, Selfridge, Ballard (1991)   (Correct)
Invisibility is an inherent and significant problem in the task of developing large software systems. There...

83.   A Scheme for Integrating Concrete Domains into Concept Languages - Baader, Hanschke (1991)   (Correct)
A drawback which concept languages based on kl-one have is that all the terminological knowledge has to be...

84.   An Implementation of Interprocedural Bounded Regular Section Analysis - Havlak, Kennedy (1991)   (Correct)
Optimizing compilers should produce efficient code even in the presence of high-level language constructs....

85.   Stable Semantics for Disjunctive Programs - Przymusinski (1991)   (Correct)
We introduce the stable model semantics for disjunctive logic programs and deductive databases, which...

86.   Overview of the CHORUS Distributed Operating Systems - Rozier, Abrossimov, Armand, Boule.. (1991)   (Correct)
The CHORUS technology has been designed for building new generations of open, distributed, scalable operating...

87.   Learning With Many Irrelevant Features - Almuallim, Dietterich (1991)   (Correct)
In many domains, an appropriate inductive bias is the MIN-FEATURES bias, which prefers consistent hypotheses...

88.   The Vector Field Histogram - Fast Obstacle Avoidance For Mobile Robots - Borenstein, Koren (1991)   (Correct)
A new real-time obstacle avoidance method for mobile robots has been developed and implemented. This method,...

89.   What Every Computer Scientist Should Know About Floating Point.. - Goldberg (1991)   (Correct)
This paper presents a tutorial on those aspects of floating-point that have a direct impact on designers of...

90.   Reaching Agreement on Processor Group Membership in Synchronous.. - Cristian (1991)   (Correct)
Reaching agreement on the identity of correctly functioning processors of a distributed system in the...

91.   Competitive Paging Algorithms - Fiat, Karp, Luby, McGeoch, Sleator.. (1991)   (Correct)
The paging problem is that of deciding which pages to keep in a memory of k

92.   Midway: Shared Memory Parallel Programming with Entry Consistency for .. - Bershad, Zekauskas (1991)   (Correct)
Distributed memory multiprocessing offers a cost-effective and scalable solution for a large class of...

93.   Consistent Detection of Global Predicates - Cooper, Marzullo (1991)   (Correct)
This paper presents three algorithms for detecting global predicates in a well-defined way. These algorithms...

94.   IMPACT: An Architectural Framework for Multiple-Instruction-Issue.. - Chang, Mahlke, Chen, Warter, Hwu (1991)   (Correct)
The performance of multiple-instruction-issue processors can be severely limited by the compiler's ability to...

95.   Parsing By Chunks - Abney (1991)   (Correct)
Introduction I begin with an intuition: when I read a sentence, I read it a chunk at a time. For example, the...

96.   On The Relationship Between Abduction And Deduction - Console, DUPRE, TORASSO (1991)   (Correct)
this paper is at analyzing from various points of view the relationships betwee

97.   An Implementation of the Look-Ahead Lanczos Algorithm for.. - Freund, Gutknecht, Nachtigal (1991)   (Correct)
this paper is to present a robust implementation, including FORTRAN code, of the look-ahead Lanczos method...

98.   An Implementation of the Look-Ahead Lanczos Algorithm for.. - Freund, Nachtigal (1991)   (Correct)
this paper, we have presented an implementation of the look-ahead Lanczos algorithm for non-Hermitian...

99.   An Implementation of the Look-Ahead Lanczos Algorithm for.. - Freund, Gutknecht, Nachtigal (1991)   (Correct)
The nonsymmetric Lanczos method can be used to compute eigenvalues of large sparse non-Hermitian matrices...

100.   Logic Synthesis and Optimization Benchmarks User Guide Version 3.0 - Yang (1991)   (Correct)
This report is issued to provide documentation for the benchmark examples used in conjunction with the 1991...

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST