Academic Commons

Search Constraints

Start Over
You searched for: Academic Unit Computer Science Remove constraint Academic Unit: Computer Science Language English Remove constraint Language: English Subject Computer science Remove constraint Subject: Computer science
« Previous | 1 - 100 of 2,226 |
Number of results to display per page

Search Results

1. A Class of Globally Convergent Iterations for the Solution of Polynomial Equations

Traub, Joseph F.
1966
Articles
Iterative methods (Mathematics)Polynomials--Study and teachingComputer science

2. Computational Complexity of Iterative Processes

Traub, Joseph F.
1972
Articles
Iterative methods (Mathematics)MathematicsComputational complexityComputer science

3. Inferring LISP Programs from Examples

Shaw, David Elliot; Swartout, William R.; Green, C. Cordell
1975
Reports
Computer scienceLISP (Computer program language)High performance computing--Research

4. Asymptotic behavior of vector recurrences with applications

Feldstein, Alan; Traub, Joseph F.
1977
Articles
Computer scienceVector analysis--Computer programsRecursive programmingIterative methods (Mathematics)Differential equations, Nonlinear--Asymptotic theory

5. A Hierarchical Associative Architecture for the Parallel Evaluation of Relational Algebraic Database Primitives

Shaw, David Elliot
1979
Reports
Computer storage devices--Mathematical modelsComputer scienceComputer science--MathematicsDatabase management--Mathematical models

6. Any Iteration for Polynomial Equations Using Linear Information Has Infinite Complexity

Wasilkowski, Grzegorz W.
1979
Reports
Computer scienceLamé polynomialsIterative methods (Mathematics)

7. A Relational Database Machine Architecture

Shaw, David Elliot
1979
Reports
Computer scienceAlgorithms--Mathematical models

8. Learning Control of Production Systems

Stolfo, Salvatore
1979
Reports
Computer scienceArtificial intelligence

9. The Strength of Nonstationary Iteration

Wasilkowski, Grzegorz W.
1979
Reports
Computer scienceIterative methods (Mathematics)Differential equations, Nonlinear--Numerical solutions

10. Learning Meta-Rule Control of Production Systems from Execution Traces

Harrison, Malcolm C.; Stolfo, Salvatore
1980
Reports
Computer scienceExecution traces (Computer program testing)Explicit memoryImplicit memory

11. A Highly Parallel VLSI-Based Subsystem of the NON-VON Database Machine

Shaw, David Elliot; Ibrahim, Hussein; Andrews, Jim; Wiederhold, Gio
1981
Reports
Computer scienceInformation scienceParallel processing (Electronic computers)Database management--Computer programs

12. NON-VON: A Parallel Machine Architecture For Knowledge-Based Information Processing

Shaw, David Elliot
1981
Reports
Computer scienceInformation scienceInformation storage and retrieval systemsIntegrated circuits--Very large scale integrationParallel programming (Computer science)

13. On the Long-Term Implications of Database Machine Research

Shaw, David Elliot
1981
Reports
Computer scienceInformation scienceDatabase management--Computer programsOperating systems (Computers)Information retrieval

14. Parallel Knowledge-Based Information Retrieval on the NON-VON Machine

Shaw, David Elliot
1981
Reports
Computer scienceInformation scienceInformation retrievalInformation storage and retrieval systems

15. Representing Complex Events Simply

Lebowitz, Michael
1981
Reports
Computer scienceComputer software--Development--Computer programsComputational complexityDomain-specific programming languages

16. Selfish Optimization in Computer Networks

Yemini, Yechiam
1981
Reports
Computer scienceMathematical optimization--Computer programsComputer network protocolsComputer algorithms

17. Average Case Optimal Algorithms in Hilbert Spaces

Wozniakowski, Henryk; Wasilkowski, Grzegorz W.
1982
Reports
Computer scienceAlgorithmsAlgebras, LinearHilbert spaceMathematical optimization--Computer programs

18. Average Case Optimality for Linear Problems

Traub, Joseph F.; Wozniakowski, Henryk; Wasilkowski, Grzegorz W.
1982
Reports
Computer science

19. Complexity of Linear Programming

Traub, Joseph F.; Wozniakowski, Henryk
1982
Reports
Computer science

20. DADO: A Tree-Structured Machine Architecture for Production Systems

Stolfo, Salvatore; Shaw, David Elliot
1982
Reports
Computer science

21. Does Increased Regularity Lower Complexity?

Werschulz, Arthur G.
1982
Reports
Computer science

22. Measuring Uncertainty Without a Norm

Werschulz, Arthur G.
1982
Reports
Computer science

23. On the Optimal Solution of Large Linear Systems

Traub, Joseph F.; Wozniakowski, Henryk
1982
Reports
Computer science

24. Programming the DADO Machine: An Introduction to PPL/M

Stolfo, Salvatore; Miranker, Daniel P.; Shaw, David Elliot
1982
Reports
Computer science

25. Representing Complex Physical Objects in Memory

Wasserman, Kenneth; Lebowitz, Michael
1982
Reports
Computer science

26. Statistical Security of a Statistical Data Base

Traub, Joseph F.; Wozniakowski, Henryk; Yemini, Yechiam
1982
Reports
Computer science

27. The NON-VON Supercomputer

Shaw, David Elliot
1982
Reports
Computer science

28. The TEXT System for Natural Language Generation: An Overview

McKeown, Kathleen
1982
Reports
Computer scienceInformation science

29. Towards Distributed Sensor Networks: An Extended Abstract

Yemini, Yechiam; Lazar, Aurel A.
1982
Reports
Computer scienceComputer engineering

30. Towards the Unification of the Functional and Performance Analysis of Protocols or, Is the Alternating-Bit Protocol Really Correct?

Yemini, Yechiam; Kurose, James F.
1982
Reports
Computer science

31. A Family of Window Protocols for Time-Constrained Applications in CSMA Networks

Kurose, James F.; Schwartz, Mischa
1983
Reports
Computer science

32. Allocation and Manipulation of Records in the NON-VON Supercomputer

Shaw, David Elliot; Hillyer, Bruce K.
1983
Reports
Computer science

33. Architecture and Applications of DADO: A Large-Scale Parallel Computer for Artificial Intelligence

Stolfo, Salvatore; Miranker, Daniel P.; Shaw, David Elliot
1983
Reports
Computer scienceParallel computersArtificial intelligence

34. A Real-Time Transport Protocol

Yemini, Yechiam
1983
Reports
Computer science

35. Average Case ϵ-Complexity in Computer Science: A Bayesian View

Kadane, Joseph B.; Wasilkowski, Grzegorz W.
1983
Reports
Computer scienceMathematicsBayesian statistical decision theory

36. Can Adaption Help on the Average?

Wasilkowski, Grzegorz W.; Wozniakowski, Henryk
1983
Reports
Computer scienceMathematics

37. Classifying Numeric Information for Generalization

Lebowitz, Michael
1983
Reports
Computer science

38. Complexity of Indefinite Elliptic Problems

Werschulz, Arthur G.
1983
Reports
Computer scienceMathematics

39. Computing D-Optimum Weighing Designs: Where Statistics, Combinatorics, and Computation Meet

Galil, Zvi
1983
Reports
Computer scienceMathematics

40. Controlling Window Protocols for Time-Constrained Communication in a Multiple Access Environment

Kurose, James F.; Schwartz, Mischa; Yemini, Yechiam
1983
Reports
Computer science

41. Coping with Complexity

Traub, Joseph F.
1983
Reports
Computer science

42. Counterexamples in Optimal Quadrature

Werschulz, Arthur G.
1983
Reports
Computer scienceMathematics

43. Covers of Attribute Grammars and Sub-Protocol .Attribute Evaluators

Farrow, Rodney
1983
Reports
Computer science

44. Creating a Story-Telling Universe

Lebowitz, Michael
1983
Reports
Computer scienceArtificial intelligence

45. CUPID: A Protocol Development Environment

Yemini, Yechiam; Nounou, Nihal
1983
Reports
Computer science

46. Distributed Multiple Access Protocols and Real-Time Communication

Kurose, James F.; Yemini, Yechiam; Schwartz, Mischa
1983
Reports
Computer science

47. Efficient Algorithms for Finding Maximal Matching in Graphs

Galil, Zvi
1983
Reports
Computer science

48. Environmental Relations in Image Understanding: The Force of Gravity

Kender, John R.
1983
Reports
Computer science

49. Evolution of the NON-VON Supercomputer

Shaw, David Elliot
1983
Reports
Computer science

50. Exercising the NON-VON Primary Processing Subsystem

Hillyer, Bruce K.; Shaw, David Elliot
1983
Reports
Computer science

51. Focus Constraints on Language Generation

McKeown, Kathleen
1983
Reports
Computer science

52. For Which Error Criteria Can We Solve Nonlinear Equations?

Sikorski, Krzysztof A.; Wozniakowski, Henryk
1983
Reports
Computer science

53. Implementing Descriptions Using Non-Von Neumann Parallelism

Lebowitz, Michael
1983
Reports
Computer science

54. Information and Computation

Traub, Joseph F.; Wozniakowski, Henryk
1983
Reports
Computer scienceMathematicsMathematics--Philosophy

55. Is Gauss quadrature optimal for analytic functions?

Kowalski, M. A.; Werschulz, Arthur G.; Wozniakowski, Henryk
1983
Reports
Computer scienceMathematics

56. Local Average Error

Wasilkowski, Grzegorz W.
1983
Reports
Computer scienceMathematics

57. Lower Bounds on Communication Complexity

Duris, Pavol; Galil, Zvi; Schnitger, Georg
1983
Reports
Computer science

58. Natural Language Systems: How are they meeting human needs?

McKeown, Kathleen
1983
Reports
Natural language processing (Computer science)Computer science

59. NON-VON's Performance on Certain Database Benchmarks

Hillyer, Bruce K.; Shaw, David Elliot; Nigam, Anil
1983
Reports
Computer science

60. On the Design of Parallel Production System Machines: What's in a LIP?

Stolfo, Salvatore
1983
Reports
Computer scienceArtificial intelligence

61. Optimal Integration for Functions of Bounded Variation

Traub, Joseph F.; Lee, David
1983
Reports
Computer scienceMathematics

62. Optimal Parallel Algorithms for String Matching

Galil, Zvi
1983
Reports
Computer science

63. Optimal Solution of Nonlinear Equations Satisfying a Lipschitz Condition

Sikorski, Krzysztof A.
1983
Reports
Computer science

64. Paraphrasing questions using given and new information

McKeown, Kathleen
1983
Articles
Computer science

65. Performance Analysis of Two Competing DADO PE Designs

Miranker, Daniel P.
1983
Reports
Computer science

66. Performance Evaluation of an Integrated Access Scheme in a Satellite Communication Channel

Suda, Tatsuya; Miyahara, Hideo; Hasegawa, Toshiharu
1983
Reports
Computer science

67. Performance Evaluation of a Packetized Voice System Simulation Study

Suda, Tatsuya; Miyahara, Hideo; Hasegawa, Toshiharu
1983
Reports
Computer science

68. Physical Object Representation and Generalization: A Survey of Natural Language Processing Programs

Wasserman, Kenneth
1983
Reports
Computer science

69. PROLOG on the DADO Machine: A Parallel System For High-Speed Logic Programming

Taylor, Stephen; Maio, Christopher; Stolfo, Salvatore; Shaw, David Elliot
1983
Reports
Computer science

70. Protocol Architecture of a Tree Network with Collision Avoidance Switches

Suda, Tatsuya
1983
Reports
Computer science

71. Recursion in Text and Its Use in Language Generation

McKeown, Kathleen
1983
Reports
Computer science

72. Research Directions in Distributed Computing and Communications

Yemini, Yechiam
1983
Reports
Computer science

73. RESEARCHER: An Overview

Lebowitz, Michael
1983
Reports
Computer science

74. Some Nonlinear Operators Are as Easy to Approximate as the Identity Operator

Wasilkowski, Grzegorz W.
1983
Reports
Computer scienceMathematics

75. Table-driven Rules in Expert Systems

Pasik, Alexander J.; Schor, Marshall
1983
Reports
Computer scienceMathematics

76. The Accurate Solution of Certain Continuous Problems Using Only Single Precision

Jankowski, Michal; Wozniakowski, Henryk
1983
Reports
Computer scienceMathematics

77. The DADO Parallel Computer

Stolfo, Salvatore
1983
Reports
Computer science

78. The NON-VON Supercomputer Project: Current Ideology and Three-Year Plan

Shaw, David Elliot
1983
Reports
Computer science

79. Two Nonlinear Bounds for On-Line Computations

Duris, Pavol; Galil, Zvi; Paul, Wolfgang; Reischuk, Ruediger
1983
Reports
Computer science

80. User-Oriented Explanation for Expert Systems

McKeown, Kathleen
1983
Reports
Computer science

81. Using Focus to Generate Complex and Simple Sentences

Derr, Marcia A.; McKeown, Kathleen
1983
Reports
Computer science

82. What Is the Complexity of Related Elliptic, Parabolic, and Hyperbolic Problems?

Werschulz, Arthur G.
1983
Reports
Computer scienceMathematics

83. Algebraic Specification-Based Performance Analysis or Communication Protocols

Nounou, Nihal; Yemini, Yechiam
1984
Reports
Computer science

84. An Analysis of Abstraction in Problem Solving

Korf, Richard E.
1984
Reports
Computer science

85. An Eight-Processor Chip for a Massively Parallel Machine

Shaw, David Elliot; Sabety, Theodore M.
1984
Reports
Computer science

86. An O(EV log V) Algorithm for Finding a Maximal Weighted Matching in General Graphs

Galil, Zvi; Micali, Silvio; Gabow, Harold
1984
Reports
Computer science

87. A Note on Bivariate Box Splines on a k-direction Mesh

Lee, David
1984
Reports
Computer science

88. A Note on Implementing OPS5 Production Systems on DADO

Stolfo, Salvatore
1984
Reports
Computer science

89. An Overview of the DADO Parallel Computer

Lerner, Mark D.; Maguire, Gerald Q.; Stolfo, Salvatore
1984
Reports
Computer science

90. Approximation of Linear Operators on a Wiener Space

Lee, David
1984
Reports
Computer science

91. A Secure and Useful 'Keyless Cryptosystem'

Yung, Mordechai M.
1984
Reports
Computer science

92. A Statistical Mechanics of Some Interconnection Networks

Pinsky, Eugene; Yemini, Yechiam
1984
Reports
Computer science

93. A Survey of Tree-Walk Evaluation Strategies for Attribute Grammars

Yellin, Daniel
1984
Reports
Computer science

94. Asymptotic Optimality of the Bisection Method

Sikorski, Krzysztof A.; Trojan, G. M.
1984
Reports
Computer scienceMathematics

95. Can We Approximate Zeros of Functions with Non-zero Topological Degree?

Boult, Terrance E.; Sikorski, Krzysztof A.
1984
Reports
Computer science

96. Concept Learning in a Rich Input Domain: Generalization-Based Memory

Lebowitz, Michael
1984
Reports
Computer science

97. Construction Through Decomposition: A Linear Time Algorithm for the N-queens Problem

Abramson, Bruce; Yung, Mordechai M.
1984
Reports
Computer science

98. Creating Characters in a Story-Telling Universe

Lebowitz, Michael
1984
Reports
Computer scienceInformation scienceLiterature

99. Cryptoprotocols: Subscription to a Public Key, the Secret Blocking and the Multi-Player Mental Poker Game

Yung, Mordechai M.
1984
Reports
Computer science

100. DADO: A Parallel Processor for Expert Systems

Stolfo, Salvatore; Miranker, Daniel P.
1984
Reports
Computer science