— We consider the sensing of the frequency spectrum based on energy detection for cognitive radios. It has been shown that the reliability of the sensing can be improved by using...
Olivier van den Biggelaar, Jean-Michel Dricot, Phi...
Abstract--Transmit diversity is necessary in harsh environments to reduce the required transmit power for achieving a given error performance at a certain transmission rate. In net...
Dieter Duyck, Daniele Capirone, Joseph Jean Boutro...
In this paper, we illustrate an application aimed at predicting protein secondary structure. The proposed system has been devised using PACMAS, a generic architecture designed to s...
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
Joseph A. Goguen, Kai Lin, A. Mori, Grigore Rosu, ...
When a whole knowledge base must be derived for a fuzzy rule-based system, learning methods usually address this task with two or more sequential stages by separately designing ea...