564 search results - page 18 / 113 » Some Results on the Expressive Power and Complexity of LSCs |
82
Voted
ICALP
2009
Springer
15 years 2 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
BMCBI
2006
14 years 9 months ago
2006
Background: It is one of the ultimate goals for modern biological research to fully elucidate the intricate interplays and the regulations of the molecular determinants that prope...
57
Voted
TCS
2011
14 years 4 months ago
2011
It is a well-know fact that apparently simple systems can give rise to complex behavior. But why exactly does a given system behave in a complex manner? There are two main approac...
159
click to vote
ICDT
2009
ACM
15 years 10 months ago
2009
ACM
The inclusion of Regular Expressions (REs) is the kernel of any type-checking algorithm for XML manipulation languages. XML applications would benefit from the extension of REs wi...
BMCBI
2008
14 years 9 months ago
2008
Background: Probability based statistical learning methods such as mutual information and Bayesian networks have emerged as a major category of tools for reverse engineering mecha...