Sciweavers

1187 search results - page 182 / 238
» Graph-Based Procedural Abstraction
Sort
View
GCC
2004
Springer
15 years 11 months ago
Distributed Object Group Framework with Dynamic Reconfigurability of Distributed Services
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
Chang-Sun Shin, Young-Jee Chung, Su-Chong Joo
ICFEM
2004
Springer
15 years 11 months ago
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
Carsten Sinz, Wolfgang Küchlin
IDEAL
2004
Springer
15 years 11 months ago
Kernel Density Construction Using Orthogonal Forward Regression
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
Sheng Chen, Xia Hong, Chris J. Harris
ISOLA
2004
Springer
15 years 11 months ago
Embedding Finite Automata within regular Expressions
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
MICCAI
2004
Springer
15 years 11 months ago
Immediate Ultrasound Calibration with Three Poses and Minimal Image Processing
Abstract. This paper introduces a novel method for ultrasound (US) probe calibration based on closed-form formulation and using minimal US imaging allowing for an immediate result....
Anand Viswanathan, Emad Boctor, Russell H. Taylor,...