1604 search results - page 120 / 321 » Development Separation in Lambda-Calculus |
136
click to vote
ICIP
2007
IEEE
15 years 7 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...
97
Voted
IEEEARES
2007
IEEE
15 years 7 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...
67
Voted
MICRO
2007
IEEE
15 years 6 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...
138
Voted
ICA
2007
Springer
15 years 6 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) ...
107
Voted
ICALP
2007
Springer
15 years 6 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...