Sciweavers

1746 search results - page 16 / 350
» Residual for Component Specifications
Sort
View
SIGSOFT
1995
ACM
15 years 3 months ago
Specification Matching of Software Components
Amy Moormann Zaremski, Jeannette M. Wing
RV
2010
Springer
119views Hardware» more  RV 2010»
14 years 9 months ago
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
Djihed Afifi, David E. Rydeheard, Howard Barringer
KDD
2012
ACM
183views Data Mining» more  KDD 2012»
13 years 2 months ago
Mining discriminative components with low-rank and sparsity constraints for face recognition
This paper introduces a novel image decomposition approach for an ensemble of correlated images, using low-rank and sparsity constraints. Each image is decomposed as a combination...
Qiang Zhang, Baoxin Li
ARITH
1999
IEEE
15 years 4 months ago
Digit-Recurrence Algorithm for Computing Euclidean Norm of a 3-D Vector
A digit-recurrence algorithm for computing the Euclidean norm of a 3-dimensional vector is proposed. Starting from the vector component with the highest order of magnitude as the ...
Naofumi Takagi, Seiji Kuwahara