Sciweavers

4099 search results - page 227 / 820
» A Framework for Interactive Proof
Sort
View
IAT
2008
IEEE
15 years 6 months ago
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments
In the context of cognitive agent programming frameworks, a main research effort accounts for exploiting goalorientation for specifying and enacting agent interaction. Existing re...
Michele Piunti, Alessandro Ricci, Lars Braubach, A...
JCP
2008
161views more  JCP 2008»
15 years 6 months ago
Interacting Multiple Model Particle-type Filtering Approaches to Ground Target Tracking
Ground maneuvering target tracking is a class of nonlinear and/or no-Gaussian filtering problem. A new interacting multiple model unscented particle filter (IMMUPF) is presented to...
Ronghua Guo, Zheng Qin, Xiangnan Li, Junliang Chen
LORI
2009
Springer
16 years 1 months ago
Strategy Elimination in Games with Interaction Structures
Abstract. We study games in the presence of an interaction structure, which allows players to communicate their preferences, assuming that each player initially only knows his own ...
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zves...
SMC
2007
IEEE
16 years 24 days ago
A management of mutual belief for human-robot interaction
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
Aurélie Clodic, Maxime Ransan, Rachid Alami...
CSCWD
2007
Springer
16 years 21 days ago
An interactive graph visualization for handling cooperative design activity context
The context of a collective activity is characterized by all information produced during the activity. The comprehension of this context by each actor is essential for the success...
Gilles Halin