2740 search results - page 373 / 548 » A Model-Based Approach To Requirements Analysis |
112
Voted
CAIP
2005
Springer
15 years 9 months ago
2005
Springer
We present two approaches for automatically segmenting the spinal cord/canal from native CT images of the thorax region containing the spine. Different strategies are included to ...
127
Voted
ECCV
2004
Springer
15 years 8 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
128
Voted
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
104
Voted
ER
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
127
Voted
CHES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Efficient implementations of RSA on computationally limited devices, such as smartcards, often use the CRT technique in combination with Garner’s algorithm in order to ...