25 search results - page 3 / 5 » On Properties of Update Sequences Based on Causal Rejection |
ICICS
2004
Springer
13 years 10 months ago
2004
Springer
A mobile ad hoc network (MANET) is formed by a group of mobile wireless nodes, each of which functions as a router and agrees to forward packets for others. Many routing protocols ...
BMCBI
2005
13 years 5 months ago
2005
Background: Popular methods to reconstruct molecular phylogenies are based on multiple sequence alignments, in which addition or removal of data may change the resulting tree topo...
AGP
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
We propose a non-data-aided adaptive beamforming algorithm based on Widely Linear (WL) processing techniques and the Auxiliary Vector Filtering (AVF) algorithm for non-circular si...
CSFW
2009
IEEE
13 years 9 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...