Sciweavers

294 search results - page 16 / 59
» Relational Modality
Sort
View
AMFG
2003
IEEE
148views Biometrics» more  AMFG 2003»
15 years 3 months ago
Multi-Modal Face Tracking Using Bayesian Network
This paper presents a Bayesian network based multimodal fusion method for robust and real-time face tracking. The Bayesian network integrates a prior of second order system dynami...
Fang Liu, Xueyin Lin, Stan Z. Li, Yuanchun Shi
TARK
1998
Springer
15 years 2 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
ICNC
2005
Springer
15 years 3 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
HYBRID
2001
Springer
15 years 2 months ago
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
Thomas Moor, Jennifer M. Davoren
JAPLL
2011
92views more  JAPLL 2011»
14 years 4 months ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi