Sciweavers

22 search results - page 1 / 5
» On optimizing over lift-and-project closures
Sort
View
CORR
2010
Springer
159views Education» more  CORR 2010»
13 years 2 months ago
On optimizing over lift-and-project closures
The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by co...
Pierre Bonami
MP
2008
73views more  MP 2008»
13 years 5 months ago
Optimizing over the split closure
Egon Balas, Anureet Saxena
ESWS
2010
Springer
13 years 10 months ago
OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples
Abstract. In previous work we have shown that the MapReduce framework for distributed computation can be deployed for highly scalable inference over RDF graphs under the RDF Schema...
Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Fra...
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 6 days ago
Hybrid moment computation algorithm for biochemical reaction networks
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
Yun-Bo Zhao, Jongrae Kim, João Pedro Hespan...
VLDB
2005
ACM
82views Database» more  VLDB 2005»
13 years 10 months ago
Stack-based Algorithms for Pattern Matching on DAGs
Existing work for query processing over graph data models often relies on pre-computing the transitive closure or path indexes. In this paper, we propose a family of stack-based a...
Li Chen, Amarnath Gupta, M. Erdem Kurul