1054 search results - page 144 / 211 » Translation Validation of System Abstractions |
166
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract Purpose: This paper presents the preliminary results of a semiautomatic method for prostate segmentation of Magnetic Resonance Images (MRI) which aims to be incorporated i...
150
Voted
JIRS
2006
15 years 6 months ago
2006
Abstract. Autonomous mobile robot navigation systems are based on three principal kinds of techniques: map-based navigation, map-building-based navigation and mapless navigation. W...
159
click to vote
PR
2006
15 years 6 months ago
2006
For the management of digital document collections, automatic database analysis still has ties to deal with semantic queries and abstract concepts that users are looking for. When...
186
Voted
TJS
2008
15 years 6 months ago
2008
Abstract. Traditionally, loop nests are fused only when the data dependences in the loop nests are not violated. This paper presents a new loop fusion algorithm that is capable of ...
183
click to vote
ASC
2004
15 years 6 months ago
2004
Abstract. This paper presents a real-time full-programmable fuzzy compiler based on piecewise linear interpolation techniques designed to be executed in SIMD (Single Instruction Mu...