Sciweavers

9186 search results - page 370 / 1838
» A Module System for Scheme
Sort
View
FORTE
2003
15 years 8 months ago
A Lightweight Formal Analysis of a Multicast Key Management Scheme
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
Mana Taghdiri, Daniel Jackson
166
Voted
DLOG
1996
15 years 8 months ago
A Translation Scheme for Domain Ontologies Based on Model Ontologies of KBS
To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, intoandfromwhich the domainontologyis translated. This requires several distinc...
Houria Mihoubi, Ana Simonet, Michel Simonet
JNW
2006
81views more  JNW 2006»
15 years 6 months ago
A Noble Fuzzy-based Mobile Tracking Scheme
In this study, we propose a novel mobile tracking method based on Multi-Criteria Decision Making (MCDM), in which uncertain parameters such as Pilot Signal Strength (PSS), the dist...
Soo Chang Kim, Jong Chan Lee, Yeon-Seung Shin
MP
1998
76views more  MP 1998»
15 years 6 months ago
Warm start of the primal-dual method applied in the cutting-plane scheme
A practical warm-start procedure is described for the infeasible primal-dualinterior-point method employed to solve the restricted master problem within the cutting-plane method. ...
Jacek Gondzio
VTC
2006
IEEE
116views Communications» more  VTC 2006»
16 years 24 days ago
Distributed Estimation in a Power Constrained Sensor Network
— This paper derives the optimum non-uniform quantization scheme for a distributed estimation problem based on noisy observations in a wireless sensor network. The optimal quanti...
Visvakumar Aravinthan, Sudharman K. Jayaweera, Kos...