157 search results - page 1 / 32 » Presenting Proofs with Adapted Granularity |
KI
2009
Springer
13 years 12 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...
AIED
2009
Springer
14 years 4 hour ago
2009
Springer
ICIP
2001
IEEE
14 years 7 months ago
2001
IEEE
In this work we present an efficient fine granular scalable video compression scheme which supports a fast bit rate adaptation independent of the encoder. The proposed scheme gene...
MSS
2000
IEEE
13 years 9 months ago
2000
IEEE
Many applications, that need mass storage, manipulate data sets with KB – MB size objects. In contrast, mass storage devices work most efficiently for the storage and transfer ...
ICCCN
2007
IEEE
13 years 11 months ago
2007
IEEE
— Anomaly-based intrusion detection systems have the ability of detecting novel attacks, but in real-time detection, they face the challenges of producing many false alarms and f...