5434 search results - page 886 / 1087 » Tool support for MOLA |
164
click to vote
ASSISTIVE
1998
Springer
15 years 10 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
172
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
165
click to vote
SAC
1998
ACM
15 years 10 months ago
1998
ACM
We have developed a desktop meeting environment named FreeWalk that supports casual meetings in a 3-dimensional (3D) virtual shared space, community common. Tools for human commun...
144
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...
186
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
Over the years, there have been two main branches of computer graphics image-synthesis research; one focused on interactivity, the other on image quality. Procedural shading is a ...