Sciweavers

756 search results - page 122 / 152
» Model Order Reduction for Nonlinear IC Models
Sort
View
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
15 years 3 months ago
Motion Estimation by Quadtree Pruning and Merging
In this paper we propose a rate-distortion optimized motion estimation algorithm that is built upon a quadtree structure. Each node of the quadtree represents a block in the curre...
Marco Tagliasacchi, Mauro Sarchi, Stefano Tubaro
AVBPA
2003
Springer
121views Biometrics» more  AVBPA 2003»
15 years 2 months ago
Enhanced VQ-Based Algorithms for Speech Independent Speaker Identification
Abstract. Weighted distance measure and discriminative training are two different approaches to enhance VQ-based solutions for speaker identification. To account for varying import...
Ningping Fan, Justinian P. Rosca
FTP
1998
Springer
15 years 1 months ago
Issues of Decidability for Description Logics in the Framework of Resolution
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
Ullrich Hustadt, Renate A. Schmidt
ISCA
1992
IEEE
111views Hardware» more  ISCA 1992»
15 years 1 months ago
Lazy Release Consistency for Software Distributed Shared Memory
Relaxed memory consistency models, such as release consistency, were introduced in order to reduce the impact of remote memory access latency in both software and hardware distrib...
Peter J. Keleher, Alan L. Cox, Willy Zwaenepoel
LFCS
1992
Springer
15 years 1 months ago
Denotations for Classical Proofs - Preliminary Results
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
Philippe de Groote