5809 search results - page 1144 / 1162 » On Quantifying Semantic Information |
IUI
2003
ACM
14 years 29 days ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
KCAP
2003
ACM
14 years 29 days ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
PLDI
2003
ACM
14 years 29 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
SIGSOFT
2003
ACM
14 years 29 days ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
SOFTVIS
2003
ACM
14 years 29 days ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...