Recent advances in music information retrieval have enabled users to query a database by singing or humming into a microphone. The queries are often inaccurate versions of the ori...
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
Finding the location of an object, other than the sensor in a sensor network is an important problem. There is no good technique available in the literature to find the location o...
This paper introduces a novel parallelised vision based intelligent controller for a Humanoid Robot system. This intelligent controller is simulated dynamically and its performance...
The paper firstly proposes a framework for developing local e-government which is based on the concept of an information system and its four perspectives: stakeholders, business e...