589 search results - page 87 / 118 » Developing principles of GUI programming using views |
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
CHI
1995
ACM
13 years 11 months ago
1995
ACM
As spoken language interfaces for real-world systems become a practical possibility, it has become apparent that such interfaces will need to draw on a variety of cues from divers...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
JCS
2007
13 years 7 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
WSCG
2000
13 years 9 months ago
2000
This paper describes methods and procedures for real-time rendering of high-resolution 3D stereoscopic graphics using an improved 3D OpenGL accelerator on PC platform. The hardwar...