Sciweavers

1746 search results - page 16 / 350
» Residual for Component Specifications
Sort
View
SIGSOFT
1995
ACM
13 years 11 months ago
Specification Matching of Software Components
Amy Moormann Zaremski, Jeannette M. Wing
RV
2010
Springer
119views Hardware» more  RV 2010»
13 years 5 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»
11 years 10 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
13 years 12 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