浏览会议记录

为了重用现有的环境模型，移动机器人必须能够在此类模型中估计其位置和方向。现有的位置估计方法大多基于专用传感器或以跟踪目标为目的。。。

过去的导航工作一直致力于制作准确的环境地图。虽然没有人可以否认这种映射的有用性，但当代理面临执行真实映射时，生成完整映射的理想变得不现实。。。

“关键任务”系统，包括诸如核电站控制器、“飞线”飞机、医疗护理和监测系统以及自动移动车辆等多种应用，其特点是系统故障。。。

手势识别是与人类密切合作的机器人的一项重要技能。手势有助于澄清口头命令，是传递几何信息的紧凑方式。我们开发了一种实时、三维手势识别。。。

本文介绍了自主移动机器人中传感故障的特征、分类和恢复方法，并在执行地标导航的移动机器人上演示了该方法。传感故障是指任何事件。。。

机器人视觉研究人员可以使用几个优秀的图像处理软件包（例如，Khoros、Vista、Susan、MIL和XVision，仅举几个例子），作为大多数导航和识别任务所需的任何新视觉软件的基础。我们在…的工作。。。

我们描述了一个利用图像序列连续性的机器人导航框架。跟踪的视觉特征既可以指导机器人，也可以提供有关要跟踪的后续特征的预测信息。我们的假设是基于图像的。。。

移动机器人导航的研究产生了两种绘制室内环境的主要范式：基于网格的和拓扑的。虽然基于网格的方法可以生成精确的度量图，但其复杂性通常会妨碍有效的规划和问题。。。

本文描述了在通过Petri网模型描述受检设备的行为模型的情况下，基于模型诊断的线性代数方法的实证评估。特别地，我们证明了代数。。。

责任分配是学习和适应中的一个经典问题。如果一个问题解决者未能提供所需的行为，那么责任分配任务的目标是确定失败的原因。大致分类如下。。。

大多数基于模型的诊断系统，如GDE和Sherlock，都涉及离散的静态系统，如逻辑电路，并使用简单的约束传播来检测不一致性。然而，QSIM和QPE等复杂系统已经。。。

本文描述了Livingstone，一个基于模型的反应式自构自治系统的实现内核。它对利文斯顿的表现形式主义进行了形式化描述，并报告了我们在实现。。。

我们提出了一种指定动力学系统轨迹上的时间约束的方法，并在定性仿真过程中实施这些约束。此功能可用于集中模拟、模拟非自治和分段控制系统。。。

物理系统本质上是连续的，但往往表现出不一致性，这使得行为生成变得复杂且难以分析。通常通过线性化模型约束和抽象行为生成的时间尺度来降低复杂性。。。

近年来，组合建模和自解释仿真技术简化了物理系统动态模拟器的构建过程。从概念上讲，建立稳态模拟器是一项较简单的任务，包括求解一个。。。

定性模拟器可以生成复杂行为的常识抽象，只需提供有关系统的部分知识。限制定性模拟器适用性的问题之一是后继状态难以分支。。。

我们相信，许多有助于基于案例推理解决方案的问题域可以从图表实现中受益，并为我们所称的n皇后最佳解决方案问题提出了基于案例的图表解决方案，其中最佳。。。

在本文中，我们考虑基于流程的功能诊断方法。首先，我们对比了现有的方法，指出了每种方法的主要局限性。然后，我们选择其中一个并加以扩展，以克服已确定的局限性。。。

提出了一种基于物理场的分布参数系统时空行为定性模型。基于场的模型不同于定性物理中通常使用的基于对象的模型，它将参数视为连续的。。。

我们描述了一个名为SKETCHIT的程序，该程序将机械设备的单个草图转换为多个新设计系列。它用一个“BEP-Model”来表示这些族中的每一个，这是一个参数化模型，添加了一些约束，以确保。。。

“树库语法”是指通过直接从树库中的手绘句子中读取产生式规则而创建的无上下文语法。普遍的看法是，这样的语法不会执行我们的任务，尽管我们不知道关于。。。

在本文中，我们提出了一种使用统一语法解析自然语言的有效算法。该算法是左角解析的扩展，左角解析是一种利用自顶向下期望的自底向上算法。扩展利用了。。。

许多基于语料库的自然语言处理系统依赖于文本语料库，这些文本语料集已经用句法或语义标记进行了手动注释。特别是，以前所有用于信息提取的词典构建系统都使用了注释。。。

本文介绍了最近使用CHILL解析器获取系统自动构建数据库查询的自然语言接口的工作。CHILL将解析器获取视为在逻辑程序中学习搜索控制规则。。。

这项工作集成了三种相关的人工智能搜索技术——约束满足、分支定界和解合成——并将结果应用于自然语言（NL）中的语义处理。我们将该方法总结为“猎人-采集者：”

•分支-。。。

描述了名词化语义解释的一种计算方法。名词化的解释涉及三个任务：决定名词化是用在动词意义上还是非动词意义上；消除…的歧义。。。

我使用与话语关系有关的原子核和卫星之间的区别来引入话语树的合成标准。我提供了修辞结构树的一阶形式化，并在此基础上，提出了一种新的修辞结构树。。。

先前关于生成复杂活动的自然语言描述的工作表明，描述完整计划所需的大量文本导致了无效和不自然的描述。我们在这里认为简明扼要。。。

本文报道了一次听多个声音的初步实验结果。解决了两个问题：从混合声音中分离语音流，以及将语音流分离与自动语音识别（。。。

我们提出了一种新颖的凝视控制算法，用于具有直接、中央凹视觉传感器的移动自治代理的主动感知。我们的代理是真实的人造动物或动画，位于基于物理的虚拟世界中。他们的活动。。。