9110 search results - page 1611 / 1822 » Formally-Based Design Evaluation |
129
click to vote
VR
2000
IEEE
15 years 8 months ago
2000
IEEE
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
149
click to vote
AGENTS
2000
Springer
15 years 8 months ago
2000
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. Tools that can help humans an...
155
Voted
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Bitmap indices are popular multi-dimensional data structures for accessing read-mostly data such as data warehouse (DW) applications, decision support systems (DSS) and o...
147
click to vote
HPDC
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present the design and implementation of Dodo, an e cient user-level system for harvesting idle memory in o -the-shelf clusters of workstations. Dodo enables dat...
150
click to vote
MSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...