740 search results - page 31 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ESCIENCE
2006
IEEE
14 years 3 days ago
2006
IEEE
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...
BSN
2009
IEEE
13 years 11 months ago
2009
IEEE
: This project investigates the application of a fully wireless network of inertial sensors for full-body, 3-D motion capture, for the real-time analysis of Tango dancing. Towards ...
ICMI
2003
Springer
14 years 1 months ago
2003
Springer
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...
IWNAS
2008
IEEE
14 years 2 months ago
2008
IEEE
To maintain consistency, designers of replicated services have traditionally been forced to choose from either strong consistency guarantees or none at all. Realizing that a conti...
CW
2003
IEEE
14 years 1 months ago
2003
IEEE
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...