This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
: The objective of our research is to computationally model word production and its disorders by means of artificial neural networks. In the current study we develop and analyze an...
Privacy and security are essential requirements in practical biometric systems. In order to prevent the theft of biometric patterns, it is desired to modify them through revocable...
Jaishanker K. Pillai, Vishal M. Patel, Rama Chella...
We describe a method to segment rectangular objects that lie on a slightly textured background of an a-priori unknown colour. Our contribution consists of a fast and accurate back...