In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
This paper investigates multimedia quality fairness in wireless LAN environments where channel are error-prone due to mobility and fading. The experimental results show that using...
— The joint analysis of genetic and brain imaging data is the key to understand the genetic underpinnings of brain dysfunctions in several psychiatric diseases known to have a st...
Johannes Mohr, Imke Puis, Jana Wrase, Sepp Hochrei...
– We have developed and tested a novel artificial neural network for the processing of temporal signals. The working of the units (TempUnit) is based on the mechanism of temporal...
— Support Vector Machine has been well received in machine learning community with its theoretical as well as practical value. However, since its training time complexity is cubi...