6800 search results - page 1316 / 1360 » Testing with Functions as Specifications |
158
Voted
ICCV
2007
IEEE
15 years 10 months ago
2007
IEEE
Multi-chamber heart segmentation is a prerequisite for global quantification of the cardiac function. The complexity of cardiac anatomy, poor contrast, noise or motion artifacts ...
166
Voted
AIHC
2007
Springer
15 years 10 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...
137
Voted
AIME
2007
Springer
15 years 10 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...
112
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Classically, an approach to the multiagent policy learning supposed that the agents, via interactions and/or by using preliminary knowledge about the reward functions of all playe...
152
Voted
BTW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: Peer data management systems (PDMS) are a highly dynamic, decentralized infrastructure for large-scale data integration. They consist of a dynamic set of autonomous peers...