2850 search results - page 410 / 570 » On Timed Models and Full Abstraction |
167
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--We describe in this paper an audio denoising technique based on sparse linear regression with structured priors. The noisy signal is decomposed as a linear combination of...
127
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
180
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
Abstract. Automatic and semi-automatic magnetic resonance angiography (MRA) segmentation techniques can potentially save radiologists large amounts of time required for manual segm...
180
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. In this paper, we propose an original and efficient tree matching algorithm for intra-patient hepatic vascular system registration. Vascular systems are segmented from CT...
152
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...