553 search results - page 49 / 111 » Learning Meets Verification |
ANCS
2008
ACM
13 years 12 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
13 years 11 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
14 years 10 months 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
14 years 10 months 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
13 years 11 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...