11097 search results - page 13 / 2220 » Hera presentation generator |
KI
2009
Springer
14 years 2 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
IWMMDBMS
1996
13 years 9 months ago
1996
We introduce a constraint-driven methodology for the automated assembly, organization and playout of presentations from multimedia databases. We use inclusion and exclusion constr...
CHI
2000
ACM
14 years 2 days ago
2000
ACM
The current generation of desktop computers and networks are bringing streaming audio and video into widespread use. A small investment allows presentations or lectures to be mult...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Most approaches to programming language extensibility have worked by pairing syntactic extension with semantic extension. We present an approach that works through a combination o...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
News aggregators rely on links and users votes to select and present subsets of the large quantity of news and opinion items generated each day. Opinion diversity in the output se...