Computer Science Department Copyright (c) 2013 Carnegie Mellon University All rights reserved. http://repository.cmu.edu/compsci Recent documents in Computer Science Department en-us Wed, 12 Jun 2013 13:02:38 PDT 3600 First steps towards inferential programming http://repository.cmu.edu/compsci/2509 http://repository.cmu.edu/compsci/2509 Thu, 13 Dec 2012 09:41:21 PST William Louis. Scherlis et al. Rog-O-Matic : a belligerent expert system http://repository.cmu.edu/compsci/2510 http://repository.cmu.edu/compsci/2510 Thu, 13 Dec 2012 09:41:21 PST Michael L. Mauldin et al. A universal weak method http://repository.cmu.edu/compsci/2508 http://repository.cmu.edu/compsci/2508 Thu, 13 Dec 2012 09:41:20 PST John Laird et al. Synchronisation trees http://repository.cmu.edu/compsci/2507 http://repository.cmu.edu/compsci/2507 Thu, 13 Dec 2012 09:41:19 PST Glynn Winskel MAPS : the organization of a spatial database system using imagery, terrain, and map data http://repository.cmu.edu/compsci/2506 http://repository.cmu.edu/compsci/2506 Thu, 13 Dec 2012 09:41:18 PST David M. McKeown Architecture validation system using assertion descriptions : users manual http://repository.cmu.edu/compsci/2505 http://repository.cmu.edu/compsci/2505 Thu, 13 Dec 2012 09:41:17 PST Charles P. Kollar The ZOG approach to man-machine communication http://repository.cmu.edu/compsci/2504 http://repository.cmu.edu/compsci/2504 Thu, 13 Dec 2012 09:41:16 PST G Robertson et al. Topological correspondence in line drawings of multiple views of objects http://repository.cmu.edu/compsci/2503 http://repository.cmu.edu/compsci/2503 Thu, 13 Dec 2012 09:41:15 PST Charles E. Thorpe et al. Adapting optical-flow to measure object motion in reflectance and x-ray image sequences http://repository.cmu.edu/compsci/2502 http://repository.cmu.edu/compsci/2502 Thu, 13 Dec 2012 09:41:14 PST Nancy Cornelius et al. Concept maps http://repository.cmu.edu/compsci/2500 http://repository.cmu.edu/compsci/2500 Thu, 13 Dec 2012 09:41:13 PST David M. McKeown An efficient program for many-body simulations (or, Cray performance from a VAX) http://repository.cmu.edu/compsci/2501 http://repository.cmu.edu/compsci/2501 Thu, 13 Dec 2012 09:41:13 PST Andrew W. Appel The QBKG system : knowledge representation for producing and explaining judgments http://repository.cmu.edu/compsci/2499 http://repository.cmu.edu/compsci/2499 Thu, 13 Dec 2012 09:41:12 PST David H. Ackley et al. The theory of straight homogeneous generalized cylinders and A taxonomy of generalized cylinders http://repository.cmu.edu/compsci/2498 http://repository.cmu.edu/compsci/2498 Thu, 13 Dec 2012 09:41:11 PST Steven A. Shafer et al. A semantics and proof system for communicating processes http://repository.cmu.edu/compsci/2497 http://repository.cmu.edu/compsci/2497 Thu, 13 Dec 2012 09:41:10 PST S. D(Stephen D.) Brookes The control store and register file design of the programmable systolic chip http://repository.cmu.edu/compsci/2496 http://repository.cmu.edu/compsci/2496 Thu, 13 Dec 2012 09:41:09 PST Hank Walker A society of mind : multiple perspectives, reasoned assumptions, and virtual copies http://repository.cmu.edu/compsci/2495 http://repository.cmu.edu/compsci/2495 Thu, 13 Dec 2012 09:41:08 PST Jon Doyle On the relationship of CCS and CSP http://repository.cmu.edu/compsci/2493 http://repository.cmu.edu/compsci/2493 Thu, 13 Dec 2012 09:41:07 PST S. D.(Stephen D.) Brookes An algorithm for replicated directories http://repository.cmu.edu/compsci/2494 http://repository.cmu.edu/compsci/2494 Thu, 13 Dec 2012 09:41:07 PST Dean Daniels et al. Metaphor and common-sense reasoning http://repository.cmu.edu/compsci/2492 http://repository.cmu.edu/compsci/2492 Thu, 13 Dec 2012 09:41:05 PST Jaime G(Jaime Guillermo) Carbonell et al. A case study in writing efficient programs http://repository.cmu.edu/compsci/2491 http://repository.cmu.edu/compsci/2491 Thu, 13 Dec 2012 09:41:05 PST Jon Louis. Bentley