WorldCat Identities

Brown University Department of Computer Science

Overview
Works: 86 works in 94 publications in 1 language and 800 library holdings
Genres: Periodicals  Conference proceedings 
Classifications: QA166, 511
Publication Timeline
Key
Publications about Brown University Publications about Brown University
Publications by Brown University Publications by Brown University
Most widely held works about Brown University
 
Most widely held works by Brown University
Journal of graph algorithms and applications ( )
in English and held by 430 WorldCat member libraries worldwide
PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 by Paris C. Kanellakis Memorial Workshop ( Book )
3 editions published in 2003 in English and held by 141 WorldCat member libraries worldwide
A method for the specification and parsing of visual languages by Eric J Golin ( Book )
2 editions published between 1990 and 1991 in English and held by 7 WorldCat member libraries worldwide
An approach to uncertainty in VLSI design by Cheryl L Harkness ( Book )
1 edition published in 1991 in English and held by 7 WorldCat member libraries worldwide
Planning in an open=textured domain : a thesis proposal by Kathryn E Sanders ( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
Predictive caching by Mark L Palmer ( Book )
1 edition published in 1990 in English and held by 6 WorldCat member libraries worldwide
CI2, a logic for plural representation by Felix Yen ( Book )
1 edition published in 1990 in English and held by 6 WorldCat member libraries worldwide
Probabilistic abduction for plan recognition by Eugene Charniak ( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
The Lark project : design of a highly parallel programmable logic array by Scott Apgar ( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
A new admissible heuristic for minimal-cost proofs by Eugene Charniak ( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
Constraint logic programming by Pascal Van Hentenryck ( Book )
1 edition published in 1991 in English and held by 6 WorldCat member libraries worldwide
The cardinality operator is independent of the computation model, subsumes a number of control mechanisms and constraints that were sometimes introduced in a rather ad-hoc manner, and can be seen as a new relational combinator in the ask & tell framework. Programming examples and computation results are given, showing the versatility and efficiency of the operator."
Constructive solid geometry for triangulated polyhedra by Philip M Hubbard ( Book )
1 edition published in 1990 in English and held by 6 WorldCat member libraries worldwide
A preference-based approach to inheritance by Lynn Andrea Stein ( Book )
1 edition published in 1990 in English and held by 6 WorldCat member libraries worldwide
Dynamic expression trees by Robert F Cohen ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Unification and ML type reconstruction by P. C Kanellakis ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
An object-oriented framework for the integration of interactive animation techniques by Robert C Zeleznik ( Book )
1 edition published in 1991 in English and held by 5 WorldCat member libraries worldwide
Resolving ambiguity in nonmonotonic reasoning by Lynn Andrea Stein ( Book )
1 edition published in 1991 in English and held by 5 WorldCat member libraries worldwide
A denotational semantics of inheritance by William R Cook ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Constraints induced by self-reference and inheritance are investigated using type theory and yield a formal characterization of abstract classes and a demonstration that the subtype relation is a direct consequence of the basic mechanism of inheritance. The model is proven equivalent to the operational semantics of inheritance embodied by the interpreters of object-oriented languages like Smalltalk. Concise descriptions of inheritance behavior in several object-oriented languages, including Smalltalk, Beta, Simula, and Flavors, are presented in a common framework that facilitates direct comparison of their features."
A logic-programming approach to all-paths parsing by Robert P Goldman ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
Applications of pyramid structures to multiscale optical flow by Ted Camus ( Book )
1 edition published in 1990 in English and held by 5 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.59 for Journal of ... to 0.92 for An approac ...)
Alternative Names

controlled identity Brown University

Brown Computer Science
Brown University. Dept. of Computer Science
Languages
English (28)