2702 search results - page 280 / 541 » Practically Applicable Formal Methods |
115
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Some distance methods are among the most commonly used methods for reconstructing phylogenetic trees from sequence data. The input to a distance method is a distance m...
117
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Microarray time series studies are essential to understand the dynamics of molecular events. In order to limit the analysis to those genes that change expression over ...
102
Voted
CBMS
2007
IEEE
15 years 9 months ago
2007
IEEE
The development of Medical Image Analysis (MIA) applications that can successfully be applied in clinical practice is difficult for several reasons, one of them being the large am...
132
Voted
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...
124
Voted
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...