In electrical heating systems, the electrical power consumption should be lower than the Contracted Power Limit. Energy distribution devices are used to solve this problem, but the...
We consider the interactions between edges and intensity distributions in semi-open image neighborhoods surrounding them. Locally this amounts to a kind of figure-ground problem, ...
We present a framework for the interactive simulation of surgical cuts such as being practiced in surgical treatment. Unlike most existing methods our framework is based on tetrah...
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
In this article, we propose a new method that combines the use of a global threshold and a window-based scheme for computing local thresholds. The latter scheme compares the contr...
Fu Chang, Kung-Hao Liang, Tzu-Ming Tan, Wen-Liang ...