Sciweavers

3394 search results - page 8 / 679
» A Modal Model of Memory
Sort
View
FM
2008
Springer
110views Formal Methods» more  FM 2008»
15 years 4 months ago
A Model Checking Language for Concurrent Value-Passing Systems
Modal
Radu Mateescu, Damien Thivolle
SIGSOFT
2007
ACM
16 years 4 months ago
A behavioural model for product families
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
ICPR
2006
IEEE
16 years 4 months ago
Audio-Visual Speaker Localization Using Graphical Models
In this work we propose an approach to combine audio and video modalities for person tracking using graphical models. We demonstrate a principled and intuitive framework for combi...
Akash Kushal, Mandar Rahurkar, Fei-Fei Li 0002, Je...
ICNC
2005
Springer
15 years 8 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
JUCS
2010
139views more  JUCS 2010»
14 years 10 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...