Most cited source documents published in 1992 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.   High Performance Fortran Language Specification - High Performance (1992)   (Correct)
processors as a user-declared Cartesian mesh Physical processors ALIGN (static) or REALIGN (dynamic)...

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

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

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

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

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

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

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

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

10.   A New Method for Solving Hard Satisfiability Problems - Selman, Levesque, Mitchell (1992)   (Correct)
Introduces the GSAT algorithm to solve propositional satisfiability problems, along with experiments.

11.   Lambda Calculi with Types - Barendregt (1992)   (Correct)


12.   Proof Verification and Hardness of Approximation Problems - Arora, Lund, Motwani, Sudan, Szegedy (1992)   (Correct)
The class PCP(f(n); g(n)) consists of all languages L for which there exists a polynomial-time ...

13.   Proof Verification and the Hardness of Approximation Problems - Arora, Lund, Motwani, Sudan, Szegedy (1992)   (Correct)
We show that every language in NP has a probablistic verifier that checks membership proofs for it using...

14.   Stacked Generalization - Wolpert (1992)   (Correct)
This paper introduces stacked generalization, a scheme for minimizing the generalization error rate of one...

15.   Inductive Logic Programming - Muggleton (1992)   (Correct)
A new research area, Inductive Logic Programming, is presently emerging. While inheriting various positive...

16.   Decimation of Triangle Meshes - Schroeder, Zarge, Lorensen (1992)   (Correct)
This paper describes an application independent algorithm that uses local operations on geometry and ...

17.   Symbolic Model Checking for Real-time Systems - Henzinger, Nicollin, Sifakis, Yovine (1992)   (Correct)
We describe finite-state programs over real-numbered time in a guardedcommand language with real-valued...

18.   SIS: A System for Sequential Circuit Synthesis - Sentovich, Singh, Lavagno, Moon.. (1992)   (Correct)
SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition...

19.   Entropy-Based Algorithms For Best Basis Selection - Coifman, Wickerhauser (1992)   (Correct)
pretations (position, frequency, and scale), and we have experimented with feature-extraction methods that...

20.   Entropy-Based Algorithms for Best Basis Selection - Coifman, Wickerhauser (1992)   (Correct)
We would like to describe a method permitting efficient compression of a variety of signals such as sound and...

21.   Design and Evaluation of a Compiler Algorithm for Prefetching - Mowry, Lam, Gupta (1992)   (Correct)
Software-controlled data prefetching is a promising technique for improving the performance of the memory...

22.   Foundations for the Study of Software Architecture - Perry, Wolf (1992)   (Correct)
The purpose of this paper is to build the foundation for software architecture. We first develop an intuition...

23.   Hard and Easy Distributions of SAT Problems - Mitchell, Selman, Levesque (1992)   (Correct)
We report results from large-scale experiments in satisfiability testing. As has been observed by others,...

24.   The BSD Packet Filter: A New Architecture for User-level Packet.. - McCanne, Van Jacobson (1992)   (Correct)
Many versions of Unix provide facilities for user-level packet capture, making possible the use of general...

25.   Partial Constraint Satisfaction - Freuder, Wallace (1992)   (Correct)
A constraint satisfaction problem involves finding values for variables subject to constraints on which...

26.   TCP Extensions for High Performance - Van Jacobson, Braden, Borman (1992)   (Correct)
This memo presents a set of TCP extensions to improve performance over large bandwidth*delay product paths...

27.   A Syntactic Approach to Type Soundness - Wright, Felleisen (1992)   (Correct)
We present a new approach to proving type soundness for Hindley/Milner-style polymorphic type systems. The...

28.   Surface Reconstruction from Unorganized Points - Hugues Hoppe Tony (1992)   (Correct)
We describe and demonstrate an algorithm that takes as input an unorganized set of points fx 1 ;:::;x n g #...

29.   The Essence of Functional Programming - Wadler (1992)   (Correct)
This paper explores the use monads to structure functional programs. No prior knowledge of monads or category...

30.   Scheduler Activations: Effective Kernel Support for the User-level.. - Anderson, Bershad, Lazowska, Levy (1992)   (Correct)
This paper addresses this dilemma. First, we argue that the performance of kernel threads is

31.   Scheduler Activations: Effective Kernel Support for the User-Level.. - Anderson, Bershad, Lazowska, Levy (1992)   (Correct)
This paper addresses this dilemma. First, we argue that the performance of kernel threads is inherently worse...

32.   Constraint Query Languages - Kanellakis, Kuper, Revesz (1992)   (Correct)
We investigate the relationship between programming with constraints and database query languages. We show...

33.   Latent Semantic Indexing is an Optimal Special Case of.. - Bartell, Cottrell, Belew (1992)   (Correct)
Latent Semantic Indexing (LSI) is a technique for representing documents, queries, and terms as vectors in a...

34.   Dynamic Typing in Polymorphic Languages - Abadi, Cardelli, Pierce, Rémy (1992)   (Correct)
Types The interaction between the use of Dynamic and abstract data types gives rise to a puzzling design...

35.   Ptolemy: A Framework for Simulating and Prototyping Heterogeneous.. - Buck, Ha, Lee, Messerschmitt (1992)   (Correct)
Ptolemy is an environment for simulation and prototyping of heterogeneous systems. It uses modern...

36.   Parallel Database Systems: The Future of High Performance Database.. - DeWitt, Gray (1992)   (Correct)
Parallel database machine architectures have evolved from the use of exotic hardware to a software parallel...

37.   A Simple Rule-Based Part Of Speech Tagger - Brill Department Of (1992)   (Correct)
Automatic part of speech tagging is an area of natural language processing where statistical techniques have...

38.   A Simple Rule-Based Part of Speech Tagger - Brill (1992)   (Correct)
Automatic part of speech tagging is an area of natural language processing where statistical techniques have...

39.   Uniprocessor Garbage Collection Techniques - Wilson (1992)   (Correct)
We survey basic garbage collection algorithms, and variations such as incremental and generational...

40.   Transis: A Communication Sub-System for High Availability - Amir, Dolev, Kramer, Malki (1992)   (Correct)
This paper describes Transis, a communication sub-system for high availability. Transis is a transport layer...

41.   Lazy Release Consistency for Software Distributed Shared Memory - Keleher, Cox, Zwaenepoel (1992)   (Correct)
Relaxed memory consistency models, such as release consistency, were introduced in order to reduce the impact...

42.   Comprehending Monads - Wadler (1992)   (Correct)
Introduces monads as a way to structure functional programs and to manage array update.

43.   Camera Self-Calibration: Theory and Experiments - Faugeras, Luong, Maybank (1992)   (Correct)
The problem of finding the internal orientation of a camera (camera calibration) is extremely important for...

44.   Re-Tiling Polygonal Surfaces - Turk (1992)   (Correct)
This paper presents an automatic method of creating surface models at several levels of detail from an...

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

46.   The Omega Test: a fast and practical integer programming algorithm.. - Pugh (1992)   (Correct)
The Omega testi s ani nteger programmi ng algori thm that can determi ne whether a dependence exi sts between...

47.   The Weighted Majority Algorithm - Littlestone, Warmuth (1992)   (Correct)
We study the construction of prediction algorithms in a situation in which a learner faces a sequence of...

48.   Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)   (Correct)
this paper appeared in the Proceedings of the Thirteenth ACM Sympos - ium on Operating Systems Principles.

49.   Practical Issues in Temporal Difference Learning - Tesauro (1992)   (Correct)
This paper examines whether temporal difference methods for training connectionist networks, such as...

50.   A Training Algorithm for Optimal Margin Classifiers - Boser, Guyon, Vapnik (1992)   (Correct)
A training algorithm that maximizes the margin between the training patterns and the decision boundary is...

51.   The Concurrency Workbench: A Semantics Based Tool for the.. - Cleaveland, al. (1992)   (Correct)
rling, Scotland, 1988. [43] Milner, R. Communication and Concurrency. Prentice Hall 1989. [44] Paige, R....

52.   Minimizing Conflicts: A Heuristic Repair Method for.. - Minton, Johnston, Philips, Laird (1992)   (Correct)
This paper describes a simple heuristic approach to solving large-scale constraint satisfaction and...

53.   Model Checking and Abstraction - Edmund Clarke Carnegie (1992)   (Correct)
MODELS In this section, we consider the problem of deriving an approximate abstract model of M directly from...

54.   The Logic of Typed Feature Structures - Bob Carpenter Carnegie (1992)   (Correct)
Feature Structures and Path Congruences. The discussion of abstract feature structures raises a historical...

55.   Orca: A Language For Parallel Programming Of Distributed Systems - Bal, Kaashoek, Tanenbaum (1992)   (Correct)
Orca is a language for implementing parallel applications on loosely coupled distributed systems. Unlike most...

56.   Hybrid Automata: An Algorithmic Approach to the Specification and.. - Alur, Courcoubetis, Henzinger, Ho (1992)   (Correct)
We introduce the framework of hybrid automata as a model and specification language for hybrid systems....

57.   Querying Object-Oriented Databases - Kifer, Kim, Sagiv (1992)   (Correct)
We present a novel language for querying object-oriented databases. The language is built around the idea of...

58.   An Old-Fashioned Recipe for Real Time - Abadi, Lamport (1992)   (Correct)
Traditional methods for specifying and reasoning about concurrent systems work for real-time systems. Using...

59.   Algorithms for Constraint Satisfaction Problems: A Survey - Kumar (1992)   (Correct)
A large variety of problems in Artificial Intelligence and other areas of computer science can be viewed as a...

60.   Algorithms for Constraint-Satisfaction Problems: A Survey - Kumar (1992)   (Correct)
A large variety of problems in Artificial Intelligence and other areas of computer science can be viewed as a...

61.   Implementing lazy functional languages on stock hardware: the.. - Jones (1992)   (Correct)
The Spineless Tagless G-machine is an abstract machine designed to support nonstrict higher-order functional...

62.   A Spatial Logic based on Regions and Connection - Randell, Cui, Cohn (1992)   (Correct)
We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed...

63.   Singularity Detection And Processing With Wavelets - Mallat, Hwang (1992)   (Correct)
Most of a signal information is often found in irregular structures and transient phenomena. We review the...

64.   Probabilistic Checking of Proofs: A New Characterization of NP - Arora, Safra (1992)   (Correct)
We give a new characterization of NP: the class NP contains exactly those languages L for which membership...

65.   Barbed Bisimulation - Milner, Sangiorgi (1992)   (Correct)
Machine [8]. In this technique, axioms for a structural congruence relation are introduced prior to the...

66.   A Safe Approximate Algorithm for Interprocedural Pointer Aliasing - Landi, Ryder (1992)   (Correct)
During execution, when two or more names exist for the same location at some program point, we call them...

67.   A Practical Part-of-Speech Tagger - Cutting, Kupiec, Pealersen, Sibun (1992)   (Correct)
We present an implementation of a part-of-speech tagger based on a hidden Markov model. The methodology...

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

69.   Shiftable Multi-scale Transforms - Simoncelli (1992)   (Correct)
Orthogonal wavelet transforms have recently become a popular representation for multiscale signal and image...

70.   The Active Badge Location System - Want, Hopper, Falco, Gibbons (1992)   (Correct)
A novel system for the location of people in an office environment is described. Members of staff wear badges...

71.   Some efficient solutions to the affine scheduling problem Part II.. - Feautrier (1992)   (Correct)
This paper extends the algorithms which were given in Part I to cases in which there is no affine schedule,...

72.   Unboxed Objects and Polymorphic Typing - Leroy (1992)   (Correct)
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be...

73.   Limits of Control Flow on Parallelism - Lam, Wilson (1992)   (Correct)
This paper discusses three techniques useful in relaxing the constraints imposed by control flow on...

74.   Awareness and Coordination in Shared Work Spaces - Dourish, Bellotti (1992)   (Correct)
Awareness of individual and group activities is critical to successful collaboration and is commonly...

75.   The Multiflow Trace Scheduling Compiler - Lowney, Freudenberger, Karzes.. (1992)   (Correct)
This paper describes the Multiflow compiler and reports on the Multiflow practice and experience with...

76.   The Design and Implementation of Hierarchical Software Systems With.. - Batory, O'Malley (1992)   (Correct)
We present a domain-independent model of hierarchical software system design and construction that is based...

77.   Logics and Models of Real Time: A Survey - Alur, Henzinger (1992)   (Correct)
We survey logic-based and automata-based languages and techniques for the specification and verification of...

78.   Encrypted Key Exchange: Password-Based Protocols Secure Against.. - Bellovin, Merritt (1992)   (Correct)
Classical cryptographic protocols based on user-chosen keys allow an attacker to mount password-guessing...

79.   On Traffic Phase Effects in Packet-Switched Gateways - Floyd, Van Jacobson (1992)   (Correct)
this paper we define the notion of traffic phase in a packet-switched network and describe how phase...

80.   Traffic Phase Effects in Packet-Switched Gateways - Floyd, Van Jacobson (1992)   (Correct)
Much of the traffic in existing packet networks is highly periodic, either because of periodic sources (e.g.,...

81.   Word-Sense Disambiguation Using Statistical Models of Roget's.. - Yarowsky (1992)   (Correct)
This paper describes a program that disambiguates English word senses in unrestricted text using statistical...

82.   Word-Sense Disambiguation Using Statistical Models of Roget's.. - Yarowsky (1992)   (Correct)
This paper describes a program that disambiguates English word senses in unrestricted text using statistical...

83.   Algebraic Methods for Interactive Proof Systems - Lund, Fortnow, Karloff, Nisan (1992)   (Correct)
We present a new algebraic technique for the construction of interactive proof systems. We use our technique...

84.   Protocol Verification as a Hardware Design Aid - David Dill Andreas (1992)   (Correct)
The role of automatic formal protocol verification in hardware design is considered. Principles are...

85.   Direct Bulk-Synchronous Parallel Algorithms - Gerbessiotis, Valiant (1992)   (Correct)
We describe a methodology for constructing parallel algorithms that are transportable among parallel...

86.   Knowledge Discovery in Databases: an Overview - Frawley, Piatetsky-Shapiro, Matheus (1992)   (Correct)
this article. 0738-4602/92/$4.00 1992 AAAI 58 AI MAGAZINE for the 1990s (Silberschatz, Stonebraker, and...

87.   A General Approximation Technique For Constrained Forest Problems - Goemans, Williamson (1992)   (Correct)
We present a general approximation technique for a large class of graph problems. Our technique mostly...

88.   DDM - A Cache-Only Memory Architecture - Hagersten, Landin, Haridi (1992)   (Correct)
The long latencies introduced by remote accesses in a large multiprocessor can be hidden by caching. Caching...

89.   Estimation of Average Switching Activity in Combinational and.. - Ghosh, Devadas, Keutzer, White (1992)   (Correct)
power dissipated in VLSI combinational and sequential circuits, under random input sequences. Switching...

90.   Effective Compiler Support for Predicated Execution Using the.. - Mahlke, Lin, Chen, Hank, Bringmann (1992)   (Correct)
Predicated execution is an effective technique for dealing with conditional branches in application programs....

91.   Planar-Adaptive Routing: Low-cost Adaptive Networks for.. - Chien, Kim (1992)   (Correct)
Network throughput can be increased by allowing multipath, adaptive routing. Adaptive routing allows more...

92.   Order-Sorted Algebra I: Equational Deduction for Multiple.. - Goguen (1992)   (Correct)
This paper generalizes many-sorted algebra (hereafter, MSA) to order-sorted algebra (hereafter, OSA) by...

93.   Using Recurrent Networks for Dimensionality Reduction - Jones (1992)   (Correct)
This thesis explores how recurrent neural networks can be exploited for learning certain high-dimensional...

94.   Iterative Solution of Linear Systems - Freund, Golub, Nachtigal (1992)   (Correct)
this paper is as follows. In Section 2, we present some background material on general Krylov subspace...

95.   Iterative Point Matching for Registration of Free-Form Curves and.. - Zhang (1992)   (Correct)
Geometric matching in general is a difficult unsolved problem in computer vision. Fortunately, in many...

96.   Conditional Nonlinear Planning - Peot, Smith (1992)   (Correct)
Work-in-progress on the design of a conditional nonlinear planner is described. CNLP is a nonlinear planner...

97.   The Turn Model for Adaptive Routing - Glass, Ni (1992)   (Correct)
We present a model for designing wormhole routing algorithms that are deadlock free, livelock free, minimal...

98.   Toward Formal Development of Programs from Algebraic Specifications.. - Sannella, Tarlecki (1992)   (Correct)
This paper presents in an informal way the main ideas underlying our work on the model-theoretic...

99.   Programming In Vienna Fortran - Chapman, Mehrotra, Zima (1992)   (Correct)
Exploiting the full performance potential of distributed memory machines requires a careful distribution of...

100.   Games and Full Completeness for Multiplicative Linear Logic - Abramsky, Jagadeesan (1992)   (Correct)
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning...

CiteSeer.Continuity homepage

CiteSeer.Continuity - Copyright NEC and IST