2493 search results - page 339 / 499 » Accessibility in virtual worlds |
169
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
169
click to vote
ICPPW
2003
IEEE
15 years 11 months ago
2003
IEEE
The aim of Grid Computing Pool (GCP) is to integrate heterogeneous large-scale computing devices and famous computing tools into a virtual supercomputer by using grid technology. ...
156
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Content networking is an emerging technology, where the requests for content are steered by content routers that examine not only the destinations but also content descriptors suc...
149
click to vote
WISE
2003
Springer
15 years 11 months ago
2003
Springer
— Movement, or mobility, is key to the accessibility, design, and usability of many websites. While some peripheral mobility issues have been addressed few have centered on the m...
147
click to vote
COMPGEOM
2003
ACM
15 years 11 months ago
2003
ACM
Randomized incremental constructions are widely used in computational geometry, but they perform very badly on large data because of their inherently random memory access patterns...