Sciweavers

1024 search results - page 4 / 205
» Value complete, column complete, predicate complete
Sort
View
164
Voted
SIAMJO
2010
246views more  SIAMJO 2010»
15 years 1 months ago
A Singular Value Thresholding Algorithm for Matrix Completion
This paper introduces a novel algorithm to approximate the matrix with minimum nuclear norm among all matrices obeying a set of convex constraints. This problem may be understood a...
Jian-Feng Cai, Emmanuel J. Candès, Zuowei S...
130
Voted
JSYML
2000
103views more  JSYML 2000»
15 years 3 months ago
A Model Complete Theory of Valued D-Fields
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
Thomas Scanlon
92
Voted
FCT
2009
Springer
15 years 10 months ago
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL
Michael Huth, Nir Piterman, Daniel Wagner