This paper proposes a method for stroke segmentation to decompose Chinese characters to become individual strokes. The method first obtains the medial axes of any given Chinese cha...
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. ...
This paper explores the issues connected to the transmission of three dimensional scenes over unreliable networks such as the wireless ones. It analyzes the effect of the loss of ...
Pietro Zanuttigh, Andrea Zanella, Guido M. Cortela...
Abstract The increased usage of directional methods of communications to improve medium reuse, network capacity, and bandwidth has prompted research into leveraging directionalit...
Bow-Nan Cheng, Murat Yuksel, Shivkumar Kalyanarama...