1021 search results - page 189 / 205 » On the correlation of binary sequences |
108
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
105
Voted
IJCAI
1997
15 years 3 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
116
Voted
SPRINGSIM
2007
15 years 3 months ago
2007
We present an architecture for implementing a wireless physical layer in a packet-based network simulator. We integrate this architecture in the popular ns-2 network simulator and...
144
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
135
Voted
BMCBI
2008
15 years 1 months ago
2008
Background: Prediction of transmembrane (TM) helices by statistical methods suffers from lack of sufficient training data. Current best methods use hundreds or even thousands of f...