■
David Applegate
Sampling, Integration, and Computing Volumes
Technical Report #CMU-CS-91-207 ,Department of Computer Science, Carnegie Mellon University, December 1991

詳細　Wikiページ作成　関連カテゴリ:

■
David Applegate, Guy Jacobson, Daniel Sleator
Computer Analysis of Sprouts
Technical Report #CMU-CS-91-144 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Kenichi Arakawa, Eric Krotkov
Estimating fractal Dimension from Range Images of Natural Terrain
Technical Report #CMU-CS-91-156 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Joseph Bates
Deep Structure for Virtual Reality
Technical Report #CMU-CS-91-133 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Joseph Bates, Alon Lavie
Recognizing Substring of LR(k) Languages in Linear Time
Technical Report #CMU-CS-91-188 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Erik Brunvand
Translating Concurent Communicating programs into Asynchronous Circuits
Technical Report #CMU-CS-91-198 ,Department of Computer Science, Carnegie Mellon University, September 1991

詳細　Wikiページ作成　関連カテゴリ:

■
JOSE C.BRUSTOLONI Title:
Technical Report #CMU-CS-91-204 ,Department of Computer Science, Carnegie Mellon University, 1991 Month:

詳細　Wiki　関連カテゴリ:

■
Stephen Brookes, Shai Geva
Towards a Theory of Parallel Algorithms on Concrete Data Structures
Technical Report #CMU-CS-91-157 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Stephen Brookes, Shai Geva
A Cartesian Closed Category of Parallel Algorithms between Scott Domains
Technical Report #CMU-CS-91-159 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Randal E. Bryant
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams
Technical Report #CMU-CS-91-162 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Randy C. Brost
Analysis and Planning of Planar Manipulation Tasks
Technical Report #CMU-CS-91-149 ,Department of Computer Science, Carnegie Mellon University, January 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Stephen Brookes, Shai Geva
Continuous Functions and Parallel Algorithms on Concrete Data Structures
Technical Report #CMU-CS-91-160 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Stephen Brookes, Shai Geva
Computational Comonads and Intensional Semantics
Technical Report #CMU-CS-91-190 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Erik Brunvand
Translating Concurrent Communicating Programs into Asynchronous Circuits
Technical Report #CMU-CS-91-198 ,Department of Computer Science, Carnegie Mellon University, September 1991

詳細　Wikiページ作成　関連カテゴリ:

■
J. B. Burch, E. M. Clarke, D. E. Long
Symbolic Model Checking with Partitioned Transition Relations
Technical Report #CMU-CS-91-195 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Brian N. Bershad, Matthew J. Zekauskas
Shared Memory Parallel Programming with Entry Consistency for Distributed Memory Multiprocessors
Technical Report #CMU-CS-91-170 ,Department of Computer Science, Carnegie Mellon University, September 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Brian N. Bershad
Mutual Exclusion for Uniprocessors
Technical Report #CMU-CS-91-116 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Brian N. Bershad
Practical Considerations for Lock-Free Concurrent Objects
Technical Report #CMU-CS-91-183 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Guy E. Blelloch
NESL: A Nested Data-Parallel Language
Technical Report #CMU-CS-92-103 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Siddhartha Chatterjee and Guy E. Blelloch and , Allan L. Fisher
Size and Access Inference for Date-parallel Programs institution = "Carnegie Mellon University, School of Computer Science
Technical Report #CMU-CS-91-118, March 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Lonnie Chrisman
Learning Recursive Distributed Representations for Holistic Computation
Technical Report #CMU-CS-91-154 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Stewart M. Clamen
Data Persistence in Programming Languages A Survey
Technical Report #CMU-CS-91-155 ,Department of Computer Science, Carnegie Mellon University, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Eric Cooper, Rober Harper, Peter Lee
The Fox Project: Advanced Development of Systems Software
Technical Report #CMU-CS-91-178 ,Department of Computer Science, Carnegie Mellon University, August 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Christopher Colby, Peter Lee
A Modular Implementation of Partial Evaluation
Technical Report #CMU-CS-92-123 ,Department of Computer Science, Carnegie Mellon University, March 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean
Continuations: Unifying thread Management and Communication in Operating Systems
Technical Report #CMU-CS-91-115 ,Carnegie Mellon University, School of Computer Science, March 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Scott Dietzenu
A Language for Higher-Order Explanation-Based Learning
Technical Report #CMU-CS-92-110 ,Department of Computer Science, Carnegie Mellon University, January 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Michael Erdmann
Towards Task-Level Planning: Action-Based Sensor Design
Technical Report #CMU-CS-92-116 ,Department of Computer Science, Carnegie Mellon University, February 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Herbert D. Enderton
The Golem Go Program
Technical Report #CMU-CS-92-101 ,Department of Computer Science, Carnegie Mellon University, December 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Scott E. Fahlman
The Recurrent Cascade-Correlation Architecture
Technical Report #CMU-CS-91-100 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Alessandro Forin, David Golub, Brain N. Bershad
An I/O System for March 3.0
Technical Report #CMU-CS-91-191 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
David Garlan, David Notkin
Formalizing Design Spaces: Implicit Invocation Mechanisms
Technical Report #CMU-CS-91-114 ,Carnegie Mellon University, School of Computer Science, March 1991

詳細　Wikiページ作成　関連カテゴリ:

■
John Greiner
Programming with Inductive and Co-Inductive Types
Technical Report #CMU-CS-92-109 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Concept Acquisition through Attribute Evolution and Experiment, Selection
Klaus Peter Gross
Technical Report #CMU-CS-91-186 ,Department of Computer Science, Carnegie Mellon University, Aug 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Aarti Gupta
Formal Hardware Verification Methods: A Survey
Technical Report #CMU-CS-91-193 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Yolanda Gil
A Specification of Manufacturing Processes for Planning
Technical Report #CMU-CS-91-179 ,Department of Computer Science, Carnegie Mellon University, Aug 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Michael Gleicher, Andrew Witkin
Differntial Manipulation
Technical Report #CMU-CS-91-123 ,Carnegie Mellon University, School of Computer Science, March 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Michael Gleicher, Andrew Witkin
Creating and Manipulating Constrained Models
Technical Report #CMU-CS-91-125 ,Carnegie Mellon University, School of Computer Science, January 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Alexander G. Hauptmann
Meaning from Structure in Natural Language Processing
Technical Report #CMU-CS-91-158 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Alexander G. Hauptmann
Meaning from Structure in Natural Language Processing
Technical Report #CMU-CS-91-158 ,Department of Computer Science, Carnegie Mellon University, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Robert Harper, Mark Lillibridge
Polymorphic Type Assignment and CPS Conversion
Technical Report #CMU-CS-92-122 ,Department of Computer Science, Carnegie Mellon University, April 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Robert Harper, Furio Honsell, Gordon Plotkin
A framework for defining Logics
Technical Report #CMU-CS-91-153 ,Carnegie Mellon University, School of Computer Science, June 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Xuedong Huang, Fileno Alleva, Hsiao-Wuen Hon, Mei-Yuh Hwang, Ronald Rosenfield
The SPHINX-II Speech Recognition System: An Overview
Technical Report #CMU-CS-92-112 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Nevin Heintze, Joxan Jaffar
A Decision Procedure for a Class of Set Constraints
Technical Report #CMU-CS-91-110 ,Carnegie Mellon University, School of Computer Science, February 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Nevin Heintze, J.D. Tygar
Timed Models for Protocol Security
Technical Report #CMU-CS-92-100 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
C. Allan Heydon
Processing Visual Specifications of File System Security
Technical Report #CMU-CS-91-201 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Mei-Yuh Hwang, Xuedong Huang
Shared-distribution Hidden Markov Models for Speech Recognition
Technical Report #CMU-CS-91-124 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Peter Thomas Highnam
Systems and Programming Issues in the Design and Use of a Simd Linear Array for Image Processing
Technical Report #CMU-CS-91-136 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Hsiao-Wuen Hon
A Survey of Hardware Architectures Designed for Speech Recognition
Technical Report #CMU-CS-91-169 ,Department of Computer Science, Carnegie Mellon University, Aug 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Bruce Horn
SIRI: A Constrained-Object Language for Reactive Program Implementation
Technical Report #CMU-CS-91-152 ,Carnegie Mellon University, School of Computer Science, June 1991

詳細　Wikiページ作成　関連カテゴリ: 　ユーザインタフェース全般

■
Markus Hoehfeld, Scott E. Fahlman
Learning with Limited Numerical Precision using the Cascade-correlation Algorithm
Technical Report #CMU-CS-91-130 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Katsushi Ikeuchi, Martial Hebert
Task Oriented Vision
Technical Report #CMU-CS-91-163 ,Department of Computer Science, Carnegie Mellon University, Jul 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Katsushi Ikeuchi , Takashi Suehiro
Twards an Assembly Plan from Observation: Task recognition with polyhedral objects
Technical Report #CMU-CS-91-167 ,Department of Computer Science, Carnegie Mellon University, Aug 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Ajay N. Jain
PARSEC: A Connectionist Learning Architecture for Parsing Spoken Language
Technical Report #CMU-CS-91-208 ,Department of Computer Science, Carnegie Mellon University, December 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Jean Jourdan and Lisa Dent and John McDermott and , Tom Mitchell and David Zobowski
Interfaces that Lean : A Learning Apprentice for Calender Management
Technical Report #CMU-CS-91-135 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Bonnie E. John, Roger W. Remington, David M. Steier
An Analysis of Space Shuttle Countdown Activities: Preliminaries to a Computational Model of the NASA Test Director
Technical Report #CMU-CS-91-138 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Mark Kantrowitz, Joseph Bates
Integrated Natural Language Generation Systems
Technical Report #CMU-CS-92-107 ,Department of Computer Science, Carnegie Mellon University, April 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Mark Kantrowitz
Portable Utilities for Common Lisp User Guide & Implementation Notes
Technical Report #CMU-CS-91-143 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Puneet Kumar, M.Satyanarayanan
Log-Based Directory Resolution in the Coda File System
Technical Report #CMU-CS-91-164 ,Department of Computer Science, Carnegie Mellon University, December 1991

詳細　Wikiページ作成　関連カテゴリ:

■
James J. Kistler, Mahadev Satyanarayanan
Disconnected Operation in the Coda File System
Technical Report #CMU-CS-91-166 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ: 　分散ファイルシステム

■
Kevin Knight
Integrating Knowledge Acquisition and Language Acquisition
Technical Report #CMU-CS-91-209 ,Department of Computer Science, Carnegie Mellon University, August 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Craig Alan Knoblock
Automatically Generating Abstractions for Problem Solving
Technical Report #CMU-CS-91-120 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Richard Allen Lerner
Specifying Objects of Concurrent Systems
Technical Report #CMU-CS-91-131 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Jill Fain Lehman, Richard L. Lewis, Allen Newell
Natural Language Comprehension in Soar: Spring 1991
Technical Report #CMU-CS-91-117 ,Carnegie Mellon University, School of Computer Science, March 1991

詳細　Wikiページ作成　関連カテゴリ:

■
A. Bryan Loyall, Joseph Bates
HAP: A Reactive, Adaptive Architecture for Agents
Technical Report #CMU-CS-91-147 ,Carnegie Mellon University, School of Computer Science, June 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Christopher Maeda
Categorization for Network Fault Diagnosis
Technical Report #CMU-CS-91-194 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Robert A. MacLachlan, Editor
CMU Common Lisp User's Manual
Technical Report #CMU-CS-91-108 ,Carnegie Mellon University, School of Computer Science, February 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Brad A. Myers, Mary Beth Rosson
Survey on User Interface Programming
Technical Report #CMU-CS-92-113 ,Department of Computer Science, Carnegie Mellon University, February 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Brad A.Myers
State of the Art in User Interface Software Tools
Technical Report #CMU-CS-92-114 ,Department of Computer Science, Carnegie Mellon University, February 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Brad A. Myers
Why are Human-Computer Interfaces Difficult to Design and Implement?
Technical Report #CMU-CS-93-183 ,Department of Computer Science, Carnegie Mellon University, July 1993
■
ユーザインタフェースは本質的に設計も実装もむずかしいというこ とを主張している。前者はヒューマンファクターが非常に複雑であ ること/標準化を考慮しなければならないこと/文書化がむずかしい こと/ガイドラインがないことなど/評価がむずかしいことなどのた めであり、後者は対話性/inside-out性(ツールキットから全体をつ くらなければならないこと)/リアルタイム/マルチプロセッシング/ 頑健さ/テストのむずかしさ/適当な言語がないこと/ツールが複雑 になってしまうことがその理由である。 プログラミングの方は頑張ればなんとかなりそうに思うが...

詳細　Wikiページ作成　関連カテゴリ: ユーザインタフェース全般　

■
Brad A. Myers, Mary Beth Rosson
Survey on User Interface Programming
Technical Report #CMU-CS-92-113 ,Carnegie Mellon University, School of Computer Science, February 1992

詳細　Wikiページ作成　関連カテゴリ: ユーザインタフェース全般　

■
David B. Miller, Barbara S. Lerner, Vincenzo Ambriola
Gandalf System III: The Action Routine Language(ARL) Manual
Technical Report #CMU-CS-91-127 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Scott M. Nettles, Jeannette M. Wing
Persistence + Undoability = Transactions
Technical Report #CMU-CS-91-173 ,Department of Computer Science, Carnegie Mellon University, Aug 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Veronique Normand
Spoken Language Translation in a Travel Information Domain: Combining voice and Graphic Interaction
Technical Report #CMU-CS-91-104 ,Carnegie Mellon University, School of Computer Science, January 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Steven J. Nowlan
Soft Competitive Adaptation: Neural Network Learning Algorithms Based on Fitting Statistical Mixtures
Technical Report #CMU-CS-91-126 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Carol L. Novak, Steven A. Shafer
Anatomy of a Histogram
Technical Report #CMU-CS-91-203 ,Department of Computer Science, Carnegie Mellon University, November 1991

詳細　Wikiページ作成　関連カテゴリ:

■
David R. O'Hallaron
The Assign Parallel Program Generator
Technical Report #CMU-CS-91-141 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Harry Printz
Automatic Mapping of Large Signal Processing Systems to a Parallel Machine
Technical Report #CMU-CS-91-101 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
M. Alicia Perez, Oren Etzioni
A new role for training problems in EBL
Technical Report #CMU-CS-92-124 ,Department of Computer Science, Carnegie Mellon University, March 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Mark W. Perlin
Transforming Conjunctive Match into rete: A Call-graph Caching Approach
Technical Report #CMU-CS-91-142 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Mark W. Perlin
ARC Consistency for factorable Relations
Technical Report #CMU-CS-91-128 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Automating the Construction of Efficient Artificial , Intelligence Algorithms
Mark W.Perlin
Technical Report #CMU-CS-91-176 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
M. Alicia P\'{e}rez
Multiagent Planning in Prodigy
Technical Report #CMU-CS-91-139 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Marko Petkov\v{s}k
Finding Closed-form solutions of Difference equations by Symbolic Methods
Technical Report #CMU-CS-91-103 ,Carnegie Mellon University, School of Computer Science, September 1990

詳細　Wikiページ作成　関連カテゴリ:

■
M.Alicia Perez1
Multiagent Planning in prodigy
Technical Report #CMU-CS-91-139 ,Department of Computer Science, Carnegie Mellon University, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
David Pugh
Interactive Sketch Interpretation Using Arc-labeling and Geometric Constraint Satisfaction
Technical Report #CMU-CS-91-181 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Frank Pfenning
On the Undecidability of Partial Polymorphic Type Reconstruction
Technical Report #CMU-CS-92-105 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Benjamin C. Pierce
Programming with Intersection Types and Bounded Polymorphism
Technical Report #CMU-CS-91-205 ,Department of Computer Science, Carnegie Mellon University, December 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Benjamin C. Pierce
Programming with Intersection Types, Union Types, and Polymorphism
Technical Report #CMU-CS-91-106 ,Carnegie Mellon University, School of Computer Science, February 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Benjamin C. Pierce
Bounded Quantification is Undecidable
Technical Report #CMU-CS-91-161 ,Carnegie Mellon University, School of Computer Science, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
David C. Plaut
Connectionist Neuropsychology: The Breakdown and Recovery of Behavior in Lesioned Attractor Networks
Technical Report #CMU-CS-91-185 ,Department of Computer Science, Carnegie Mellon University, September 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Dean A. Pomerleau
Neural Network Perception for Mobile Robot
Technical Report #CMU-CS-92-115 ,Department of Computer Science, Carnegie Mellon University, February 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Douglas A. Reece, Steven Shafer
Using Active Vision to Simplify Perception
Technical Report #CMU-CS-91-199 ,Department of Computer Science, Carnegie Mellon University, November 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Douglas A. Reece, Steven Shafer
A Computational Model of Driving for Autonomous Vehicles
Technical Report #CMU-CS-91-122 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Dean Harris Rubine
The Automatic Recognition of Gestures
Technical Report #CMU-CS-91-202 ,Department of Computer Science, Carnegie Mellon University, December 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Ronald Rosenfeld, Xuedong Huang, Merrick Furst
Exploiting Correlations Among Models with Application to Large Vocabulary Speech Recognition
Technical Report #CMU-CS-91-148 ,Department of Computer Science, Carnegie Mellon University, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Mahadev Satyanayanan
The Influence of Scale on Distributed File System Design
Technical Report #CMU-CS-91-177 ,Carnegie Mellon University, School of Computer Science, August 1991

詳細　Wikiページ作成　関連カテゴリ: 　分散ファイルシステム

■
M. Satyanarayanan
An Agenda for Research in Large-Scale Distributed Data Reponsitories
Technical Report #CMU-CS-91-171 ,Department of Computer Science, Carnegie Mellon University, July 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Norman Sadeh
Look-ahead Techniques for Micro-opportunistic Job Shop scheduling
Technical Report #CMU-CS-91-102 ,Carnegie Mellon University, School of Computer, March 1991

詳細　Wikiページ作成　関連カテゴリ:

■
M.Satyanarayanan
The Influence of Scale on Distributed File System Design
Technical Report #CMU-CS-91-177 ,Department of Computer Science, Carnegie Mellon University, Aug 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Stephen A. Schwab
Extended Parallelism in the Gr\"obner Basic Algorithm
Technical Report #CMU-CS-91-137 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Thomas M. Stricker
Message Routing on Irregular 2D-Meshes and Tori
Technical Report #CMU-CS-91-109 ,Carnegie Mellon University, School of Computer Science, January 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Takashi Suehiro, Katsushi Ikeuchi
Towards an Assembly Plan from Observation: Fine localization based on face contact constraints
Technical Report #CMU-CS-91-168 ,Department of Computer Science, Carnegie Mellon University, Aug 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Model-Driven Mapping of Computation onto Distributed Memory , Parallel Computers
Alan Sussman
Technical Report #CMU-CS-91-187 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Olin Shivers
Control-Flow Analysis of Higher-Order Languages or Taming Lambda
Technical Report #CMU-CS-91-145 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Olin Shivers
The Semantics of Scheme Control-flow Analysis
Technical Report #CMU-CS-91-119 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Mary Shaw, James E. Tomayko
Models for Undergraduate Project Courses in Software Engineering
Technical Report #CMU-CS-91-174 ,Carnegie Mellon University, School of Computer Science, September 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Siddhartha Chatterjee
Compiling Data-Parallel Programs For Efficient Execution on Shared_memory Multiprocessors
Technical Report #CMU-CS-91-189 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Ellen H. Siegel, Eric C. Cooper
Implementing Distributed Linda in Standard ML
Technical Report #CMU-CS-91-151 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Pedro Szekely
Separating the User Interface from the Functionality of Application Programs
Technical Report #CMU-CS-88-101 ,Carnegie Mellon University Computer Science Department, January 1988
■
アプリケーションとインタフェースを分離するのに、イン タフェースに必要な小数の構成要素を抽出してその組み合 わせによりインタフェース記述を行なうという方法をとっ ている。

詳細　Wikiページ作成　関連カテゴリ: ユーザインタフェース全般　

■
Daniel D.K. Sleator, Robert D. Tarjan, William P. Thurston
Short Encoding of Evolving Structures
Technical Report #CMU-CS-91-206 ,Department of Computer Science, Carnegie Mellon University, Dec 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Daniel D. K. Sleator, Davy Temperley
Parsing English with a Link Grammar
Technical Report #CMU-CS-91-196 ,Department of Computer Science, Carnegie Mellon University, October 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Milind Tambe , Dirk kalp, Paul Rosenbloom1
Uni-Rete: Specializing the Rete Match Algorithm for the Unique-attribute Representation
Technical Report #CMU-CS-91-180 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Ming Tan
Cost-sensitive robot learning
Technical Report #CMU-CS-91-134 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Milind Tambe
Eliminating Combinatorics from Production Match
Technical Report #CMU-CS-91-150 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Shang-Hua Teng
Points, Spheres, and Separators: A Unified Geometric Apporach to Graph Partitioning
Technical Report #CMU-CS-91-184 ,Department of Computer Science, Carnegie Mellon University, August 1991

詳細　Wikiページ作成　関連カテゴリ:

■
S.B. Thrun , J. Bala, E. Bloedom, I. Bratko, B. Cestnik, J. Cheng, K. De Jong, S. Dzeroski, D. Fisher, S.E. Fahlman , R. Hamann, K. Kaufman, S. Keller, I. Kononenko, J. Kreuziger, R.S. Michalski, T. Mitchell, P. Pachowics, Y. Reich, H. Vafaie, W. Van de Welde, W. Wenzel, J. Wnek, J. Zhang
The MONK's Problems-A Performance Comparison of Different Learning Algorithms
Technical Report #CMU-CS-91-197 ,Department of Computer Science, Carnegie Mellon University, December 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Sebastian B. Thrun
Efficient Exploration In Reinforcement Learning
Technical Report #CMU-CS-92-102 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
J. D. Tygar, Bennet Yee
Dyad: A System for Using Physically Secure Coprocessors
Technical Report #CMU-CS-91-140R ,Department of Computer Science, Carnegie Mellon University, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Mary Shaw, James E. Tomayko
Models for Undergraduate Project Courses in Software Engineering
Technical Report #CMU-CS-91-174 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Carlo Tomasi, Takeo Kanade
Shape and Motion from Image Streams:A Factorization Method -2. Point Features in 3D Motion
Technical Report #CMU-CS-91-105 ,Carnegie Mellon University, School of Computer Science, January 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Carlo Tomasi , Takeo Kanade
Shape and Motion from Image Streams: a Factorization Method --- Parts 2,8,10
Technical Report #CMU-CS-92-104 ,Department of Computer Science, Carnegie Mellon University, January 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Carlo Tomasi, Takeo kanade
Shape and Motion from Image Streams: a Factorization Method Part3: Detection and Tracking of Point Features
Technical Report ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Carlo Tomasi
Shape and Motion from Image Streams: a Factorization Method
Technical Report #CMU-CS-91-172 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Blake Ward
ET-SOAR: Toward an its for Theory-based Representations
Technical Report #CMU-CS-91-146 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Jon A. Webb
Adapt: Global image processing with the Split and Merge model
Technical Report #CMU-CS-91-129 ,Carnegie Mellon University, School of Computer Science, April 1991

詳細　Wikiページ作成　関連カテゴリ:

■
William Welch and Michael Gleicher and Andrew Witkin
Manipulating Surfaces Differentially
Technical Report #CMU-CS-91-175 ,Carnegie Mellon University, School of Computer Science, September 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Skef Wholey
Automatic Date Mapping for Distributed-memory parallel Computers
Technical Report #CMU-CS-91-121 ,Carnegie Mellon University, School of Computer Science, May 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Reg G. Willson, Steven A. Shafer
Precision Imaging and Control for Machine Vision Research at Carnegie Mellon University
Technical Report #CMU-CS-92-118 ,Department of Computer Science, Carnegie Mellon University, March 1992

詳細　Wikiページ作成　関連カテゴリ:

■
Jeannette M. Wing, Amy Moormann Zaremski
A Formal Specification of a Visual Language Editor
Technical Report #CMU-CS-91-112 ,Carnegie Mellon University, School of Computer Science, February 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Jeannette M. Wing, Amy Moormann Zaremski
Unintrusive Ways to Integrate Formal Specifications in Practice
Technical Report #CMU-CS-91-113 ,Carnegie Mellon University, School of Computer Science, February 1991

詳細　Wikiページ作成　関連カテゴリ:

■
William Welch1, Michael Gleicher2, Andrew Witkin
Manipulating Surfaces Differentially
Technical Report #CMU-CS-91-175 ,Department of Computer Science, Carnegie Mellon University, Sep 1991

詳細　Wikiページ作成　関連カテゴリ:

■
Amy Moormann Zaremski
A Larch Specification of the Mir\'o Editor
Technical Report ,Carnegie Mellon University, School of Computer Science, February 1991

詳細　Wikiページ作成　関連カテゴリ: