Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
A learner model must store all the relevant information about a student, including knowledge and attitude. This paper proposes a domain independent learner model based in the class...
Parallel discrete event simulation (PDES) decreases a simulation's runtime by splitting the simulation's work between multiple processors. Many users avoid PDES because ...
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...