Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
People display adaptive language behaviors in face-to-face conversations, but will computer users do the same during HCI? We report an experiment (N=20) demonstrating that users...
Jamie Pearson, Jiang Hu, Holly P. Branigan, Martin...
This paper proposes a three-dimensional (3D) body scanning system that uses passive stereo vision with a robot arm. So far, the reported 3D body scanning systems employ active 3D ...
Recent progress of computer and network technologies makes it possible to store and retrieve a large volume of multimedia data in many applications. In such applications, efficien...