WorldCat Identities

Stanford University Computer Science Department

Overview
Works: 2,352 works in 3,345 publications in 1 language and 7,926 library holdings
Genres: Conference papers and proceedings  Bibliography  Handbooks and manuals  Examinations, questions, etc  Terminology 
Roles: Other
Classifications: QA42, 808.066
Publication Timeline
.
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 )

3 editions published in 1986 in English and held by 220 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 106 WorldCat member libraries worldwide

Mathematics of Computing -- Parallelism
An architecture for adaptive intelligent systems by Barbara Hayes-Roth( Book )

4 editions published between 1987 and 1994 in English and held by 100 WorldCat member libraries worldwide

To function effectively throughout the range of situations presented by an AIS niche, an agent must be highly adaptive. In contrast with the rather stereotypic behavior of typical AI agents, an AIS must adapt several key aspects of its behavior to its dynamic situation: its perceptual strategy, its control mode, its choices of reasoning tasks to perform, its choices of reasoning methods for performing chosen tasks; and its meta-control strategy for global coordination of all its behavior. We have designed and implemented an agent architecture that supports all of these different kinds of adaptation by exploiting a single underlying theoretical concept: An agent dynamically constructs explicit control plans to guide its choices among situation-triggered behaviors
Abstraction planning in real time by Richard Washington( Book )

2 editions published in 1994 in English and held by 89 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."
Model formulation for physics problem solving by Gordon S Novak( Book )

3 editions published in 1982 in English and held by 53 WorldCat member libraries worldwide

A programming and problem solving seminar by Kenneth A Ross( Book )

18 editions published between 1977 and 1989 in English and held by 52 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."
Mathematical writing by Donald Ervin Knuth( Book )

2 editions published in 1988 in English and held by 43 WorldCat member libraries worldwide

APL '91 Stanford University : conference proceedings by APL Conference( Book )

6 editions published in 1991 in English and held by 32 WorldCat member libraries worldwide

First grade T[subscript E]X : a beginners T[subscript E]X manual by Arthur L Samuel( Book )

5 editions published in 1983 in English and held by 30 WorldCat member libraries worldwide

The Euler project at Stanford by David R Siegel( Book )

1 edition published in 1985 in English and held by 25 WorldCat member libraries worldwide

A log file service exploiting write-once storage by Stanford University( Book )

5 editions published between 1987 and 1989 in English and held by 22 WorldCat member libraries worldwide

We describe both the benefits and the drawbacks of this approach, and, in particular, describe how a general file system can be structured in this manner. A trace-driven simulation of such a file system shows that (with moderately large file caches) the overhead introduced by the underlying logging service is very low
An Instrumented architectural simulation system by Stanford University( Book )

6 editions published in 1987 in English and held by 19 WorldCat member libraries worldwide

Simulation of systems at an architectural level can offer an effective way to study critical design choices if (1) the performance of the simulator is adequate to examine designs executing significant code bodies--not just toy problems or small application fragments, (2) the details of the simulation include the critical details of the design, (3) the view of the design presented by the simulator instrumentation leads to useful insights on the problem with the design, and (4) there is enough flexibility in the simulation system so that the asking of unplanned questions is not suppressed by the weight of the mechanisms involved in making changes either in the design or its measurement. A simulation system with these goals is described together with the approach to its implementation. Its application to the study of a particular class of multiprocessor hardware system architectures is illustrated
Proving termination properties of PROLOG programs : a semantic approach by Marianne Baudinet( Book )

2 editions published in 1988 in English and held by 17 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
Bibliography, Department of Computer Science : technical reports, 1963-1988 by Taleen Marashian Nazarian( Book )

3 editions published between 1988 and 1990 in English and held by 17 WorldCat member libraries worldwide

Abstract: "This report lists, in chronological order, all reports published by the Stanford Computer Science Department (CSD) since 1963. Each report is identified by CSD number, author's name, title, number of pages and date. If a given report is available from the department at the time of this Bibliography's printing, price is also listed. For convenience, an author index is included in the back of the text. This report supersedes all previous editions. Some reports are noted with a National Technical Information Service (NTIS) retrieval number (i.e., AD- XXXXXX), if available from the NTIS. Other reports are noted with Knowledge Systems Laboratory (KSL) or Computer Systems Laboratory (CSL) numbers (KSL-XX-XX; CSL-TR-XX-XX), and may be requested from KSL or CSL, respectively."
Toward agent programs with circuit semantics by Nils J Nilsson( Book )

3 editions published in 1992 in English and held by 16 WorldCat member libraries worldwide

Abstract: "New ideas are presented for computing and organizing actions for autonomous agents in dynamic environments -- environments in which the agent's current situation cannot always be accurately discerned and in which the effects of actions cannot always be reliably predicted. The notion of 'circuit semantics' for programs based on 'teleo-reactive trees' is introduced. Program execution builds a combinational circuit which receives sensory inputs and controls actions. These formalisms embody a high degree of inherent conditionality and thus yield programs that are suitably reactive to their environments. At the same time, the actions computed by the programs are guided by the overall goals of the agent
Logic programming semantics : techniques and applications by Marianne Baudinet( Book )

3 editions published in 1989 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
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

Representation of knowledge : a section of the handbook of artificial intelligence edited by Avron Barr and Edward Feigenbaum by Avron Barr( Book )

6 editions published in 1980 in English and held by 16 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)
Learning HCI design : mentoring project groups in a course on human-computer interaction by Stanford University( Book )

2 editions published in 1991 in English and held by 8 WorldCat member libraries worldwide

We discuss: the background for the projects; the role of mentors in the learning process; what is required of mentors and what benefits they get; how to support the mentoring process; and what we have learned from the experience so far. We consider mentors to be a critical part of the design project within the course, and we welcome a sharing of experience with other people who may have developed similar courses where mentors played an important role."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.41 for Mathematic ... to 0.82 for Computer s ...)

Alternative Names

controlled identityStanford University

Computer Science Department

Department of Computer Science

Stanford Department of Computer Science

Stanford Dept. of Computer Science

Stanford University. Computer Science Dept.

Stanford University Department of Computer Science

Stanford University. Dept. of Computer Science

Languages
English (114)