2153 search results - page 168 / 431 » From Requirements Models to Formal Specifications in B |
163
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Tiling microarrays are becoming an essential technology in the functional genomics toolbox. They have been applied to the tasks of novel transcript identification, elu...
198
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...
211
click to vote
LCN
2008
IEEE
16 years 25 days ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...
179
click to vote
WSC
2000
15 years 7 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
188
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...