294 search results - page 14 / 59 » Relational Modality |
VR
2007
IEEE
15 years 4 months ago
2007
IEEE
Anywhere Augmentation pursues the goal of lowering the initial investment of time and money necessary to participate in mixed reality work, bridging the gap between researchers in...
AML
2006
14 years 10 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
101
click to vote
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
AUTOMATICA
2005
14 years 9 months ago
2005
This paper presents a computational approach for the frequency-domain identification of multivariable, discrete-time transfer function models based on a cost function minimization...
ISBI
2009
IEEE
15 years 4 months ago
2009
IEEE
We address the difficult problem of segmenting the inflamed synovial tissue in multi-modal 3D MR sequences of the wrist. The complex morphology of the structures to segment, the...