Sciweavers

7167 search results - page 278 / 1434
» Answer Set Programming
Sort
View
CORR
2008
Springer
111views Education» more  CORR 2008»
15 years 1 months ago
Concave Programming Upper Bounds on the Capacity of 2-D Constraints
The capacity of 1-D constraints is given by the entropy of a corresponding stationary maxentropic Markov chain. Namely, the entropy is maximized over a set of probability distribut...
Ido Tal, Ron M. Roth
BIBM
2010
IEEE
161views Bioinformatics» more  BIBM 2010»
15 years 16 days ago
Cis-regulatory module detection using constraint programming
We propose a method for finding CRMs in a set of co-regulated genes. Each CRM consists of a set of binding sites of transcription factors. We wish to find CRMs involving the same t...
Tias Guns, Hong Sun, Kathleen Marchal, Siegfried N...
108
Voted
TIT
2011
116views more  TIT 2011»
14 years 9 months ago
Convex Programming Upper Bounds on the Capacity of 2-D Constraints
—The capacity of 1-D constraints is given by the entropy of a corresponding stationary maxentropic Markov chain. Namely, the entropy is maximized over a set of probability distri...
Ido Tal, Ron M. Roth
OL
2011
177views Neural Networks» more  OL 2011»
14 years 5 months ago
Exploiting vector space properties to strengthen the relaxation of bilinear programs arising in the global optimization of proce
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
Juan P. Ruiz, Ignacio E. Grossmann
249
Voted
POPL
2009
ACM
16 years 3 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri