169 search results - page 15 / 34 » Local similarity between quotiented ordered trees |
BMCBI
2005
13 years 8 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
WSC
2007
13 years 11 months ago
2007
This paper introduces an application and a methodology to predict future states of a process under real-time requirements. The real-time functionality is achieved by creating a Ba...
RECOMB
2002
Springer
14 years 9 months ago
2002
Springer
Comparing chromosomal gene order in two or more related species is an important approach to studying the forces that guide genome organization and evolution. Linked clusters of si...
BMCBI
2007
13 years 8 months ago
2007
Background: Knowing the subcellular location of proteins provides clues to their function as well as the interconnectivity of biological processes. Dozens of tools are available f...
CAV
2004
Springer
14 years 11 days ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...