Sciweavers

1024 search results - page 111 / 205
» Value complete, column complete, predicate complete
Sort
View
CORR
2010
Springer
255views Education» more  CORR 2010»
15 years 1 months ago
Scalable Tensor Factorizations for Incomplete Data
The problem of incomplete data--i.e., data with missing or unknown values--in multi-way arrays is ubiquitous in biomedical signal processing, network traffic analysis, bibliometri...
Evrim Acar, Tamara G. Kolda, Daniel M. Dunlavy, Mo...
ENTCS
2006
113views more  ENTCS 2006»
15 years 1 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
FUIN
2006
89views more  FUIN 2006»
15 years 1 months ago
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
Artiom Alhazov, Rudolf Freund, Alberto Leporati, M...
MP
2006
119views more  MP 2006»
15 years 1 months ago
Approximate extended formulations
Mixed integer programming (MIP) formulations are typically tightened through the use of a separation algorithm and the addition of violated cuts. Using extended formulations involv...
Mathieu Van Vyve, Laurence A. Wolsey
TIT
2008
103views more  TIT 2008»
15 years 1 months ago
Fast Distributed Algorithms for Computing Separable Functions
The problem of computing functions of values at the nodes in a network in a fully distributed manner, where nodes do not have unique identities and make decisions based only on loc...
Damon Mosk-Aoyama, Devavrat Shah