111 search results - page 4 / 23 » The virtual reference experience: Integrating theory into pr... |
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
SI3D
1997
ACM
13 years 11 months ago
1997
ACM
We investigate the synergy of the two hands for virtual object manipulation. We report results from an experiment which suggest that the two hands together provide sufficient per...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
ICDCS
2008
IEEE
14 years 2 months ago
2008
IEEE
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper suggests the solution to build a Full Virtual Reality Learning Environment, and we have built both virtual and real laboratories on the web, in which students practice ...