Sciweavers

2958 search results - page 78 / 592
» Extending and Implementing RASP
Sort
View
IFIP
2009
Springer
13 years 5 months ago
On the Automated Correction of Protocols with Improper Message Encoding
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...
Dieter Hutter, Raul Monroy
GRC
2007
IEEE
13 years 9 months ago
Precision and Recall in Rough Support Vector Machines
Abstract— Rough support vector machines (RSVMs) supplement conventional support vector machines (SVMs) by providing a better representation of the boundary region. Increasing int...
Pawan Lingras, Cory J. Butz
CADE
2004
Springer
14 years 8 months ago
Sonic - Non-standard Inferences Go OilEd
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
Anni-Yasmin Turhan, Christian Kissig
SEMWEB
2005
Springer
14 years 1 months ago
A Fuzzy Semantics for Semantic Web Languages
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...
Mauro Mazzieri, Aldo Franco Dragoni
AUTOMATICA
2010
171views more  AUTOMATICA 2010»
13 years 7 months ago
An adaptive high-gain observer for nonlinear systems
The main contribution of this paper is to provide a solution to the noise sensitivity of high-gain observers. We propose a nonlinear observer that possesses simultaneously the pro...
Nicolas Boizot, Eric Busvelle, Jean-Paul Gauthier