2111 search results - page 83 / 423 » An Approach to Software Testing of Machine Learning Applicat... |
134
click to vote
ICTAI
2007
IEEE
15 years 9 months ago
2007
IEEE
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
123
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
141
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...
101
click to vote
ICALT
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper summarizes results from two educational research Ph.D. theses carried out in recent years at the "Laboratoire de Robotique Pédagogique" of the Université de...
124
click to vote
JAR
2006
15 years 3 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...