The diversification of the development in humancomputer interaction provides users more and more interactive experience which is totally different than usual. As one of the sense organs that serve as a proxy for human attention and intention, we can give users better interaction closer to their need by observing the change of the eyes. This paper proposes a low-cost system, using a non-infrared...

BACKGROUND Complex anatomy of intra-cardiac structures requires spatial orientation of image in three dimensions for better understanding and enhanced image interpretation. We evaluated the feasibility and efficacy of the emerging 'real-time three-dimensional transthoracic echocardiography' technique for comprehensive assessment of cardiac anatomy, physiology, pathomorphology and pathophysiolog...

A natural framework for real-time specification is monadic first-order logic over the structure (R, <,+1)—the ordered real line with unary +1 function. Our main result is that (R, <,+1) has the 3-variable property: every monadic first-order formula with at most 3 free variables is equivalent over this structure to one that uses 3 variables in total. As a corollary we obtain also the 3-variable ...

A natural framework for real-time specification is monadic first-order logic over the structure (R, <,+1)—the ordered real line with unary +1 function. Our main result is that (R, <,+1) has the 3-variable property: every monadic first-order formula with at most 3 free variables is equivalent over this structure to one that uses 3 variables in total. As a corollary we obtain also the 3-variable ...