827 search results - page 146 / 166 » Patterns for Timed Property Specifications |
122
Voted
ICCV
2007
IEEE
15 years 9 months ago
2007
IEEE
The endovascular repair of a traumatic rupture of the thoracic aorta - that would otherwise lead to the death of the patient - is performed by delivering a stent-graft into the ve...
124
click to vote
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
Multivariate imaging technologies such as Dynamic Contrast-Enhanced Magnetic Resonance Imaging (DCE-MRI) have recently gained an important attention as it improves tumour detection...
181
Voted
STOC
2000
ACM
15 years 7 months ago
2000
ACM
We describe a slightly subexponential time algorithm for learning parity functions in the presence of random classification noise, a problem closely related to several cryptograph...
152
Voted
PLANX
2007
15 years 4 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
137
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Deformable image registration in the presence of considerable contrast differences and large-scale size and shape changes represents a significant challenge for image r...