Sciweavers

3394 search results - page 214 / 679
» A Modal Model of Memory
Sort
View
IEAAIE
2011
Springer
14 years 7 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
ECCV
2002
Springer
16 years 6 months ago
Probabalistic Models and Informative Subspaces for Audiovisual Correspondence
Abstract. We propose a probabalistic model of single source multimodal generation and show how algorithms for maximizing mutual information can find the correspondences between com...
John W. Fisher III, Trevor Darrell
MICCAI
2004
Springer
16 years 5 months ago
A Statistical Shape Model of Individual Fiber Tracts Extracted from Diffusion Tensor MRI
Diffusion Tensor MRI has become the preferred imaging modality to explore white matter structure and brain connectivity in vivo. Conventional region of interest analysis and voxel-...
Isabelle Corouge, Sylvain Gouttard, Guido Gerig
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
15 years 10 months ago
Coalgebraic Epistemic Update Without Change of Model
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
Corina Cîrstea, Mehrnoosh Sadrzadeh
CICLING
2005
Springer
15 years 9 months ago
A Computational Model of the Spanish Clitic System
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
Luis Alberto Pineda, Ivan V. Meza