211 search results - page 14 / 43 » Cis-regulatory module detection using constraint programming |
JUCS
2007
14 years 9 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
155
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
We investigate the global GRAMMAR constraint over restricted classes of context free grammars like deterministic and unambiguous context-free grammars. We show that detecting disen...
CJ
2010
14 years 6 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
BMCBI
2007
14 years 9 months ago
2007
Background: The precision of transcriptional regulation is made possible by the specificity of physical interactions between transcription factors and their cognate binding sites ...