10715 search results - page 2019 / 2143 » Proofs from Tests |
137
Voted
KBSE
2007
IEEE
15 years 10 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 ...
143
Voted
NOCS
2007
IEEE
15 years 10 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...
162
Voted
AIHC
2007
Springer
15 years 9 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...
136
Voted
AIME
2007
Springer
15 years 9 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...
111
click to vote
ATAL
2007
Springer
15 years 9 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...