9067 search results - page 1792 / 1814 » Adaptive Model Checking |
114
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Finding over- or under-represented motifs in biological sequences is now a common task in genomics. Thanks to p-value calculation for motif counts, exceptional motifs ...
136
click to vote
CGF
2008
15 years 2 months ago
2008
We present a new algorithm for the efficient and reliable generation of offset surfaces for polygonal meshes. The algorithm is robust with respect to degenerate configurations and...
104
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Inter-symbol interference (ISI) channels with data dependent Gauss Markov noise have been used to model read channels in magnetic recording and other data storage systems. The Vite...
119
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem ha...
144
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Vehicle-to-roadside (V2R) communications enable vehicular networks to support a wide range of applications for enhancing the efficiency of road transportation. While existing work...