This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
This paper proposes a way to improve the translation quality by using information on dialogue participants that is easily obtained from outside the translation component. We incor...
We observe that successive applications of known results from the theory of positive systems lead to an efficient general algorithm for positive realizations of transfer functions...
Virtual endoscopy is among the most active topics in virtual medicine and medical imaging. It focuses on the virtual representation of minimally invasive procedures for training, ...
With the proliferation of WiFi technology, many WiFi networks are accessible from vehicles on the road making vehicular WiFi access realistic. However, several challenges exist: l...