4211 search results - page 292 / 843 » Types as Abstract Interpretations |
181
click to vote
INFOCOM
2005
IEEE
16 years 8 days ago
2005
IEEE
— We investigate the spatial distribution of wireless nodes that can transport a given volume of traffic in a sensor network, while requiring the minimum number of wireless node...
176
click to vote
BIOINFORMATICS
2010
15 years 6 months ago
2010
Motivation: Tumorigenesis is an evolutionary process by which tumor cells acquire sequences of mutations leading to increased growth, invasiveness, and eventually metastasis. It i...
166
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...
156
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In DNA microarray experiments, discovering groups of genes that share similar transcriptional characteristics is instrumental in functional annotation, tissue classifi...
174
click to vote
JFP
2006
15 years 6 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...