http:^^www.cs.utexas.edu^users^miranker^

来自「This data set contains WWW-pages collect」· EDU^USERS^MIRANKER^ 代码 · 共 71 行

MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:45:01 GMT
Content-Type: text/html
Content-Length: 1752
Last-Modified: Friday, 19-Apr-96 16:14:54 GMT

<title> Daniel Miranker's home page </title>
<h1> Welcome to</h1>
<h1> Daniel Miranker's </h1>
<h1> Belated Web Presence </h1>

(under construction, see something you'd like finished, don't hold your breath,
just send me a note, [e-mail], I'll get it to you the old fashion
way.  My students pages wouldn't be a bad place to go either.}


<h2> On Rule Matching   </h2>

If you are here to learn more about the TREAT algorithm and its
comparison to RETE, be warned that both have been rendered obsolete by
the <!WA0><a href="http://www.cs.utexas.edu/users/miranker/leaps-refs.bib"> LEAPS </a> algorithm.

<h2> Current Research Interests </h2>

My current research goals encompass the Venus rule language, its use
as the basis of Active, Distributed Databases and the fundamental
computer science problems and corollaries that have evolved from that
goal.

<li> (CSP) Constraint Satisfaction Search

<li> Query Optimization, both relational and <!WA1><a href="http://www.cs.utexas.edu/users/miranker/ooq.ps">
object-oriented.</a>

<li> Parallel Execution of Rule-Based programs

<li> Knowledge Compilation 

<h2> Bibliographies, sometimes linked to papers (coming soon) </h2>

<li> Miranker and group: text, bibtex

<li> Rule Matching: text, bibtex

<li> RETE vs. TREAT, <!WA2><a href="http://www.cs.utexas.edu/users/miranker/treat-vs-rete-bib.html">
text </a>, bibtex 

<h2> Students </h2>

<h3> Current Ph.D. Candidates </h3>

<li> <!WA3><a href="http://www.cs.utexas.edu/users/bayardo">Roberto Bayardo </a>
<li>David Gadbois
<li> Lance Obermeyer
<li> Vasilis Samoladis
<li> <!WA4><a href="http://www.cs.utexas.edu/users/schrag"> Robert Schrag </a>

<h3> Masters Candidates </h3>
<li> Srinivasan Vaidyaraman
<li> Lane Warshaw

<h3> Past Ph.D. Students </h3>
<li>Archie Andrews
<li>David Brant
<li>Chin-Ming Kuo
<li>Shiow-Yang Wu

<h3> Past (Ph.D.student)-1 </h3>
<li> Salvatore J. Stolfo