Sciweavers

18716 search results - page 71 / 3744
» Automatic
Sort
View
ICDCS
1998
IEEE
15 years 8 months ago
Fast, Optimized Sun RPC Using Automatic Program Specialization
Fast remote procedure call (RPC) is a major concern for distributed systems. Many studies aimed at efficient RPC consist of either new implementations of the RPC paradigm or manua...
Gilles Muller, Renaud Marlet, Eugen-Nicolae Volans...
IPMI
1997
Springer
15 years 8 months ago
Automatic Detection of Sulcal Bottom Lines in MR Images of the Human Brain
This paper describes a.n automatic procedure for extracting sulcal bottom lines from MR (magnetic resonance) images of the human brain, which will serve as a tool for landmark extr...
Gabriele Lohmann, Frithjof Kruggel, D. Yves von Cr...
121
Voted
RTA
1997
Springer
15 years 8 months ago
Proving Innermost Normalisation Automatically
We present a technique to prove innermost normalisation of term rewriting systems TRSs automatically. In contrast to previous methods, our technique is able to prove innermost n...
Thomas Arts, Jürgen Giesl
EUROPAR
2000
Springer
15 years 7 months ago
Automatic SIMD Parallelization of Embedded Applications Based on Pattern Recognition
This paper investigates the potential for automatic mapping of typical embedded applications to architectures with multimedia instruction set extensions. For this purpose a (patter...
Rashindra Manniesing, Ireneusz Karkowski, Henk Cor...
CAIP
2005
Springer
15 years 5 months ago
Automatic Human Model Generation
Abstract. The contribution presents an integrated system for automatic acquisition of a human torso model, using different input images. The output model consists of two free-form ...
Bodo Rosenhahn, Lei He, Reinhard Klette