New heuristics and strategies have enabled major advancements in SAT solving in recent years. However, experimentation has shown that there is no winning solution that works in al...
: Advanced tele-education services provision in remote geographically dispersed user communities (such as agriculture and maritime), based on the specific needs and requirements of...
Sofia Tsekeridou, Thanassis Tiropanis, Dimitris Ro...
: The emergence of new electronic procurement applications and the rise of existing ones to their full potential have been revolutionising the disciplines of procurement and suppli...
The Augmented Representation of Cultural Objects (ARCO) system provides software and interface tools to museum curators to develop virtual museum exhibitions, as well as a virtual ...
Fundamental to case-based reasoning is the idea that similar problems have similar solutions. The meaning of the concept of "similarity" can vary in different situations...