In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning ...
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazu...
Processors in portable electronic devices generally have a computational load which has time-varying performance requirements. Dynamic Voltage Scaling is a method to vary the proc...
— Natural language user interfaces for robots with cognitive capabilities should be designed to reduce the occurrence of miscommunication in order to be perceived as providing a ...
Anders Green, Kerstin Severinson Eklundh, Britta W...
Software support for the automotive electrical design process is vital, as many of the safety analysis tasks needing to be carried out, while complex, are repetitive and time cons...
As e-business grows rapidly, interests in design principles for e-business web sites are increasing. A few studies have suggested design principles with concrete design features, ...