605 search results - page 29 / 121 » A strategy for efficiently verifying requirements |
SDM
2010
SIAM
13 years 6 months ago
2010
SIAM
The recent years have witnessed a surge of interests in Nonnegative Matrix Factorization (NMF) in data mining and machine learning fields. Despite its elegant theory and empirical...
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
Since optimum diversity behavior can be achieved, equalization based on lattice basis reduction is of special interest for transmission over MIMO channels. Although the per-symbol...
PKC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. The success of electronic authentication systems, be it eID card systems or Internet authentication systems such as CardSpace, highly depends on the provided level of use...
ENTCS
2006
13 years 9 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
ASPLOS
2006
ACM
14 years 23 days ago
2006
ACM
The goal of this paper is to propose a scheme that provides comprehensive security protection for the heap. Heap vulnerabilities are increasingly being exploited for attacks on co...