WorldCat Identities

Carnegie-Mellon University Computer Science Department

Overview
Works: 590 works in 646 publications in 1 language and 2,737 library holdings
Genres: Conference proceedings  Periodicals  Abstracts  Catalogs  Bibliography‡vCatalogs  Biography 
Classifications: QA76.6, 519.4
Publication Timeline
Key
Publications about Carnegie-Mellon University Publications about Carnegie-Mellon University
Publications by Carnegie-Mellon University Publications by Carnegie-Mellon University
Most widely held works about Carnegie-Mellon University
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Carnegie-Mellon University
Algorithms and complexity : new directions and recent results : [proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976] by Symposium on New Directions and Recent Results in Algorithms and Complexity ( Book )
4 editions published in 1976 in English and held by 323 WorldCat member libraries worldwide
Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University by Symposium on Perspectives on Computer Science ( Book )
4 editions published in 1977 in English and held by 305 WorldCat member libraries worldwide
Analytic computational complexity by Symposium on Analytic Computational Complexity ( Book )
5 editions published in 1976 in English and held by 291 WorldCat member libraries worldwide
Contributed papers by IEEE Symposium on Speech Recognition ( Book )
1 edition published in 1974 in English and held by 92 WorldCat member libraries worldwide
Desires and diversions by Allen Newell ( Visual )
1 edition published in 1993 in English and held by 35 WorldCat member libraries worldwide
Allen Newell presents a retropection of his lifelong pursuit of a single scientific goal: understanding the nature of the human mind. He discusses when a scientific life REALLY starts, how to make diversions and failures useful, and what to do with successes
Algorithms and complexity : new directions and recent results by J. F Traub ( Book )
2 editions published in 1977 in English and held by 19 WorldCat member libraries worldwide
CMU-CS ( )
in English and held by 14 WorldCat member libraries worldwide
Computer science research review ( )
in English and held by 13 WorldCat member libraries worldwide
Explorations of the cognitive processes in design by Charles M Eastman ( Book )
1 edition published in 1968 in English and held by 13 WorldCat member libraries worldwide
Speech-understanding systems: final report of a study group ( Book )
1 edition published in 1971 in English and held by 10 WorldCat member libraries worldwide
Analysis of languages for man-machine voice communication by Robert Gary Goodman ( Book )
2 editions published in 1976 in English and held by 10 WorldCat member libraries worldwide
This dissertation describes a general model for the analysis of languages for man-machine communication. It is the first known study of ambiguity at all levels of recognition and represents the best analytical tool, to date, for the design of languages. The model unifies the concepts of ambiguity and restriction done by expressing each as a branching factor--a notion which is easily understood and visualized. Ambiguity increases the branching factor while restriction reduces it. Using branching factor has the advantage that an effective search space size may be computed for any language. Further, since ambiguity and syntactic restriction are expressed in a uniform way, the effect of one with respect to the other may be evaluated by considering search space reduction ratios. The model is useful for comparing the relative complexities faced by speech understanding systems. Effective vocabulary size provides a way of measuring the complexity in isolated word recognition while effective search space size measures language complexity. Thus, the performance of 2 systems may be contrasted by using these measures; previously, this could be done only if the 2 systems had been tested using the same data; a situation which occured rarely
Predicate path expressions : a high-level synchronization mechanism by Sten Andler ( Book )
1 edition published in 1979 in English and held by 9 WorldCat member libraries worldwide
Automatic partitioning and scheduling on a network of personal computers by David A Hornig ( Book )
2 editions published in 1984 in English and held by 9 WorldCat member libraries worldwide
Designing a rule system that searches for scientific discoveries by Douglas B Lenat ( Book )
2 editions published in 1977 in English and held by 9 WorldCat member libraries worldwide
Some scientific inference tasks (including mass spectrum identification medical diagnosis, and math theory development have been successfully modelled as rule-directed search processes. These rule systems are designed quite differently from 'pure production systems'. By concentrating upon the design of one program (AM), we shall show how 13 kinds of design deviations arise from the level of sophistication of the task that the system is designed to perform, the inherent nature of the task, and the designer's view of the task. The limitations of AM suggest even more radical departures from traditional rule system architecture. All these modifications are then collected into a new, complicated set of constraints on the form of the data structures, the rules, the interpreter, and the distribution of knowledge between rules, and data structures. These new policies sacrifice uniformity in the interests of clarity, efficiency and power derivable from a thorough characterization of the task. Rule systems whose architectures conform to the new design principles will be more awkward for many tasks than would 'pure' systems. Nevertheless, the new architecture should be significantly more powerful and natural for building rule systems that do scientific discovery tasks
A multi-level organization for problem solving using many, diverse, cooperating sources of knowledge by Lee D Erman ( Book )
2 editions published in 1975 in English and held by 9 WorldCat member libraries worldwide
An organization is presented for implementing solutions to knowledge-based Artificial Intelligence problems. The hypothesize-and-test paradigm is used as the basis for cooperation among many diverse and independent knowledge sources (KS's). The KS's are assumed individually to be errorful and incomplete. A uniform and integrated multi-level structure, the blackboard holds the current state of the system. Knowledge sources cooperate by creating, accessing, and modifying elements in the blackboard. Each level in the blackboard specifies a different representation of the problem space; the sequence of levels forms a loose hierarchy in which the elements at each level can approximately be described as abstractions of elements at the next lower level. The elements at each level in the blackboard are hypotheses about some aspect of that level. The internal structure of an hypothesis consists of a fixed set of attributes; this set is the same for hypotheses at all levels of representation in the blackboard. These attributes are selected to serve as mechanisms for implementing the data-directed hypothesize-and-test paradigm and for efficient goal-directed scheduling of KS's. The HearsayII speech-understanding system is an implementation of this organization; it is used here as an example for descriptive purposes
A comparison of programming languages for software engineering ( Book )
1 edition published in 1978 in English and held by 9 WorldCat member libraries worldwide
Artificial intelligence research reports ( Book )
2 editions published in 1984 in English and held by 9 WorldCat member libraries worldwide
Production systems as a programming language for artificial intelligence applications by Michael David Rychener ( Book )
2 editions published in 1976 in English and held by 9 WorldCat member libraries worldwide
On the efficient implementation of production systems by Charles L Forgy ( Book )
2 editions published in 1979 in English and held by 9 WorldCat member libraries worldwide
Analysis of the binary Euclidean algorithm by R. P Brent ( Book )
1 edition published in 1976 in English and held by 9 WorldCat member libraries worldwide
In this paper the author analyzes a continuous model of the binary algorithm and finds the expected number of iterations. The results agree with the observed behavior of the algorithm much better than those predicted by Knuth's 'lattice-point' model
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.81 (from 0.00 for The CMU Co ... to 1.00 for Oral histo ...)
Alternative Names

controlled identity Carnegie-Mellon University

controlled identity Carnegie-Mellon University. School of Computer Science

Carnegie-Mellon University. Computer Science Dept.
Carnegie-Mellon University. Department of Computer Science
Carnegie-Mellon University. Dept. of Computer Science
CMU-CS Abkuerzung
Computer Science Department
Department of Computer Science
Languages
English (49)