Sciweavers

5144 search results - page 416 / 1029
» Enhancing Search with Structure
Sort
View
ISBI
2007
IEEE
16 years 1 months ago
Semi-Automatic Coronary Artery Centerline Extraction in Computed Tomography Angiography Data
This paper presents a semi-automatic coronary centerline extraction algorithm for computed tomography angiography data. The method applies region growing to computed tomography an...
Coert Metz, Michiel Schaap, Alina G. van der Giess...
ICMCS
2006
IEEE
176views Multimedia» more  ICMCS 2006»
16 years 27 days ago
Cost-Effective Sharpening of Single-Sensor Camera Images
This paper presents a cost-effective image sharpening solution suitable for single-sensor digital cameras. The proposed solution enhances the structural content of the sensor imag...
Rastislav Lukac, Konstantinos N. Plataniotis
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 11 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
INTERACT
2003
15 years 8 months ago
Implementing Learning Content Management
: The concept of Learning Objects has been introduced in the e-learning field to enhance the accessibility, reusability, and interoperability of learning content. Despite intensive...
Samuel Schluep, Pamela Ravasio, Sissel Guttormsen ...
WSC
2001
15 years 8 months ago
A proposed approach for modeling healthcare systems for understanding
The use of simulation in healthcare area is not widely spread when compared with other areas. This paper suggests that traditional approaches to modeling may not fully utilize sim...
Tillal Eldabi, Ray J. Paul