Sciweavers

4911 search results - page 314 / 983
» The Future of Object Technology
Sort
View
IANDC
2008
131views more  IANDC 2008»
15 years 6 months ago
Termination of just/fair computations in term rewriting
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...
Salvador Lucas, José Meseguer
CORR
2007
Springer
141views Education» more  CORR 2007»
15 years 6 months ago
Managing Uncertainty: A Case for Probabilistic Grid Scheduling
The Grid technology is evolving into a global, service-orientated architecture – a universal platform for delivering future high demand computational services. Strong adoption of...
Aleksandar Lazarevic, Lionel Sacks, Ognjen Prnjat
KES
2008
Springer
15 years 6 months ago
Incremental evolution of a signal classification hardware architecture for prosthetic hand control
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...
Jim Torresen
KES
2006
Springer
15 years 6 months ago
Human Arm-Motion Classification Using Qualitative Normalised Templates
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...
Chee Seng Chan, Honghai Liu, David J. Brown
IDT
2007
109views more  IDT 2007»
15 years 6 months ago
Intelligent virtual humans with autonomy and personality: State-of-the-art
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...
Zerrin Kasap, Nadia Magnenat-Thalmann