This paper presents an automatic algorithm which reconstructs building models from airborne LiDAR (light detection and ranging) data of urban areas. While our algorithm inherits t...
Background: High-resolution tandem mass spectra can now be readily acquired with hybrid instruments, such as LTQ-Orbitrap and LTQ-FT, in high-throughput shotgun proteomics workflo...
Chongle Pan, Byung-Hoon Park, William H. McDonald,...
In this paper, we present a new framework that performs automated local wall motion analysis based on the combined information derived from a rest and stress sequence (a full stres...
Sarina Mansor, Nicholas P. Hughes, J. Alison Nob...
This work presents the application of theory revision to the design of distributed databases to automatically revise a heuristic-based algorithm (called analysis algorithm) through...
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...