834 search results - page 13 / 167 » A Decomposition Technique for Max-CSP |
ICML
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper addresses the problem of approximate singular value decomposition of large dense matrices that arises naturally in many machine learning applications. We discuss two re...
NFM
2011
13 years 3 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents novel tensor-based object trajectory modelling techniques for simultaneous representation of multiple objects motion trajectories in a content based indexing a...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
CISIM
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we compare performance of several dimension reduction techniques, namely SVD, NMF and SDD.The qualitative comparison is evaluated on a collection of bars. We compare...