Sciweavers

320 search results - page 23 / 64
» A Modal Logic of Information Change
Sort
View
JCP
2008
157views more  JCP 2008»
14 years 11 months ago
A New Information Fusion Method for Bimodal Robotic Emotion Recognition
Emotion recognition has become a popular area in human-robot interaction research. Through recognizing facial expressions, a robot can interact with a person in a more friendly man...
Meng-Ju Han, Jing-Huai Hsu, Kai-Tai Song, Fuh-Yu C...
ICSM
1998
IEEE
15 years 4 months ago
Detection of Logical Coupling Based on Product Release History
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
Harald Gall, Karin Hajek, Mehdi Jazayeri
AI
2005
Springer
14 years 11 months ago
Knowledge updates: Semantics and complexity issues
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
Chitta Baral, Yan Zhang
107
Voted
ICLP
2009
Springer
15 years 6 months ago
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
UIST
2010
ACM
14 years 9 months ago
SqueezeBlock: using virtual springs in mobile devices for eyes-free interaction
Haptic feedback provides an additional interaction channel when auditory and visual feedback may not be appropriate. We present a novel haptic feedback system that changes its ela...
Sidhant Gupta, Tim Campbell, Jeffrey R. Hightower,...