300 search results - page 20 / 60 » Using probabilistic reasoning to automate software tuning |
160
click to vote
JAR
2006
15 years 6 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...
153
click to vote
IUI
2006
ACM
16 years 12 days 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...
180
Voted
DAC
2004
ACM
15 years 10 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...
198
click to vote
RE
2010
Springer
15 years 4 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...
168
click to vote
TCIAIG
2010
15 years 1 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 ...