Abstract: In most urban and suburban areas, pole-like structures, such as tree trunks or utility poles, are ubiquitous. These structural landmarks are very useful for the localization of autonomous ...
Abstract: Higher-order abstract GSOS is a recent extension of Turi and Plotkin’s framework of Mathematical Operational Semantics to higher-order languages. The fundamental well-behavedness property of ...
WASHINGTON, Feb 22 (Reuters) - President Donald Trump's administration reversed course on Sunday on the program that lets millions of airline travelers get expedited security screening, announcing it ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results