Abstract. The dominance relationship between two members of the family of Sugeno Weber tnorms is proven by using a quantifer elimination algorithm. Further it is shown that dominan...
Manuel Kauers, Veronika Pillwein, Susanne Saminger...
: We give the first combinatorial approximation algorithm for MAXCUT that beats the trivial 0.5 factor by a constant. The main partitioning procedure is very intuitive, natural, an...
This paper reviews the requirements for the security mechanisms that are currently being developed in the framework of the European research project INDECT. An overview of features...
A Knowledge Management System developed for supporting creation, capture, storage and dissemination of information about Epilepsy and Epileptic Seizures is presented. We present an...
Pedro Almeida, Paulo Gomes, Francisco Sales, Ana N...
Random Indexing K-tree is the combination of two algorithms suited for large scale document clustering. Keywords Random Indexing, K-tree, Dimensionality Reduction, B-tree, Search T...
Christopher M. De Vries, Lance De Vine, Shlomo Gev...