To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a ...
Divide any circle’s circumference by its diameter and you get pi. But what, exactly, are its digits? Measuring physical ...
Abstract: This paper focuses on mobile positioning for autonomous underwater vehicle (AUV) in complex underwater environments. The positioning algorithm based on time of arrival (TOA) assumes that the ...
Morning Overview on MSN
DARPA’s X-plane program targets a new experimental aircraft design
The Defense Advanced Research Projects Agency is channeling tens of millions of dollars into Aurora Flight Sciences for two experimental aircraft programs that together could redefine how the U.S.
Most of you have used a navigation app like Google Maps for your travels at some point. These apps rely on algorithms that ...
Abstract: HotStuff is a pipelined Byzantine Fault Tolerance (BFT) algorithm that has the good properties of both linear communication complexity and optimistic responsiveness. However, its three-chain ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results