Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
Gjergji Kasneci, Jurgen Van Gael, Ralf Herbrich, T...
This study uses a similarity-based elastography method to reconstruct elastic modulus values in a simulation of cancerous tumors in the breast. Four similarity metrics were compar...
Michael I. Miga, Megan Rothney, Chad W. Washington
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...
In the last few years the use of coalition formation algorithms in multi-agent systems has been proposed as a possible way of modelling autonomous agent cooperation. Game theory pr...