Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
Statistics play a key role in influencing the quality of plans chosen by a database query optimizer. In this paper, we identify the statistics that are essential for an optimizer....
Pattern recognition of objects on affinely distorted images based on moments is important task researched for many years. Affine moment invariants are significant tool for it. The...
An automated technique to segment solar coronal loops from intensity images of the Sun's corona is introduced. It exploits physical characteristics of the solar magnetic fiel...