Sciweavers

7326 search results - page 27 / 1466
» Methods for modalities 3
Sort
View
MICCAI
2002
Springer
14 years 11 months ago
Biomechanical Model Construction from Different Modalities: Application to Cardiac Images
This article describes a process to include in a volumetric model various anatomical and mechanical information provided by different sources. Three stages are described, namely a ...
Maxime Sermesant, Clement Forest, Xavier Pennec, H...
CADE
2007
Springer
14 years 11 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka
ICIP
2009
IEEE
15 years 2 hour ago
M2sir: A Multi Modal Sequential Importance Resampling Algorithm For Particle Filters
We present a multi modal sequential importance resampling particle filter algorithm for object tracking. We consider a hidden state sequence linked to several observation sequence...
AUTOMATICA
2005
137views more  AUTOMATICA 2005»
13 years 11 months ago
Multivariable frequency-response curve fitting with application to modal parameter estimation
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
P. Verboven, P. Guillaume, B. Cauberghe
FORMATS
2008
Springer
14 years 15 days ago
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
Alexander Rabinovich