1680 search results - page 72 / 336 » Visual Design of E-learning Systems |
ISORC
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
DEXAW
2000
IEEE
14 years 1 months ago
2000
IEEE
rView is a visual frontend to the RasDaMan DBMS, providing raster data visualization functionality and a graphical user interface to the database system. RasDaMan, a commercial ar...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Real-time image processing tasks not only require high computing power but also high data bandwidth. Though current processors excel in computing power, memory throughput is still...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
SOFSEM
2000
Springer
14 years 20 days ago
2000
Springer
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...