1456 search results - page 11 / 292 » Two Techniques to Improve Finite Model Search |
DCOSS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. A number of recently proposed mobile sensor network architectures rely on uncontrolled, or weakly-controlled mobility to achieve sensing coverage over time at low cost, a...
BMCBI
2005
13 years 7 months ago
2005
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...
ASIACRYPT
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. The estimation of the epipolar geometry is especially difficult where the putative correspondences include a low percentage of inlier correspondences and/or a large subse...