396 search results - page 22 / 80 » Combining decision procedures for the reals |
124
click to vote
MICCAI
2001
Springer
15 years 6 months ago
2001
Springer
Real Time Tomographic Reflection (RTTR) permits in situ visualization of ultrasound images so that direct hand-eye coordination can be employed during invasive procedures. The meth...
110
click to vote
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
133
click to vote
AIME
2009
Springer
15 years 8 months ago
2009
Springer
The care of the elder at home is highly demanded in modern societies. It is based on the difficult task of coordinating multiple professionals and procedures acting on the same pa...
104
click to vote
CSDA
2008
15 years 1 months ago
2008
ABSTRACT. This paper introduces a tree-based model that combines aspects of CART (Classification and Regression Trees) and STR (Smooth Transition Regression). The model is called t...
ISBI
2007
IEEE
15 years 7 months ago
2007
IEEE
Real-time cardiac ultrasound allows monitoring the heart motion during intracardiac beating heart procedures. Our application assists atrial septal defect (ASD) closure techniques...