553 search results - page 55 / 111 » Learning Meets Verification |
NN
2008
Springer
14 years 11 months ago
2008
Springer
dely acknowledged that categorically organized abstract knowledge plays a significant role in high-order human cognition. Yet, there are many unknown issues about the nature of ho...
CSREAEEE
2007
15 years 1 months ago
2007
- We present the Adaptive eLearning Platform (AeLP) – a platform solution for creating rich, interactive, and highly visual, adaptive eLearning activities designed using Virtual ...
ITNG
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
102
click to vote
WWW
2009
ACM
16 years 15 days ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
100
click to vote
CANS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...