581 search results - page 17 / 117 » formats 2006 |
BMCBI
2006
13 years 7 months ago
2006
Background: Non-coding RNAs (ncRNAs) have a multitude of roles in the cell, many of which remain to be discovered. However, it is difficult to detect novel ncRNAs in biochemical s...
BIOCOMP
2006
13 years 9 months ago
2006
Several biological databases exist which use different formats for storing data. Further, each database has its own schema and a query interface. There exist no standard conversio...
KBS
2006
13 years 7 months ago
2006
Dialogic argumentation is a crucial component in many computational domains, and forms a core component of argumentation theory. This paper compares two approaches to dialogue tha...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...