Sciweavers

1157 search results - page 144 / 232
» A Machine Learning Approach for Statistical Software Testing
Sort
View
APIN
2002
121views more  APIN 2002»
14 years 9 months ago
Applying Learning by Examples for Digital Design Automation
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
Ben Choi
IFIP
2010
Springer
14 years 4 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
ITS
2010
Springer
167views Multimedia» more  ITS 2010»
15 years 2 months ago
Characterizing the Effectiveness of Tutorial Dialogue with Hidden Markov Models
Identifying effective tutorial dialogue strategies is a key issue for intelligent tutoring systems research. Human-human tutoring offers a valuable model for identifying effective ...
Kristy Elizabeth Boyer, Robert Phillips, Amy Ingra...
DGO
2008
126views Education» more  DGO 2008»
14 years 11 months ago
Active learning for e-rulemaking: public comment categorization
We address the e-rulemaking problem of reducing the manual labor required to analyze public comment sets. In current and previous work, for example, text categorization techniques...
Stephen Purpura, Claire Cardie, Jesse Simons
SBIA
2004
Springer
15 years 3 months ago
Learning with Drift Detection
Abstract. Most of the work in machine learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
João Gama, Pedro Medas, Gladys Castillo, Pe...