740 search results - page 27 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ISMS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
AOSD
2004
ACM
14 years 1 months ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
VR
2010
IEEE
13 years 6 months ago
2010
IEEE
VirtualizeMe introduces a new design for a fully immersive TeleImmersion system for remote collaboration and virtual world interaction. This system introduces a new avatar creatio...
HCI
2009
13 years 6 months ago
2009
Social annotation systems such as SparTag.us and del.icio.us have been designed to encourage individual reading and marking behaviors that, when shared, accumulate to build collect...
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...