📄 http:^^www.cs.wisc.edu^~shavlik^uwai.html

📁 This data set contains WWW-pages collected from computer science departments of various universities
💻 HTML
字号:
Date: Tue, 05 Nov 1996 00:26:15 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Wed, 19 Jun 1996 02:02:26 GMTContent-length: 7157<HTML><HEAD><TITLE> AI at the Univ. of Wisconsin - Madison </TITLE></HEAD><BODY><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><IMG ALIGN=MIDDLE      SRC="http://www.cs.wisc.edu/~shavlik/images/badger.gif"      ALT="University of Wisconsin -- Madison"><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><IMG ALIGN=MIDDLE     SRC="http://www.cs.wisc.edu/~dyer/images/uwlogo.qtr2.gif"><H1> AI Research and Education in the Computer Sciences Department </H1>This is the World Wide Web home page for the AI Group in the <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.wisc.edu/">University of Wisconsin Computer Sciences Department.</A><P>We are studying computer vision, robotics, machine learning, andautomated deduction. Themes in <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/vision.html"> computer vision</A> and <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://robios8.me.wisc.edu"> robotics</A>include active approaches forcontrolling camera position and orientation in order to solve tasks such asnavigation, scene exploration, and surface reconstruction.  <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwml.html"> Machine learning</A>research focuses on the integration of symbolic and connectionist (neuralnetwork) approaches to AI; these methods are being applied to problems in theHuman Genome Project and the design of adaptive agents.  <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.wisc.edu/~shavlik//~kunen/kunen.html">Automated deduction</A>studies methods for computer generation of formal proofs in logical systems,and is being applied to deductive databases and to discovering newmathematical theorems.<P><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><img src="http://www.cs.wisc.edu/~shavlik//~shavlik/images/rainline.gif"><P><H2> Table of Contents </H2> <UL>  <LI> <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="#groups">          Research Groups</A>  <LI> <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/ai-students.html">          AI Graduate Students</A>  <LI> <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="#papers">          Recent Papers</A>  <LI> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="#courses">          AI Courses</A>  <LI> <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="#qual">          PhD Qualifying Exam in AI</A>  <LI> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/aisem/aisem.html">          The AI Seminar</A>  <LI> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwai-mailing-lists.html">	  Local AI-Related Mailing Lists</A>  <LI> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="#misc">          Miscellaneous Useful Information</A> </UL><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><img src="http://www.cs.wisc.edu/~shavlik//~shavlik/images/rainline.gif"><P><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="#toplink" NAME="groups"><H2> Research Groups </H2></A>The research groups of the following faculty members are doing AI research.<P> <UL>  <H3> Computer Vision and Robotics </H3>    <UL>    <LI>  <!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/"> Chuck Dyer</A>           (his group's <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="http://www.cs.wisc.edu/~shavlik//computer-vision/"> page</A>)    <LI>  <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><A HREF="http://robios8.me.wisc.edu/lumelsky.html"> Vladimir Lumelsky</A>  	   (his robotics lab's <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://robios8.me.wisc.edu"> page</A>)   </UL>  <H3> Machine Learning (including Neural Networks) </H3>    <UL>    <LI>  <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><A HREF="http://www.cs.wisc.edu/~shavlik//~olvi/olvi.html"> Olvi Mangasarian</A>           (his machine-learning <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.wisc.edu/~shavlik//~olvi/uwmp/mpml.html"> page</A>)    <LI>  <!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/"> Jude Shavlik</A>  	   (his group's <!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwml.html"> page</A>)   </UL>  <H3> Automated Deduction and Expert Systems </H3>    <UL>    <LI>  <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><A HREF="http://www.cs.wisc.edu/~shavlik//~kunen/kunen.html"> Ken Kunen</A>    <LI>  <!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><A HREF="http://www.cs.wisc.edu/~shavlik//~so/travis.html"> Larry Travis</A> (emeritus)   </UL>   </UL>Check out a fun demo of Seitz and Dyer's<!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><A HREF="http://www.cs.wisc.edu/~seitz/interp/vmorph.html">morphing work</A>.<P>  <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><A HREF="#toplink" NAME="grads"><H2> AI Graduate Students </H2></A>Click <!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/ai-students.html">here</A> for a list of AI graduate students and their research interests.<P><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><A HREF="#toplink" NAME="papers"><H2> Recent Papers </H2></A>Postscript versions of some of our recent papers are available.<P> <UL>  <LI> FTP directory of papers on        <!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><A HREF="http://www.cs.wisc.edu/~shavlik//computer-vision/pubs.html">       Computer Vision</A>       (<!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><A HREF="http://www.cs.wisc.edu/computer-vision/pubs.html">HTML interface</A>)  <LI> FTP directory of papers on       <!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><A HREF="ftp://ftp.cs.wisc.edu/machine-learning/shavlik-group">       Machine Learning</A>       (<!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/mlrg/publications.html">HTML interface</A>)  <LI> FTP directory of papers on       <!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><A HREF="ftp://robios8.me.wisc.edu/pub/Tech-Reps">       Robotics</A> </UL><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><A HREF="#toplink" NAME="courses"><H2> AI Courses </H2></A>The following AI courses are regularly offered:<P> <UL>  <LI> <!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/cs540-all.html">         CS 540 - Introduction to Artificial Intelligence</A>  <LI> <!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/cs760.html">         CS 760 - Machine Learning</A>  <LI> <!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><A HREF="http://www.cs.wisc.edu/~shavlik//~kunen/cs761.html">         CS 761 - Deduction and Problem Solving</A>  <LI> <!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/cs766.html">         CS 766 - Computer Vision</A>  <LI> <!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><A HREF="http://www.cs.wisc.edu/~shavlik//~dyer/cs780.html">         CS 780 - Robot Motion Planning</A> </UL><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><A HREF="#toplink" NAME="qual"><H2> PhD Qualifying Exam in AI </H2></A>Information about the qualifying examination for PhD candidacy in AI:<P> <UL>  <LI> <!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/ai-qual/ai-qual-overview.html">	Overview</A>  <LI> <!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/ai-qual/reading-list.ps">	Reading List</A> (postscript)  <LI> <!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/ai-qual/ai-qual-exams.html">	Previous Exams</A> </UL><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><A HREF="#toplink" NAME="aisem"><H2> The AI Seminar </H2></A>Click <!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/aisem/aisem.html">here</A> to see the current schedule of the local AI seminar.<P><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><A HREF="#toplink" NAME="mail-lists"><H2> Local AI-Related Mailing Lists </H2></A>Click <!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwai-mailing-lists.html">here</A> for information about subscribing to severallocal AI-related mailing lists.<P><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><A HREF="#toplink" NAME="misc"><H2> Miscellaneous Useful Information </H2></A> <UL>  <LI> The <!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><A HREF="http://www.cs.wisc.edu/">home page</A>       of the UW-Madison Computer Sciences Department.        (If you are interested in applying for graduate       study in the CS dept, click        <!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><A HREF="http://www.cs.wisc.edu/~shavlik//~pubs/grad-admissions/">here</A>.)  <LI> <!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/uwcompbio.html">       Computational Biology in the UW-Madison CS Dept.,</A>       some of which involves AI.  <LI> <!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/journal-tocs/tocs.html">        Recent Table of Contents and Abstracts of Selected AI Journals</A>        <BR> (mostly from Wendt Library; readable only if @cs.wisc.edu)  <LI> The <!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><A HREF="http://sigart.acm.org/">SIGART home page</A>       (special interest group on AI).  Includes links to many AI resources.  <LI> <!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><A HREF="http://aaai.org/">         AAAI home page</A> (American Association of Artificial Intelligence)  <LI> The <!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><A HREF="http://ai.iit.nrc.ca/home_page.html">home page</A>        of the Knowledge Systems Laboratory of the Canadian National Research Council.       Includes links to many AI resources.  <LI> <!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><A HREF="http://www.cs.cmu.edu:8001/Web/Groups/AI/html/repository.html">       CMU's AI Repository</A> of software, publications, and other       materials of interest.  <LI> <!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><A HREF="http://www.cs.wisc.edu/~shavlik//~shavlik/external-ai.html">       Additional AI-related links.</A>        </UL><HR><ADDRESS>Last modified: Thu Sep  7 17:52:47 1995 by Jude Shavlik</ADDRESS><ADDRESS>  <!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><A HREF="mailto:shavlik@cs.wisc.edu">shavlik@cs.wisc.edu</A></ADDRESS><HR></BODY></HTML>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -