Sciweavers

1580 search results - page 136 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
ROMAN
2007
IEEE
104views Robotics» more  ROMAN 2007»
16 years 23 days ago
A study of interaction between dialog and decision for human-robot collaborative task achievement
Abstract— Human-robot collaboration requires both communicative and decision making skills of a robot. To enable flexible coordination and turn-taking between human users and a ...
Aurélie Clodic, Rachid Alami, Vincent Montr...
CIE
2007
Springer
16 years 20 days ago
Quotients over Minimal Type Theory
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
Maria Emilia Maietti
CLEF
2007
Springer
16 years 20 days ago
Robust Question Answering for Speech Transcripts Using Minimal Syntactic Analysis
Abstract. This paper describes the participation of the Technical University of Catalonia in the CLEF 2007 Question Answering on Speech Transcripts track. For the processing of man...
Pere Comas, Jordi Turmo, Mihai Surdeanu
CONTEXT
2007
Springer
16 years 20 days ago
Multiuser Intelligent M-learning Environment
In this article we present the architecture of an m-learning (mobile-learning) environment using Bluetooth as communications technology. We also describe its practical implementati...
Angel Moreno, Melquiades Carbajo, Bonifacio Casta&...
CP
2007
Springer
16 years 20 days ago
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
Stefano Bistarelli, Pamela Peretti, Irina Trubitsy...