2702 search results - page 280 / 541 » Practically Applicable Formal Methods |
162
click to vote
BMCBI
2007
15 years 6 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...
172
click to vote
BMCBI
2007
15 years 6 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 ...
148
click to vote
CBMS
2007
IEEE
16 years 28 days 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...
175
click to vote
ICCCN
2008
IEEE
16 years 1 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...
172
click to vote
ASPDAC
2005
ACM
16 years 4 days 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...