308 search results - page 38 / 62 » Writing as a Tool for Learning Software Engineering |
88
Voted
IUI
2009
ACM
15 years 9 months ago
2009
ACM
The results of a machine learning from user behavior can be thought of as a program, and like all programs, it may need to be debugged. Providing ways for the user to debug it mat...
112
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
UIST
2005
ACM
15 years 6 months ago
2005
ACM
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
100
click to vote
ICSE
2004
IEEE-ACM
16 years 17 days ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
120
click to vote
ACMSE
2008
ACM
15 years 2 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...