Sciweavers

4866 search results - page 555 / 974
» UML for Global Computing
Sort
View
KBSE
1997
IEEE
15 years 11 months ago
Application of Formal Methods to the Development of a Software Maintenance Tool
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
Sandrine Blazy, Philippe Facon
VRST
1997
ACM
15 years 11 months ago
An efficient collision detection algorithm using range data for walk-through systems
We present a simple, but efficient view collision detection method for the walk-through system. The basic idea is to check if the current view position intersects with the range d...
SonOu Lee, JunHyeok Heo, KwangYun Wohn
ECOOP
1993
Springer
15 years 11 months ago
Type Inference of SELF
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
ASPDAC
2007
ACM
96views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Hierarchical Optimization Methodology for Wideband Low Noise Amplifiers
In this paper, we present a systematic synthesis methodology for fully integrated wideband low noise amplifiers that simultaneously optimizes impedance matching, noise figure, and ...
Arthur Nieuwoudt, Tamer Ragheb, Yehia Massoud
ICB
2007
Springer
142views Biometrics» more  ICB 2007»
15 years 10 months ago
Speaker Verification with Adaptive Spectral Subband Centroids
Abstract. Spectral subband centroids (SSC) have been used as an additional feature to cepstral coefficients in speech and speaker recognition. SSCs are computed as the centroid fre...
Tomi Kinnunen, Bingjun Zhang, Jia Zhu, Ye Wang