Most cited source documents published in 1994 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.   RTP: A Transport Protocol for Real-Time Applications - Schulzrinne, Casner, Frederick, Van.. (1994)   (Correct)
This memorandum describes the real-time transport protocol, RTP. RTP provides end-toend network transport...

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

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

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

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

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

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

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

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

10.   KQML as an Agent Communication Language - Finin, Labrou, Mayfield (1994)   (Correct)
This document and other information on the KRSS group is available as http://www.cs.umbc.edu/kse/krss/.

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

12.   Unreliable Failure Detectors for Reliable Distributed Systems - Chandra, Toueg (1994)   (Correct)
We introduce the concept of unreliable failure detectors and study how they can be used to solve Consensus...

13.   TreadMarks: Distributed Shared Memory on Standard Workstations and.. - Keleher, Cox, Dwarkadas, Zwaenepoel (1994)   (Correct)
TreadMarks is a distributed shared memory (DSM) system for standard Unix systems such as SunOS and Ultrix....

14.   Constraint Logic Programming: A Survey - Jaffar, Maher (1994)   (Correct)
Large scale survey of constraint logic programming and its related literature (266 references).

15.   Templates for the Solution of Linear Systems: Building Blocks for.. - Barrett, Berry, Chan, Demmel.. (1994)   (Correct)
ps quit 2. from any machine on the Internet type: rcp anon@www.netlib.org:templates/templates.ps...

16.   Pvm 3 User's Guide And Reference Manual - Geist, Beguelin, Dongarra, Jiang.. (1994)   (Correct)
This report is the PVM version 3.3 users' guide and reference manual. It contains an overview of PVM, and how...

17.   Good Features to Track - Shi, Tomasi (1994)   (Correct)
No feature-based vision system can work unless good features can be identified and tracked from frame to...

18.   View-Based and Modular Eigenspaces for Face Recognition - Pentland, Moghaddam, Starner (1994)   (Correct)
In this work we describe experiments with eigenfaces for recognition and interactive search in a large-scale...

19.   Learning Bayesian Networks: The Combination of Knowledge and.. - Heckerman, Geiger, Chickering (1994)   (Correct)
We describe a Bayesian approach for learning Bayesian networks from a combination of prior knowledge and...

20.   TCP Vegas: New Techniques for Congestion Detection and Avoidance - Brakmo, O'Malley, Peterson (1994)   (Correct)
Vegas is a new implementation of TCP that achieves between 40 and 70% better throughput, with one-fifth to...

21.   Surface Reconstruction from Unorganized Points - Hoppe (1994)   (Correct)
Surface Reconstruction from Unorganized Points by Hugues Hoppe Chairperson of Supervisory Committee:...

22.   The TSIMMIS Project: Integration of Heterogeneous Information Sources - Chawathe, Garcia-Molina, Hammer.. (1994)   (Correct)
The goal of the Tsimmis Project is to develop tools that facilitate the rapid integration of heterogeneous...

23.   Efficient and Effective Querying by Image Content - Faloutsos, Equitz, Flickner.. (1994)   (Correct)
In the QBIC (Query By Image Content) project we are studying methods to query large on-line image databases...

24.   An Introduction to Disk Drive Modeling - Ruemmler, Wilkes (1994)   (Correct)
This paper has been published in IEEE Computer 27(3):17--29, March 1994. It supersedes HP Labs technical...

25.   Irrelevant Features and the Subset Selection Problem - John, Kohavi, Pfleger (1994)   (Correct)
We address the problem of finding a subset of features that allows a supervised induction algorithm to induce...

26.   The Nas Parallel Benchmarks - Bailey Barszcz Barton (1994)   (Correct)
A new set of benchmarks has been developed for the performance evaluation of highly parallel supercomputers....

27.   The NAS Parallel Benchmarks - Bailey, Barszcz, Barton, Browning.. (1994)   (Correct)
A new set of benchmarks has been developed for the performance evaluation of highly parallel supercomputers....

28.   A Theory of Timed Automata - Alur, Dill (1994)   (Correct)
We propose timed (finite) automata to model the behavior of realtime systems over time. Our definition...

29.   Dynamic Typing in Polymorphic Languages - Abadi, Cardelli, Pierce, Rémy (1994)   (Correct)
There are situations in programmingwhere some dynamic typing is needed, even in the presence of advanced...

30.   Inductive Logic Programming: Theory And Methods - Muggleton, De Raedt (1994)   (Correct)
this paper, we provide an introduction to ILP. The introduction focusses on what we believe to be the...

31.   The Dexter Hypertext Reference Model - Halasz, Schwartz (1994)   (Correct)
This paper presents the Dexter hypertext reference model. The Dexter model is an attempt to capture, both...

32.   Tempest and Typhoon: User-Level Shared Memory - Reinhardt, Larus, Wood (1994)   (Correct)
Future parallel computers must efficiently execute not only hand-coded applications but also programs written...

33.   Semidefinite Programming - Vandenberghe, Boyd (1994)   (Correct)
In semidefinite programming one minimizes a linear function subject to the constraint that an affine...

34.   Lottery Scheduling: Flexible Proportional-Share Resource Management - Waldspurger, Weihl (1994)   (Correct)
This paper presents lottery scheduling, a novel randomized resource allocation mechanism. Lottery scheduling...

35.   Scale-Space Theory in Computer Vision - Lindeberg (1994)   (Correct)
A monograph on scale-space theory

36.   Virtual Memory Mapped Network Interface for the SHRIMP Multicomputer - Blumrich, Li, Alpert, Dubnicki.. (1994)   (Correct)
The network interfaces of existing multicomputers require a significant amount of software overhead to...

37.   Molecular Computation Of Solutions To Combinatorial Problems - Adleman (1994)   (Correct)
this report the possibility of computing directly with molecules is explored. A directed graph G with...

38.   Broadcast Disks: Data Management for Asymmetric Communication.. - Acharya, Alonso, Franklin, Zdonik (1994)   (Correct)
This paper proposes the use of repetitive broadcast as a way of augmenting the memory hierarchy of clients in...

39.   GroupLens: An Open Architecture for Collaborative Filtering of Netnews - Resnick, Iacovou, Suchak, Bergstrom, .. (1994)   (Correct)
Collaborative filters help people make choices based on the opinions of other people. GroupLens is a system...

40.   Fast Subsequence Matching in Time-Series Databases - Faloutsos, Ranganathan, Manolopoulos (1994)   (Correct)
Great, influential paper. Won SIGMOD best paper award

41.   An Optimal Algorithm for Approximate Nearest Neighbor Searching in.. - Arya, Mount, S. (1994)   (Correct)
Consider a set S of n data points in real d-dimensional space, R^d, ehere distances are measured using any...

42.   A Robust Technique for Matching Two Uncalibrated Images Through the.. - Zhang, Deriche, FAUGERAS, LUONG (1994)   (Correct)
This paper proposes a robust approach to image matching by exploiting the only available geometric...

43.   Context-Sensitive Interprocedural Points-to Analysis in the Presence.. - Emami, Ghiya, Hendren (1994)   (Correct)
This paper reports on the design, implementation, and empirical results of a new method for dealing with the...

44.   Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994)   (Correct)
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow...

45.   A Fast Multilevel Implementation of Recursive Spectral Bisection for.. - Barnard, Simon (1994)   (Correct)
Unstructured meshes are used in many large-scale scientific and engineering problems, including finite-volume...

46.   The Challenges of Mobile Computing - Forman, Zahorjan (1994)   (Correct)
this article we focus on the issues pertinent to software designers without delving into the lower level...

47.   GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter, Lespérance, .. (1994)   (Correct)
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains...

48.   The Concurrency Workbench: A Semantics Based Tool for the.. - Cleaveland, Parrow, Steffen (1994)   (Correct)
The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in...

49.   Representing Moving Images with Layers - Wang, Adelson (1994)   (Correct)
We describe a system for representing moving images with sets of overlapping layers. Each layer contains an...

50.   Efficient and Effective Clustering Methods for Spatial Data Mining - Ng, Han (1994)   (Correct)
Spatial data mining is the discovery of interesting relationships and characteristics that may exist...

51.   Partitioning of Unstructured Problems for Parallel Processing - Simon (1994)   (Correct)
Many large scale computational problems are based on unstructured computational domains. Primary examples are...

52.   An Architecture for Wide-Area Multicast Routing - Deering, Estrin, Farinacci, Van.. (1994)   (Correct)
Existing multicast routing mechanisms were intended for use within regions where a group is widely...

53.   A Storage Model With Self-Similar Input - Norros (1994)   (Correct)
A storage model with self-similar input process is studied. A relation coupling together the storage...

54.   Domain Theory - Abramsky, Jung (1994)   (Correct)
bases were introduced in [Smyth, 1977] where they are called "R-structures". Examples of abstract bases are...

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

56.   Scheduling for Reduced CPU Energy - Weiser, Welch, Demers, Shenker (1994)   (Correct)
The energy usage of computer systems is becoming more important, especially for battery operated systems....

57.   Noise Strategies for Improving Local Search - Selman, Kautz, Cohen (1994)   (Correct)
It has recently been shown that local search is surprisingly good at finding satisfying assignments for...

58.   Scalable Feedback Control for Multicast Video Distribution in the.. - Bolot, Turletti, Wakeman (1994)   (Correct)
We describe a mechanism for scalable control of multicast continuous media streams. The mechanism uses a...

59.   Dynamics of TCP Traffic over ATM Networks - Romanow, Floyd (1994)   (Correct)
We investigate the performance of TCP connections over ATM networks without ATM-level congestion control, and...

60.   Scheduling Policies for an On-Demand Video Server with Batching - Dan, Sitaram, Shahabuddin (1994)   (Correct)
In an on-demand video server environment, clients make requests for movies to a centralized video server. Due...

61.   Shoring Up Persistent Applications - Carey, DeWitt, Franklin, Hall.. (1994)   (Correct)
SHORE (Scalable Heterogeneous Object REpository) is a persistent object system under development at the...

62.   A Comparison of Sender-Initiated and Receiver-Initiated Reliable.. - Towsley, Kurose, Pingali (1994)   (Correct)
Sender-initiated reliable multicast protocols based on the use of positive acknowledgments (ACKs) can suffer...

63.   Fast Volume Rendering Using a Shear-Warp Factorization of the Viewing .. - Lacroute, Levoy (1994)   (Correct)
Several existing volume rendering algorithms operate by factoring the viewing transformation into a 3D shear...

64.   The Use of Active Shape Models For Locating Structures in Medical.. - Cootes, Hill, C.J.Taylor, J.Haslam (1994)   (Correct)
This paper describes a technique for building compact models of the shape and appearance of flexible objects...

65.   Logic Programming and Negation: A Survey - Apt, Bol (1994)   (Correct)
We survey here various approaches which were proposed to incorporate negation in logic programs. We...

66.   Markov Games as a Framework for Multi-Agent Reinforcement Learning - Littman (1994)   (Correct)
In the Markov decision process (MDP) formalization of reinforcement learning, a single adaptive agent...

67.   A Type-Theoretic Approach to Higher-Order Modules with Sharing - Harper, Lillibridge (1994)   (Correct)
The design of a module system for constructing and main- taining large programs is a difficult task that...

68.   Specifying Distributed Software Architectures - Magee, Dulay, Eisenbach, Kramer (1994)   (Correct)
There is a real need for clear and sound design specifications of distributed systems at the architectural...

69.   Analysis, Modeling and Generation of Self-Similar VBR Video Traffic - Garrett, Willinger (1994)   (Correct)
We present a detailed statistical analysis of a 2-hour long empirical sample of VBR video. The sample was...

70.   Context-Aware Computing Applications - Schilit, Adams, Want (1994)   (Correct)
This paper describes systems that examine and react to an individual's changing context. Such systems can...

71.   An Introduction to Least Commitment Planning - Weld (1994)   (Correct)
Recent developments have clarified the process of generating partially ordered, partially specified sequences...

72.   Optimization of Object-Oriented Programs Using Static Class Hierarchy .. - Dean, Grove, Chambers (1994)   (Correct)
Cannonical reference for CHA

73.   The Weakest Failure Detector for Solving Consensus - Chandra, Hadzilacos, Toueg (1994)   (Correct)
We determine what information about failures is necessary and sufficient to solve Consensus in asynchronous...

74.   The Network Architecture of the Connection Machine CM-5 - Leiserson, Abuhamdeh, Douglas.. (1994)   (Correct)
The Connection Machine Model CM-5 Supercomputer is a massively parallel computer system designed to offer...

75.   TCP and Explicit Congestion Notification - Floyd (1994)   (Correct)
This paper discusses the use of Explicit Congestion Notification (ECN) mechanisms in the TCP/IP protocol. ...

76.   Probabilistic Roadmaps for Path Planning in High-Dimensional.. - Kavraki, Svestka, Latombe, Overmars (1994)   (Correct)
A new motion planning method for robots in static workspaces is presented. This method proceeds according to...

77.   Constructing Simple Stable Descriptions for Image Partitioning - Leclerc (1994)   (Correct)
A new formulation of the image partitioning problem is presented: construct a complete and stable description...

78.   Software Agents - Genesereth, Ketchpel (1994)   (Correct)
this paper, we discuss these questions and describe some emerging technologies that provide answers. In the...

79.   Visual Information Seeking: Tight Coupling of Dynamic Query Filters.. - Ahlberg, Shneiderman (1994)   (Correct)
This paper offers new principles for visual information seeking (VIS). A key concept is to support browsing,...

80.   The Temporal Logic of Actions - Lamport (1994)   (Correct)
This report introduces TLA and describes how it is used to specify and verify concurrent algorithms. The use...

81.   A Temporal Logic of Actions - Leslie Lamport April (1994)   (Correct)
In 1977, Pnueli introduced to computer scientists a temporal logic for reasoning about concurrent programs....

82.   Processor Capacity Reserves: Operating System Support for Multimedia.. - Mercer, Savage, Tokuda (1994)   (Correct)
Multimedia applications have timing requirements that cannot generally be satisfied using the time-sharing...

83.   Optimal Asymmetric Encryption - Bellare, Rogaway (1994)   (Correct)
Given an arbitrary k-bit to k-bit trapdoor permutation f and a hash function, we exhibit an encryption...

84.   The Zebra Striped Network File System - Hartman (1994)   (Correct)
The Zebra Striped Network File System by John Henry Hartman Doctor of Philosophy in Computer Science...

85.   Algorithms for Quantum Computation: Discrete Logarithms and Factoring - Shor (1994)   (Correct)
A computer is generally considered to be a universal computational device; i.e., it is believed able to...

86.   Kohonen Networks for Multiscale Image Segmentation - Haring Viergever (1994)   (Correct)
An approach is developed to multiscale image segmentation, based on pixel classification by means of a...

87.   A Softbot-Based Interface to the Internet - Etzioni, Weld (1994)   (Correct)
this article, we focus on the ideas underlying the softbot-based interface.

88.   A Caching Relay for the World Wide Web - Glassman (1994)   (Correct)
We describe the design and performance of a caching relay for the World Wide Web. We examine how the behavior...

89.   Maximum A Posteriori Estimation for Multivariate Gaussian Mixture.. - Gauvain, Lee (1994)   (Correct)
In this paper a framework for maximum a posteriori (MAP) estimation of hidden Markov models (HMM) is...

90.   Three-dimensional Alpha Shapes - Edelsbrunner, Mücke (1994)   (Correct)
Frequently, data in scientific computing is in its abstract form a finite point set in space, and it is...

91.   Power Analysis of Embedded Software: A First Step Towards Software.. - Vivek Tiwari (1994)   (Correct)
Embedded computer systems are characterized by the presence of a dedicated processor and the software that...

92.   Multiresolution Analysis for Surfaces of Arbitrary Topological Type - Lounsbery, DeRose, Warren (1994)   (Correct)
Multiresolution analysis and wavelets provide useful and efficient tools for representing functions at...

93.   The Geometry of Graphs and Some of Its Algorithmic Applications - Linial, London, Rabinovich (1994)   (Correct)
In this paper we explore some implications of viewing graphs as geometric objects. This approach offers a new...

94.   Probabilistic Simulations for Probabilistic Processes - Segala, Lynch (1994)   (Correct)
Several probabilistic simulation relations for probabilistic systems are defined and evaluated according to...

95.   Improving the Performance of Reliable Transport Protocols in Mobile.. - Caceres, Iftode (1994)   (Correct)
We explore the performance of reliable data communication in mobile computing environments. Motion across...

96.   Cooperative Caching: Using Remote Client Memory to Improve File.. - Dahlin, Anderson, Patterson, Wang. (1994)   (Correct)
Emerging high-speed networks will allow machines to access remote data nearly as quickly as they can access...

97.   Iterative Modulo Scheduling: An Algorithm for Software Pipelining.. - Rau (1994)   (Correct)
Modulo scheduling is a framework within which a wide variety of algorithms and heuristics may be defined for...

98.   Piecewise Smooth Surface Reconstruction - Hoppe, DeRose, Duchamp, Halstead.. (1994)   (Correct)
We present a general method for automatic reconstruction of accurate, concise, piecewise smooth surface...

99.   SPARSKIT: a basic tool kit for sparse matrix computations - Version 2 - Saad (1994)   (Correct)
This paper presents the main features of a tool package for manipulating and working with sparse matrices....

100.   The Computational Complexity of Propositional STRIPS Planning - Bylander (1994)   (Correct)
I present several computational complexity results for propositional STRIPS planning, i.e., STRIPS planning...

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST