553 search results - page 55 / 111 » Learning Meets Verification |
131
Voted
NN
2008
Springer
15 years 2 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...
121
Voted
CSREAEEE
2007
15 years 4 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 ...
102
Voted
ITNG
2010
IEEE
15 years 7 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...
136
click to vote
WWW
2009
ACM
16 years 3 months 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...
123
Voted
CANS
2009
Springer
15 years 9 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 ...