827 search results - page 146 / 166 » Patterns for Timed Property Specifications |
110
Voted
ICCV
2007
IEEE
15 years 8 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...
113
click to vote
IBPRIA
2007
Springer
15 years 8 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...
168
click to vote
STOC
2000
ACM
15 years 6 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...
133
click to vote
PLANX
2007
15 years 3 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...
127
Voted
MICCAI
2010
Springer
15 years 9 days 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...