2111 search results - page 80 / 423 » An Approach to Software Testing of Machine Learning Applicat... |
139
click to vote
AAI
2005
15 years 3 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
141
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
111
click to vote
ICSOC
2005
Springer
15 years 8 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
124
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
131
click to vote
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
Literature on the use of machine learning (ML) algorithms for classifying IP traffic has relied on fullflows or the first few packets of flows. In contrast, many real-world scenar...