⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 http:^^www.cs.utexas.edu^users^qr^qr-overview.html

📁 This data set contains WWW-pages collected from computer science departments of various universities
💻 HTML
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:51:18 GMT
Content-Type: text/html
Content-Length: 2030
Last-Modified: Friday, 06-Dec-96 00:33:30 GMT

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"><HTML><HEAD>   <TITLE>Qualitative Reasoning about the Physical World</TITLE>   <META NAME="GENERATOR" CONTENT="Mozilla/3.01Gold (X11; I; SunOS 5.5 sun4m) [Netscape]"></HEAD><BODY TEXT="#000000" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000"><P><!-- Changed by: Benjamin J. Kuipers, 29-Jan-1996 --></P><H1>Qualitative Reasoning about the Physical World</H1><P>A <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.utexas.edu/users/qr/qsim-overview.html">short abstract</A> describes our approachto qualitative and semi-quantitative reasoning about the physical world.</P><P>The <B><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="http://www.cs.utexas.edu/users/qr/papers-QR.html">indexed bibliography</A></B> of ourresearch papers is the best way to understand the areas we work in, tofind out what papers are available, and to retrieve them via the Web. </P><UL><LI>The <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.utexas.edu/users/qr/qsim-users.html">QSIM Users</A> page gives an overviewof other published work building on ours. </LI></UL><H2>Graduate Students in the QR Group </H2><UL><LI><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.utexas.edu/users/vinceb">Vince Bergbauer</A> --- vinceb@cs.utexas.edu</LI><LI><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.cs.utexas.edu/users/clancy">Dan Clancy</A> --- clancy@cs.utexas.edu </LI><LI><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.utexas.edu/users/bert">Bert Kay</A> --- bert@cs.utexas.edu </LI><LI><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.cs.utexas.edu/users/mallory">Rich Mallory</A> --- mallory@cs.utexas.edu</LI><LI><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.ma.utexas.edu/users/bshults">Benjamin Shults</A>--- bshults@math.utexas.edu </LI></UL><P>Several of these students are advised or co-advised by other facultyat the <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="http://www.cs.utexas.edu/users/ai-lab">UT AI Lab</A>. </P><H2>Research Products: Papers and Software </H2><UL><LI><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.cs.utexas.edu/users/qr/papers-QR.html">Research papers: indexed bibliography</A>.</LI><LI><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/">FTP directory forpapers</A>. </LI><LI><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://www.cs.utexas.edu/users/qr/QR-software.html">Obrtaining Software (QSIM, Algernon, andQPC)</A>. </LI><LI><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="file://ftp.cs.utexas.edu/pub/qsim/">FTP directory for softwareand other documents</A>. </LI></UL><ADDRESS><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.utexas.edu/users/kuipers">BJK</A></ADDRESS></BODY></HTML>

⌨️ 快捷键说明

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