Sciweavers

3889 search results - page 463 / 778
» A Framework for Optimizing Paper Matching
Sort
View

Publication
152views
15 years 10 months ago
Expected loss analysis of thresholded authentication protocols in noisy conditions
A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting $n$ rounds, with no error corr...
Christos Dimitrakakis, Aikaterini Mitrokotsa, Serg...
DLOG
1998
15 years 8 months ago
Implementing an ALCRP(D) ABox Reasoner - Progress Report
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
Volker Haarslev, Ralf Möller, Anni-Yasmin Tur...
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 6 months ago
Coverage games in small cells networks
Abstract: This paper considers the problem of cooperative power control in distributed small cell wireless networks. We introduce a novel framework, based on repeated games, which ...
Mael Le Treust, Hamidou Tembine, Samson Lasaulce, ...
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 6 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna
AUTOMATICA
2005
103views more  AUTOMATICA 2005»
15 years 6 months ago
Norm invariant discretization for sampled-data fault detection
In this paper, the problem of fault detection in sampled-data systems is studied. It is shown that norms of a sampled system are equal to the corresponding norms of a certain disc...
Iman Izadi, Tongwen Chen, Qing Zhao