📄 http:^^www.cs.indiana.edu^l^www^research^index.html
字号:
Date: Tue, 14 Jan 1997 22:04:20 GMT
Server: Apache/1.0.3
Content-type: text/html
Content-length: 4252
Last-modified: Tue, 07 Jan 1997 16:05:28 GMT
<html><head><title>IU Computer Science Research</title><link rev="made" href="mailto:fleisher@cs.indiana.edu"></head><body bgcolor="#ffffeO"><h1><!WA0><a href="http://www.cs.indiana.edu/l/www/home-page.html">Indiana University Computer Science</a>Research</h1><em>Researchers</em>: Start with this <!WA1><a href="http://www.cs.indiana.edu/l/www/research/template.html">templatepage</a> to create new entries.<p><h2>Artificial Intelligence and Cognitive Science</h2><ul><li><!WA2><a href="http://www.cs.indiana.edu/l/www/ai/Gasser/Morphophon/description.html"> Acquisition of Words</a><li><!WA3><a href="http://www.cs.indiana.edu/l/www/hyplan/leake/cbmatrix.html"> Case-Based Selection of Problem Solving Methods for Scientific Computation</a><li><!WA4><a href="http://www.cs.indiana.edu/l/www/hyplan/leake/gdie.html"> Goal-Driven Interactive Explanation</a><li><!WA5><a href="http://www.cs.indiana.edu/l/www/ai/Gasser/Grounding/description.html"> Grounding Linguistic Meaning</a><li><!WA6><a href="http://www.cs.indiana.edu/l/www/hyplan/leake/adaptation_proj.html"> Learning Case Adaptation for Case-Based Reasoning</a><li><!WA7><a href="http://www.cs.indiana.edu/l/www/ai/Gasser/Rhythm/description.html"> Rhythm in Music and Language</a><li><!WA8><a href="http://www.cs.indiana.edu/l/www/research/metacat.html"> Metacat: A Self-Watching Cognitive Architecture for Analogy-Making</a><li><!WA9><a href="http://www.cs.indiana.edu/l/www/research/ltrspirit.html">Letter Spirit: An Emergent Model of the Perception and Creation of Alphabetic Style</a></ul><h2>Databases/Information Systems</h2><h2>Graphics</h2><ul><li><!WA10><a href="http://www.graphics.cornell.edu/~shirley/pgdori.html"> Perception-Guided Display of Realistic Images</a><li><!WA11><a href="http://www.graphics.cornell.edu/~shirley/ris.html"> Realistic Image Synthesis</a></ul><h2>Hardware/Robotics</h2><ul><li><!WA12><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/afc.proj.html"> Analog Field Computing</a><li><!WA13><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/cyc.proj.html"> Indiana University Cyclotron Controller</a><li><!WA14><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/mr.proj.html"> Minimalist Robotics</a><li><!WA15><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/retic.proj.html"> RETIC: A Behavioral Controller Based on the Vertebrate Reticulate Formation</a><li><!WA16><a href="http://www.cs.indiana.edu/l/www/hyplan/jwmills/PROJECTS/afc.design.proj.html"> Visual Design of Analog Computers</a><li><!WA17><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/ddd.html">Digital Design Derivation</a><li><!WA18><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/dsi.html">Daisy/DSI Programming System</a></ul><h2>Logic</h2><ul><li><!WA19><a href="http://www.phil.indiana.edu/~barwise/appliedlogic.html"> Applied Logic</a><li><!WA20><a href="http://www.phil.indiana.edu/~barwise/circularity.html"> Foundations of Circularity</a><li><!WA21><a href="http://www.phil.indiana.edu/~barwise/hyperproof.html"> Hyperproof 2.0</a><li><!WA22><a href="http://www.phil.indiana.edu/~barwise/information.html"> Logic of Distributed Systems</a><li><!WA23><a href="http://www.phil.indiana.edu/~barwise/vilproject.html"> Logical Reasoning with Diagrams</a><li><!WA24><a href="http://www.cs.indiana.edu/l/www/research/dunn/ggl.html">Gaggle Theory</a><li><!WA25><a href="http://www.cs.indiana.edu/l/www/research/dunn/neg.html">Negation</a><li><!WA26><a href="http://www.cs.indiana.edu/l/www/research/dunn/sfl.html">Structurally Free Logic</a><li><!WA27><a href="http://www.cs.indiana.edu/l/www/research/dunn/rp.html">Relevant Predication</a><li><!WA28><a href="http://www.cs.indiana.edu/l/www/research/leivant/description.html">Computing Theory</a><li><!WA29><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/ddd.html">Digital Design Derivation</a></ul><h2>Programming Languages</h2><ul><li><!WA30><a href="http://www.cs.indiana.edu/hyplan/dyb/syntactic.html">Syntactic Abstraction</a><li><!WA31><a href="http://www.cs.indiana.edu/hyplan/dyb/scheme-impl.html">Scheme Language Implementation</a><li><!WA32><a href="http://www.cs.indiana.edu/hyplan/dyb/scheme2k.html">Scheme 2000</a><li><!WA33><a href="http://www.cs.indiana.edu/hyplan/dswise/memory.html">Storage Management</a><li><!WA34><a href="http://www.cs.indiana.edu/hyplan/dswise/quadtreeMatrices.html">Algorithms for Quadtree Representation of Matrices</a><li><!WA35><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/ddd.html">Digital Design Derivation</a><li><!WA36><a href="http://www.cs.indiana.edu/l/www/research/sjohnson/dsi.html">Daisy/DSI Programming System</a></ul><h2>Scientific Computation</h2><ul><li><!WA37><a href="http://www.cs.indiana.edu/hyplan/dswise/quadtreeMatrices.html">Algorithms for Quadtree Representation of Matrices</a></ul><h2>Theory</h2><ul><li><!WA38><a href="http://www.cs.indiana.edu/l/www/research/pwp/description.html">Constraint Satisfaction Problems</a></ul><address><!WA39><a href="mailto:fleisher@cs.indiana.edu">fleisher@cs.indiana.edu</a></address></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -