10715 search results - page 2019 / 2143 » From Tests to Proofs |
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
NOCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
AIHC
2007
Springer
14 years 2 months ago
2007
Springer
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
This paper discusses variable selection for medical decision making; in particular decisions regarding when to provide treatment and which treatment to provide. Current variable se...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we discuss the use of Targeted Trajectory Distribution Markov Decision Processes (TTD-MDPs)—a variant of MDPs in which the goal is to realize a specified distrib...