WorldCat Identities

Stanford University Computer Science Department

Overview
Works: 1,670 works in 2,366 publications in 1 language and 7,017 library holdings
Genres: Conference proceedings  Handbooks, manuals, etc  Bibliography  Examinations, questions, etc  Terminology  Periodicals 
Classifications: QA42, 808.066
Publication Timeline
Key
Publications about Stanford University Publications about Stanford University
Publications by Stanford University Publications by Stanford University
Most widely held works about Stanford University
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Stanford University
New computing environments : parallel, vector and systolic ( Book )
2 editions published in 1986 in English and held by 218 WorldCat member libraries worldwide
Parallel processing and medium-scale multiprocessors by Workshop on Parallel Processing and Medium-scale Multiprocessors ( Book )
3 editions published in 1989 in English and held by 113 WorldCat member libraries worldwide
Mathematics of Computing -- Parallelism
An architecture for adaptive intelligent systems by Barbara Hayes-Roth ( Book )
2 editions published in 1993 in English and held by 88 WorldCat member libraries worldwide
Abstract: "Our goal is to understand and build comprehensive agents that function effectively in challenging niches. In particular, we identify a class of niches to be occupied by 'adaptive intelligent systems (AISs).' In contrast with niches occupied by typical AI agents, AIS niches present situations that vary dynamically along several key dimensions: different combinations of required tasks, different configurations of available resources, contextual conditions ranging from benign to stressful, and different performance criteria. We present a small class hierarchy of AIS niches that exhibit these dimensions of variability and describe a particular AIS niche, ICU (intensive care unit) patient monitoring, which we use for illustration throughout the paper
Abstraction planning in real time by Richard Washington ( Book )
2 editions published in 1994 in English and held by 88 WorldCat member libraries worldwide
Abstract: "When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. The agent needs to be able to fall back on an ability to construct plans at run time under time constraints. This thesis presents a method for planning at run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies. The method has been implemented, and experiments have been run to validate the overall approach and the theoretical model."
A programming and problem solving seminar by Kenneth A Ross ( Book )
18 editions published between 1977 and 1989 in English and held by 63 WorldCat member libraries worldwide
This report contains edited transcripts of the discussions held in Stanford's Computer Science problem solving course, CS304, during winter quarter 1989. Since the topics span a large range of ideas in computer science, and since most of the important research paradigms and programming paradigms were touched on during the discussions, these notes may be of interest to graduate students of computer science at other universities, as well as to their professors and to professional people in the "real world."
APL '91 Stanford University : conference proceedings by APL Conference ( )
3 editions published in 1991 in English and held by 59 WorldCat member libraries worldwide
Model formulation for physics problem solving by Gordon S Novak ( Book )
2 editions published in 1982 in English and held by 52 WorldCat member libraries worldwide
Mathematical writing by Donald Ervin Knuth ( Book )
2 editions published in 1988 in English and held by 42 WorldCat member libraries worldwide
Memo ( )
in English and held by 24 WorldCat member libraries worldwide
Report ( )
in English and held by 24 WorldCat member libraries worldwide
First grade T[subscript E]X : a beginners T[subscript E]X manual by Arthur L Samuel ( Book )
2 editions published in 1983 in English and held by 23 WorldCat member libraries worldwide
The Euler project at Stanford by David A Siegel ( Book )
1 edition published in 1985 in English and held by 23 WorldCat member libraries worldwide
Programming in Qlisp : a case study by Arkady Rabinov ( Book )
4 editions published between 1989 and 1990 in English and held by 21 WorldCat member libraries worldwide
We describe the results of some experiments with Qlisp--an extension of common Lisp for shared memory multiprocessors. The experiments involved several parallel implementations of the modular univariate polynomial greatest common divisor algorithm in Qlisp on an Alliant Fx/8 multiprocessor. These implementations are described and the requisite Qlisp constructs are described and explained (largely by example). The performance of the parallel implementations is analyzed and some areas of future improvement in the current Qlisp implementation and the algorithm are found
Representation of knowledge : a section of the handbook of artificial intelligence edited by Avron Barr and Edward Feigenbaum by Avron Barr ( Book )
7 editions published in 1980 in English and held by 19 WorldCat member libraries worldwide
This report is the section of the Handbook of Artificial Intelligence about knowledge representation research. The Handbook is a compendium of articles about AI ideas, techniques, and systems intended for non-AI scientists, engineers, and students. The material in this report discusses the problems addressed in knowledge representation research in AI and suggests some ways of comparing the various representation schemes. Additional articles describe the AI representation techniques: logic, procedural representations, semantic nets, production systems, direct (analogical) representations, semantic primitives, and frames. (Author)
Generation of model-based knowledge-acquisition tools for clinical-trial advice systems by Mark A Musen ( Book )
3 editions published in 1988 in English and held by 16 WorldCat member libraries worldwide
Addition machines by Robert W Floyd ( Book )
4 editions published in 1989 in English and held by 16 WorldCat member libraries worldwide
We will consider how efficiently an integer addition machine can do operations such multiplication, division, greatest common divisor, exponentiation, and sorting. We will also show that any addition machine with at least six registers can compute the ternary operation x[y/z] with reasonable efficiency, given x, y, z in A with z not equal to 0
Proving termination properties of PROLOG programs : a semantic approach by Marianne Baudinet ( Book )
2 editions published in 1988 in English and held by 16 WorldCat member libraries worldwide
We present a method for proving termination properties of PROLOG programs including programs with cuts. Programs are viewed as functions mapping goals into finite or infinite sequences of answer substitutions. We associate with each program a system of functional equations whose least fixpoint is the meaning of the program. Then, various termination or non-termination properties as well as partial correctness statements can be proved by reasoning with the program equations and using fixpoint or structural induction. The method is amenable to automatic implementation
Planning the motions of a mobile robot in a sensory uncertainty field by Haruo Takeda ( Book )
2 editions published between 1992 and 1993 in English and held by 16 WorldCat member libraries worldwide
This paper describes in detail the computation of a SUF for a classical line-striping camera/laser range sensor. It presents an implemented SUF-based motion planner for a robot equipped with this sensor and analyzes experimental results produced with this planner. Finally, it discusses additional issues related to the SUF-based planning approach."
Dynamics for robot control : friction modeling and ensuring excitation during parameter identification by Brian Stewart Randall Armstrong ( Book )
4 editions published in 1988 in English and held by 16 WorldCat member libraries worldwide
To accurately control any mechanism it is necessary to know the relationship between applied forces and the resultant motion. These forces may be simple to compute, as is the case for many single degree of freedom machines; or they may be quite complex. Two steps toward the accurate prediction of motion forces are presented in this thesis: an experimental investigation of friction, and a study of the sensitivity of robot inertial parameter identification methods to noise. The friction study begins with an experimental investigation of the most basic properties required for predictive modeling: repeatability and structure. Friction is found to be surprisingly repeatable; position dependence is found, and a destabilizing effect - the Stribeck effect - is observed at low velocity. The experimental work is specific to a particular mechanism: the PUMA 560 arm; but many of the observations, particularly the study of the Stribeck effect, will extend to a broad class of machines. Using the friction model developed and an inertial model reported elsewhere, open-loop control of the PUMA robot is carried out, demonstrating the accuracy of the friction model. When designing an identification experiment for a system described by nonlinear functions, such as those of manipulator dynamics, it is necessary to consider whether the excitation is sufficient to provide an accurate estimate of the parameters in the presence of experimental noise. (sdw)
Metamarks : preliminary studies for a Pandora's box of shapes by Neenie Billawala ( Book )
2 editions published in 1989 in English and held by 15 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.85 (from 0.47 for The living ... to 1.00 for Oral histo ...)
Alternative Names

controlled identity Stanford University

Computer Science Department
Computer Science Dept.
CS Abkuerzung
CS Department
Department of Computer Science
Dept. of Computer Science
School of Engineering Computer Science Department
School of Engineering Computer Science Dept.
School of Engineering CS Department
School of Engineering Department of Computer Science
School of Engineering Dept. of Computer Science
Stanford Computer Science
Stanford Computer Science Department
Stanford Department of Computer Science
Stanford Dept. of Computer Science
Stanford University. Computer Science Dept.
Stanford University CS Department
Stanford University. Department of Computer Science
Stanford University Dept. of Computer Science
Stanford University Stanford Computer Science
Languages
English (104)