The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Evolvable Hardware (EHW) is a new method for designing electronic circuits. However, there are several problems to solve for making high performance systems. One is the limited sca...
Abstract. This paper proposes an approach to classify human arm motion using qualitative normalized templates. The proposed method consists of construction of human arm model, qual...
Intelligent virtual characters has been subject to exponential growth in the last decades and they are utilized in many application areas such as education, training, human-compute...