626 search results - page 70 / 126 » When Can Formal Methods Make a Real Difference |
132
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
142
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
There is a wide variety of data mining methods available, and it is generally useful in exploratory data analysis to use many different methods for the same dataset. This, however...
150
click to vote
TMC
2012
13 years 5 months ago
2012
Abstract—In order to achieve data delivery in Delay Tolerant Networks (DTN), researchers have proposed the use of store-carryand-forward protocols: a node there may store a messa...
121
Voted
FOIS
2006
15 years 4 months ago
2006
The paper analyzes how and under which assumptions it is possible to compare (in a relationist setting and relatively to qualities) entities living in different worlds. We begin wi...
112
Voted
AUTOMATICA
2008
15 years 3 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...