3951 search results - page 636 / 791 » Automatic amortized analysis |
146
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
128
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
Many analytical or computational applications, especially legacy systems, create documents and display screens in response to user queries “dynamically” or in “real time”....
152
click to vote
GRAPHITE
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents a novel technique for the generation of ‘video textures’ to display human emotion. This is achieved by a method which uses existing video footage to synthe...
164
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we report on an empirical exploration of digital ink and speech usage in lecture presentation. We studied the video archives of five Master’s level Computer Scien...
127
click to vote
NSPW
2004
ACM
15 years 11 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...