1604 search results - page 120 / 321 » Development Separation in Lambda-Calculus |
ICIP
2007
IEEE
14 years 4 months ago
2007
IEEE
We consider approaches for exact similarity search in a high dimensional space of correlated features representing image datasets, based on principles of clustering and vector qua...
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
Adding security functions in existing Web application servers is now vital for the IS of companies and organizations. Writing crosscutting functions in complex software should tak...
MICRO
2007
IEEE
14 years 4 months ago
2007
IEEE
We have developed Argus, a novel approach for providing low-cost, comprehensive error detection for simple cores. The key to Argus is that the operation of a von Neumann core cons...
ICA
2007
Springer
14 years 4 months ago
2007
Springer
In the paper we present new Alternating Least Squares (ALS) algorithms for Nonnegative Matrix Factorization (NMF) and their extensions to 3D Nonnegative Tensor Factorization (NTF) ...
ICALP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...