300 search results - page 20 / 60 » Using probabilistic reasoning to automate software tuning |
126
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...
121
Voted
IUI
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
144
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
151
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
126
Voted
TCIAIG
2010
14 years 10 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...