3779 search results - page 473 / 756 » Linear Consistency Testing |
166
click to vote
JMLR
2010
15 years 4 months ago
2010
Sparse coding—that is, modelling data vectors as sparse linear combinations of basis elements—is widely used in machine learning, neuroscience, signal processing, and statisti...
140
click to vote
MANSCI
2010
15 years 4 months ago
2010
A key result of the Capital Asset Pricing Model (CAPM) is that the market portfolio— the portfolio of all assets in which each asset’s weight is proportional to its total mark...
164
click to vote
MP
2010
15 years 4 months ago
2010
The Traveling Salesman Problem with Pickup and Delivery (TSPPD) is defined on a graph containing pickup and delivery vertices between which there exists a one-toone relationship. ...
167
click to vote
PVLDB
2010
15 years 4 months ago
2010
The identification of clusters, well-connected components in a graph, is useful in many applications from biological function prediction to social community detection. However, ...
166
click to vote
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...