Sciweavers

193 search results - page 1 / 39
» Partial Solutions with Unique Completion
Sort
View
BIRTHDAY
2006
Springer
13 years 8 months ago
Partial Solutions with Unique Completion
Marco Cadoli, Marco Schaerf
LICS
1996
IEEE
13 years 9 months ago
Completing Partial Combinatory Algebras With Unique Head-Normal Forms
In this note, we prove that having unique head-normal forms is a sufficient condition on partial combinatory algebras to be completable. As application,we show that the pca of str...
Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
SIAMMAX
2010
164views more  SIAMMAX 2010»
12 years 11 months ago
Uniqueness of Low-Rank Matrix Completion by Rigidity Theory
The problem of completing a low-rank matrix from a subset of its entries is often encountered in the analysis of incomplete data sets exhibiting an underlying factor model with app...
Amit Singer, Mihai Cucuringu
RTA
1997
Springer
13 years 9 months ago
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
Denis Béchet, Philippe de Groote, Christian...