Tongue Ultrasound imaging is widely used for human speech production analysis and modeling. In this paper, we propose a novel method to automatically detect and track the tongue c...
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
: Today, innovation networks are economically and technologically accessible [VBE04]; however, managers and members of such organizations notice that success and performance are no...
This paper focuses on a novel framework for information retrieval of images based only on color information. Regions homogeneous in color of the input image are detected using a m...
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...