Most cited source documents 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.   Graph-Based Algorithms for Boolean Function Manipulation - Bryant (1986)   (Correct)
In this paper we present a new data structure for representing Boolean functions and an associated set of...

2.   Scheduling Algorithms for Multiprogramming in a Hard-Real-Time.. - Liu, Layland (1973)   (Correct)
The problem of multiprogram scheduling on a single processor is studied from the viewpoint...

3.   Optimization by Simulated Annealing - Kirkpatrick, Gelatt, Jr., Vecchi (1983)   (Correct)
this article we briefly review the central constructs in combinatorial opti- mization and in statistical...

4.   A Method for Obtaining Digital Signatures and Public-Key Cryptosystems - Rivest, Shamir, Adleman (1978)   (Correct)
An encryption method is presented with the novel property that publicly revealing an encryption key does not...

5.   Congestion Avoidance and Control - cited, history.) (1988)   (Correct)
This paper is a brief description of (i) -- (v) and the rationale behind them. (vi) is an algorithm recently...

6.   Statecharts: A Visual Formalism For Complex Systems - Harel (1987)   (Correct)
Statecharts constitute a broad and popular extension of finite state diagrams

7.   Random Early Detection Gateways for Congestion Avoidance - Floyd, Van Jacobson (1993)   (Correct)
This paper presents Random Early Detection (RED) gateways for congestion avoidance in packet-switched...

8.   Chord: A Scalable Peer-to-Peer Lookup Service for Internet.. - Stoica, Morris, Karger, Kaashoek.. (2001)   (Correct)
Efficiently determining the node that stores a data item in a distributed network is an important and...

9.   Chord: A Scalable Peer-to-peer Lookup Service for Internet.. - Stoica, Morris, Liben-Nowell.. (2002)   (Correct)
chord begin

10.   Fast Anisotropic Gauss Filtering - Geusebroek, Smeulders, Weijer (2002)   (Correct)
We derive the decomposition of the anisotropic Gaussian in a one dimensional Gauss filter in the x-direction...

11.   A Scalable Content-Addressable Network - Ratnasamy, Francis, Handley, Karp.. (2001)   (Correct)
Hash tables -- which map "keys" onto "values" -- are an essential building block in modern software systems....

12.   RTP: A Transport Protocol for Real-Time Applications - Schulzrinne, Casner, Frederick, Van.. (2001)   (Correct)
This memorandum is a revision of RFC 1889 in preparation for advancement from Proposed Standard to Draft...

13.   Mining Association Rules between Sets of Items in Large Databases - Agrawal, Imielinski, Swami (1993)   (Correct)
We are given a large database of customer transactions. Each transaction consists of items purchased by a...

14.   A Structural Approach to Operational Semantics - Plotkin (1981)   (Correct)
Syntax of a very simple programming language called L. What is abstract about it will be discussed a little...

15.   Fast Algorithms for Mining Association Rules - Agrawal, Srikant (1994)   (Correct)
We consider the problem of discovering association rules between items in a large database of sales...

16.   MPI: A Message-Passing Interface Standard - Message Passing Interface (1994)   (Correct)
process nanling to allow libraries to describe their communication in terms suitable to their own data...

17.   Tcl and the Tk Toolkit - Ousterhout (1994)   (Correct)
DRAFT (8/12/93): Distribution Restricted This book is about two packages called Tcl and Tk. Together they...

18.   The Java Language Specification - Gosling, Joy, Steele (1996)   (Correct)
Method Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 9.4.1 Inheritance...

19.   The Stable Model Semantics For Logic Programming - Gelfond, Lifschitz (1988)   (Correct)
We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at...

20.   High Performance Fortran Language Specification - High Performance (1992)   (Correct)
processors as a user-declared Cartesian mesh Physical processors ALIGN (static) or REALIGN (dynamic)...

21.   A Reliable Multicast Framework for Light-weight Sessions and.. - Floyd, Van Jacobson, Liu, McCanne.. (1997)   (Correct)
We discuss the issue of multicasting in Nimrod. We identify the requirements that Nimrod has of any solution...

22.   Rewrite Systems - Dershowitz, Jouannaud (1990)   (Correct)
Completion Completion has recently been put in a more abstract framework [ Bachmair-et al, 1986 ] , an...

23.   Aspect-Oriented Programming - Kiczales, Lamping, Mendhekar, Maeda, .. (1997)   (Correct)
This paper reports on our work developing programming techniques that make it possible to clearly express...

24.   Symbolic Model Checking: 10 20 States and Beyond - Burch, Clarke, McMillan, Dill, Hwang (1990)   (Correct)
Many different methods have been devised for automatically verifying finite state systems by examining...

25.   Memory Coherence in Shared Virtual Memory Systems - Li, Hudak (1989)   (Correct)
This paper studies the memory coherence problem in designing said inaplementing a shared virtual memory on...

26.   RSVP: A New Resource ReSerVation Protocol - Zhang, Deering, Estrin, Shenker.. (1993)   (Correct)
this article we describe another.

27.   Dynamic Source Routing in Ad Hoc Wireless Networks - Johnson, Maltz (1996)   (Correct)
An ad hoc network is a collection of wireless mobile hosts forming a temporary network without the aid of any...

28.   Systematic Software Development Using VDM - Jones (1995)   (Correct)
The definitive book on the VDM formal method.

29.   On the Self-Similar Nature of Ethernet Traffic - Leland, Taqqu, Willinger, Wilson (1993)   (Correct)
We demonstrate that Ethernet local area network (LAN) traffic is statistically self-similar, that none of the...

30.   Bagging Predictors - Breiman (1996)   (Correct)
Bagging predictors is a method for generating multiple versions of a predictor and using these to get an...

31.   Finding Structure in Time - Elman (1990)   (Correct)
Time underlies many interesting human behaviors. Thus, the question of how to represent time in connectionist...

32.   Globus: A Metacomputing Infrastructure Toolkit - Foster, Kesselman (1996)   (Correct)
Emerging high-performance applications require the ability to exploit diverse, geographically distributed...

33.   New Directions in Cryptography - Diffie, Hellman (1976)   (Correct)
This is the most common citation for Diffie-Hellman key exchange.

34.   Myrinet - A Gigabit-per-Second Local-Area Network - Boden, Cohen, Felderman, Kulawik.. (1995)   (Correct)
Myrinet is a new type of local-area network (LAN) based on the technology used for packet communication and...

35.   Head-driven Phrase Structure Grammar - Carl Pollard And (1994)   (Correct)
e and typing to state-of-the-art linguistic analyses. It also complements the more theoretically oriented...

36.   Random Oracles are Practical: A Paradigm for Designing Efficient.. - Bellare, Rogaway (1995)   (Correct)
We argue that the random oracle model ---where all parties have access to a public random oracle--- provides...

37.   Integrated Services in the Internet Architecture: An Overview - Braden, Clark, Shenker (1994)   (Correct)
This memo discusses a proposed extension to the Internet architecture and protocols to provide integrated...

38.   Integrated Services in the Internet Architecture: an Overview - Braden, Clark, Shenker (1994)   (Correct)
This memo discusses a proposed extension to the Internet architecture and protocols to provide integrated...

39.   An introduction to Kolmogorov Complexity and its Applications.. - Li, Vitanyi (1997)   (Correct)
This document has been prepared using the L a T E X system. We thank Donald Knuth for T E X, Leslie Lamport...

40.   Wide-Area Traffic: The Failure of Poisson Modeling - Paxson, Floyd (1994)   (Correct)
Network arrivals are often modeled as Poisson processes for analytic simplicity, even though a number of...

41.   The Anatomy of a Large-Scale Hypertextual Web Search Engine - Brin, Page (1998)   (Correct)
In this paper, we present Google, a prototype of a large-scale search engine which makes heavy use of the...

42.   Reinforcement Learning I: Introduction - Sutton, Barto (1998)   (Correct)
Introduction Richard S. Sutton and Andrew G. Barto c fl All rights reserved [In which we try to give a basic...

43.   Modeling TCP Throughput: A Simple Model and its Empirical Validation - Padhye, Firoiu, Towsley, Kurose (1998)   (Correct)
In this paper we develop a simple analytic characterization of the steady state throughput, as a function of...

44.   Authoritative Sources in a Hyperlinked Environment - Kleinberg (1999)   (Correct)
The network structure of a hyperlinked environment can be a rich source of information about the content of...

45.   A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing .. - Broch, Maltz, Johnson, Hu, Jetcheva (1998)   (Correct)
Compares performance of DSR, TORA, DSDV, and AODV.

46.   Highly Dynamic Destination-Sequenced Distance-Vector Routing (DSDV).. - Perkins (1994)   (Correct)
An ad-hoc network is the cooperative engagement of a collection of Mobile Hosts without the required...

47.   PVM: A Framework for Parallel Distributed Computing - Sunderam (1990)   (Correct)
The PVM system is a programming environment for the development and execution of large concurrent or parallel...

48.   Active Messages: a Mechanism for Integrated Communication and.. - von Eicken, Culler, Goldstein.. (1992)   (Correct)
The design challenge for large-scale multiprocessors is (1) to minimize communication overhead, (2) allow...

49.   Learning to Predict by the Methods of Temporal Differences - Sutton (1988)   (Correct)
This article introduces a class of incremental learning procedures specialized for prediction---that is,...

50.   Indexing by Latent Semantic Analysis - Deerwester, Dumais, Furnas.. (1990)   (Correct)
A new method for automatic indexing and retrieval is described. The approach is to take advantage of implicit...

51.   Proof-Carrying Code - Necula (1997)   (Correct)
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with...

52.   A Scheme for Real-Time Channel Establishment in Wide-Area Networks - Ferrari (1990)   (Correct)
Multimedia communication involving digital audio and/or digital video has rather strict delay requirements. A...

53.   Self-Similarity in World Wide Web Traffic Evidence and Possible Causes - Crovella, Bestavros (1996)   (Correct)
Recently the notion of self-similarity has been shown to apply to wide-area and local-area network traffic....

54.   Self-Similarity in World Wide Web Traffic: Evidence and Possible.. - Crovella, Bestavros (1996)   (Correct)
A well-explained and essential introduction, with a practical and effective example.

55.   Ad-hoc On-Demand Distance Vector Routing - Perkins, Royer (2002)   (Correct)
An ad-hoc network is the cooperative engagement of acollection of mobile nodes without the required...

56.   Support-Vector Networks - Cortes, Vapnik (1995)   (Correct)
The support-vector network is a new learning machine for two-group classification problems. The machine...

57.   Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams - Bryant (1992)   (Correct)
Introduction to VLSI Systems, Addison-Wesley, Reading, MA. [Meinel 1990] Meinel, C. 1990 Modified branching...

58.   LogP: Towards a Realistic Model of Parallel Computation - Culler, Karp, Patterson, Sahay.. (1993)   (Correct)
A vast body of theoretical research has focused either on overly simplistic models of parallel computation,...

59.   Implementing Mathematics with The Nuprl Proof Development System - Constable, Allen, Bromley.. (1986)   (Correct)
Problem solving is a significant part of science and mathematics and is the most intellectually significant...

60.   Complements to 'Pattern Recognition and Neural Networks' - Ripley (1996)   (Correct)
Introduction Page 4: The book by Przytula & Prasanna (1993) discusses in detail the parallel implementation...

61.   Disconnected Operation in the Coda File System - Kistler, Satyanarayanan (1992)   (Correct)
would like to enjoy the benefits of a shared data repository, Disconnected operation is a mode of operation...

62.   Fronts Propagating with Curvature Dependent Speed: Algorithms Based.. - Osher, Sethian (1988)   (Correct)
We devise new numerical algorithms, called PSC algorithms, for following fronts propagating with...

63.   Experiments with a New Boosting Algorithm - Freund, Schapire (1996)   (Correct)
In an earlier paper [9], we introduced a new "boosting" algorithm called AdaBoost which, theoretically, can...

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

65.   Implementing Remote Procedure Calls - Birrell, Nelson (1984)   (Correct)
Anderson. Efficient automated protocol implementation using RTAG. Technical Report UCB/CSD 89/?, University...

66.   Performance of Optical Flow Techniques - Barron, Fleet, Beauchemin (1992)   (Correct)
While different optical flow techniques continue to appear, there has been a lack of quantitative evaluation...

67.   Promoting the Use of End-to-End Congestion Control in the Internet - Floyd, Fall (1999)   (Correct)
This paper considers the potentially negative impacts of an increasing deployment of...

68.   Genetic Programming - Koza (1997)   (Correct)
Introduction Genetic programming is a domain-independent problem-solving approach in which computer programs...

69.   Term Rewriting Systems - Klop (1992)   (Correct)
Term Rewriting Systems play an important role in various areas, such as abstract data type specifications,...

70.   An Iterative Image Registration Technique with an Application to.. - Lucas, Kanade (1981)   (Correct)
Image registration finds a variety of applications in computer vision. Unfortunately, traditional image...

71.   KQML as an Agent Communication Language - Finin, Fritzson, McKay, McEntire (1994)   (Correct)
This paper describes the design of and experimentation with the Knowledge Query and Manipulation Language...

72.   KQML as an agent communication language - Finin, Labrou, Mayfield (1995)   (Correct)
One of the de#ning characteristics of an information agent is its ability for #exible interaction and...

73.   Building a Large Annotated Corpus of English: The Penn Treebank - Marcus, Marcinkiewicz, Santorini (2004)   (Correct)
this paper, we review our experience with constructing one such large annotated corpus--the Penn Treebank, a...

74.   Hierarchical Mixtures of Experts and the EM Algorithm - Jordan, Jacobs (1993)   (Correct)
We present a tree-structured architecture for supervised learning. The statistical model underlying the...

75.   Building a large annotated corpus of English: the Penn Treebank - Marcus, Santorini, Marcinkiewicz (1993)   (Correct)
this paper, we review our experience with constructing one such large annotated corpus---the Penn Treebank, a...

76.   The Lorel Query Language for Semistructured Data - Abiteboul, Quass, McHugh, Widom.. (1997)   (Correct)
We present the Lorel language, designed for querying semistructured data. Semistructured data is becoming...

77.   Hierarchical mixtures of experts and the EM algorithm - Jordan, Jacobs (1994)   (Correct)
We present a tree-structured architecture for supervised learning. The statistical model underlying the...

78.   Memory Consistency and Event Ordering in Scalable Shared-Memory.. - Gharachorloo, Lenoski, Laudon.. (1990)   (Correct)
Scalable shared-memory multiprocessors distribute memory among the processors and use scalable...

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

80.   Automatic Subspace Clustering of High Dimensional Data for Data.. - Agrawal, Gehrke, Gunopulos, Raghavan (1998)   (Correct)
Data mining applications place special requirements on clustering algorithms including: the ability to find...

81.   Mediators in the Architecture of Future Information Systems - Wiederhold (1992)   (Correct)
The installation of high-speed networks using optical fiber and high bandwidth messsage forwarding gateways...

82.   The Esterel Synchronous Programming Language: Design, Semantics.. - Berry, Gonthier (1992)   (Correct)
this paper, we shall mostly be concerned by reactive kernels that constitute the central and most difficult...

83.   An Information-Maximization Approach to Blind Separation and Blind.. - Bell, Sejnowski (1995)   (Correct)
We derive a new self-organising learning algorithm which maximises the information transferred in a network...

84.   Supporting Real-Time Applications in an Integrated Services Packet.. - Clark, Shenker, Zhang (1992)   (Correct)
This paper considers the support of real-time applications in an Integrated Services Packet Network (ISPN)....

85.   A Decision-Theoretic Generalization of on-Line Learning and an.. - Freund, Schapire (1995)   (Correct)
We consider the problem of dynamically apportioning resources among a set of options in a worst-case...

86.   Rate Control for Communication Networks:Shadow Prices, Proportional.. - Kelly, Tan (1998)   (Correct)
This paper analyses the stability and fairness of two classes of rate control algorithm for communication...

87.   Improving Direct-Mapped Cache Performance by the Addition of a Small.. - Jouppi (1990)   (Correct)
Projections of computer technology forecast processors with peak performance of 1,000 MIPS in the relatively...

88.   A Digital Signature Scheme Secure Against Adaptive Chosen-Message.. - Goldwasser, Micali, Rivest (1988)   (Correct)
We present a digital signature scheme based on the computational diculty of integer factorization. The scheme...

89.   The Laplacian Pyramid as a Compact Image Code - Burt, Adelson (1983)   (Correct)
We describe a technique for image encoding in which local operators of many scales but identical shape serve...

90.   A Universal Algorithm for Sequential Data Compression - Ziv, Lempel (1977)   (Correct)
A universal algorithm for sequential data compres- sion is presented. Its performance is investigated with...

91.   Self-Similarity Through High-Variability: Statistical Analysis of.. - Willinger, Taqqu, Sherman, Wilson (1997)   (Correct)
A number of recent empirical studies of traffic measurements from a variety of working packet networks have...

92.   Exokernel: An Operating System Architecture for Application-Level.. - Engler, Kaashoek, Jr. (1995)   (Correct)
We describe an operating system architecture that securely multiplexes machine resources while permitting an...

93.   End-To-End Arguments In System Design - Saltzer, Reed, Clark (1984)   (Correct)
This paper presents a design principle that helps guide placement of functions among the modules of a...

94.   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.

95.   A Tutorial on Support Vector Machines for Pattern Recognition - Burges (1998)   (Correct)
The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We...

96.   Generalized Additive Models - Hastie, Tibshirani (1995)   (Correct)
This article describes flexible statistical methods that may be used to identify and characterize nonlinear...

97.   A Comparison of Mechanisms for Improving TCP Performance over.. - Balakrishnan, Padmanabhan, Seshan.. (1996)   (Correct)
Reliable transport protocols such as TCP are tuned to perform well in traditional networks where packet...

98.   On Limits of Wireless Communications in a Fading Environment when.. - Foschini, Gans (1998)   (Correct)
This paper is motivated by the need for fundamental understanding of ultimate limits of bandwidth efficient...

99.   Tapestry: An Infrastructure for Fault-tolerant Wide-area Location and .. - Zhao, Kubiatowicz, Joseph (2001)   (Correct)
In today's chaotic network, data and services are mobile and replicated widely for availability, durability,...

100.   Light Field Rendering - Levoy, Hanrahan (1996)   (Correct)
A number of techniques have been proposed for flying through scenes by redisplaying previously rendered or...

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST