933 search results - page 124 / 187 » Extending Forward Checking |
127
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
133
click to vote
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
There has been proliferation of research on seeking for distributing the energy consumption among nodes in each cluster and between cluster heads to extend the network lifetime. H...
120
click to vote
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose a novel multi-dimensional distributed hidden Markov model (DHMM) framework. We first extend the theory of 2D hidden Markov models (HMMs) to arbitrary ca...
121
click to vote
SECON
2008
IEEE
15 years 9 months ago
2008
IEEE
—In the near future, broadband air-ground (A/G) communications will be used by civil aviation aircraft flying over crowded continental areas such as Europe and North America to ...
120
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...