251 search results - page 33 / 51 » Automated Complexity Analysis Based on the Dependency Pair M... |
TOSEM
1998
14 years 9 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
71
Voted
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— In the recent years, intensive studies have been carried out on the measurement of distance by using stereo camera systems. However, image systems with multiple image sensors a...
100
Voted
BMCBI
2006
14 years 9 months ago
2006
Background: Recent advances and automation in DNA sequencing technology has created a vast amount of DNA sequence data. This increasing growth of sequence data demands better and ...
BMCBI
2005
14 years 9 months ago
2005
Background: It is common for the results of a microarray study to be analyzed in the context of biologically-motivated groups of genes such as pathways or Gene Ontology categories...
91
Voted
BMCBI
2007
14 years 9 months ago
2007
Background: Joint alignment and secondary structure prediction of two RNA sequences can significantly improve the accuracy of the structural predictions. Methods addressing this p...