Titlebook: Interfaces: Explorations in Logic, Language and Computation; ESSLLI 2008 and ESSL Thomas Icard,Reinhard Muskens Conference proceedings 2010

顽固

演绎

Buttress

敏捷

Bumptious

A Salience-Driven Approach to Speech Recognition for Human-Robot Interactionutterance recognition. The hypothesis underlying our approach is that, in situated human-robot interaction, speech recognition performance can be significantly enhanced by exploiting knowledge about the immediate physical environment and the dialogue history. To this end, visual salience (objects pe

FID

Capitulate

Description Logics for Relative Terminologies knowledge has been picked up also by the Semantic Web community. In this paper we introduce a conservative extension to the Description Logic . which supports representation of ontologies containing ., such as ‘big’ or ‘tall’, whose meaning depends on the choice of a particular . (context). We defi

玷污

POP* and Semantic Labeling Using SAThort). . is a transformation technique used for proving termination..In this paper, we propose an efficient implementation of POP* together with .. This automation works by a reduction to the problem of .. We have implemented the technique and experimental results confirm the feasibility of our appr

惰性女人

grounded

Simon Charlowual development in a holistic environment.Documents the mostThe rapid advances in medicine over the last 50 years have totally changed the outlook for children with disorders of sex development (DSD), but there is still much to learn. This book crystallizes the combined experience of a leading dedic