10995 search results - page 95 / 2199 » Positioning |
CAV
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Capability planning problems are pervasive throughout many areas of human interest with prominent examples found in defense and security. Planning provides a unique context for op...
BMCBI
2010
13 years 9 months ago
2010
Background: Development of high-throughput methods for measuring DNA interactions of transcription factors together with computational advances in short motif inference algorithms...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Increasing numbers of mobile computing devices, user-portable, or embedded in vehicles, cargo containers, or the physical space, need to be aware of their location in order to prov...
CSDA
2008
13 years 9 months ago
2008
In multiple hypotheses testing, it is important to control the probability of rejecting "true" null hypotheses. A standard procedure has been to control the family-wise ...