8903 search results - page 4 / 1781 » Alternative |
ICML
2002
IEEE
16 years 4 months ago
2002
IEEE
152
Voted
WLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
94
Voted
CMSB
2003
Springer
15 years 9 months ago
2003
Springer
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. Using a constraint pr...
117
click to vote
NAR
2006
15 years 3 months ago
2006
Alternative splicing is an important regulatory mechanism of mammalian gene expression. The alternative splicing database (ASD) consortium is systematically collecting and annotat...
124
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...