5158 search results - page 280 / 1032 » Generalization of the Dempster-Shafer Theory |
167
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
173
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
166
click to vote
ECAL
2005
Springer
16 years 6 days ago
2005
Springer
The idea that the biota can regulate the abiotic components of their environment to levels suitable for life has attracted criticism from neo-Darwinian theorists but is still a via...
161
click to vote
EUROCAST
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we present a new pseudo-random sequence generator, constructed by the generalized discrete Baker transformation. This new generator is called Cascaded Baker Register...
145
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we introduce an application of real-coded genetic algorithms to the problem of consistent graph layout and exploring the role of mutation for this particular problem...