Sciweavers

1078 search results - page 123 / 216
» The Modal Logic of Probability
Sort
View
156
Voted
TMM
2010
133views Management» more  TMM 2010»
14 years 10 months ago
Cross-Media Alignment of Names and Faces
In this paper we report on our experiments on aligning names and faces as found in images and captions of online news websites. Developing accurate technologies for linking names a...
Phi The Pham, Marie-Francine Moens, Tinne Tuytelaa...
DALT
2005
Springer
15 years 9 months ago
Beliefs in Agent Implementation
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
SPLC
2008
15 years 5 months ago
Formal Modeling for Product Families Engineering
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
FUIN
2008
93views more  FUIN 2008»
15 years 4 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
SOCROB
2010
144views Robotics» more  SOCROB 2010»
15 years 2 months ago
A Multimodal Human-Robot-Dialog Applying Emotional Feedbacks
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...
Alexander Bannat, Jürgen Blume, Jürgen T...