1477 search results - page 212 / 296 » Cache Satellite Distribution Systems: Modeling and Analysis |
151
click to vote
TMI
1998
15 years 6 months ago
1998
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...
168
click to vote
ISSTA
2006
ACM
16 years 10 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
202
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Gene set enrichment analysis (GSEA) is a microarray data analysis method that uses predefined gene sets and ranks of genes to identify significant biological changes i...
210
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Chow and Liu showed that the maximum likelihood tree for multivariate discrete distributions may be found using a maximum weight spanning tree algorithm, for example K...
193
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...