9166 search results - page 325 / 1834 » A framework for comparing models of computation |
147
click to vote
TMI
2010
15 years 5 months ago
2010
—A novel method is presented for carotid artery vessel wall segmentation in computed tomography angiography (CTA) data. First the carotid lumen is semi-automatically segmented us...
211
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Segmenting brain from non-brain tissue within magnetic resonance (MR) images of the human head, also known as skull-stripping, is a critical processing step in the analysis of neu...
244
click to vote
FCCM
2011
IEEE
14 years 10 months ago
2011
IEEE
— Recent progress in High-Level Synthesis (HLS) es has helped raise the abstraction level of FPGA programming. However implementation and performance evaluation of the HLS-genera...
203
click to vote
BIRTHDAY
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
139
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...