After many successes, statistical approaches that have been popular in the parsing community are now making headway into Natural Language Generation (NLG). These systems are aimed...
A lumped heat transfer model and parameter estimation technique are proposed for determining key parameters associated with a heat flux Differential Scanning Calorimeter (DSC). T...
Gregory E. Osborne, Jay I. Frankel, Adrian S. Saba...
Temporal stereo vision algorithms can offer improved robustness, however, this can only be delivered after several frames of a stereo image sequence have been processed. We presen...
: Weak-consistency replication protocols can be used to build wide-area services that are scalable, fault-tolerant, and useful for mobile computer systems. We have evaluated the ti...
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...