553 search results - page 49 / 111 » Learning Meets Verification |
ANCS
2008
ACM
15 years 1 months ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...
WSC
2000
15 years 1 months ago
2000
We have developed and implemented a case-based approach for introducing discrete event simulation to undergraduate and graduate manufacturing engineering students. Students learn ...
ICML
2000
IEEE
16 years 19 days ago
2000
IEEE
SwiftFile is an intelligent assistant that helps users organize their e-mail into folders. SwiftFile uses a text classifier to predict where each new message is likely to be filed...
ICML
1996
IEEE
16 years 19 days ago
1996
IEEE
This paper discusses issues related to Bayesian network model learning for unbalanced binary classification tasks. In general, the primary focus of current research on Bayesian ne...
ECIS
2003
15 years 1 months ago
2003
In this paper we raise the concept of Work-Integrated Learning (WIL) as a means of supporting activities of competence development and learning in organisations. In order to illus...