5158 search results - page 736 / 1032 » Generalization of the Dempster-Shafer Theory |
204
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
210
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
183
click to vote
FSE
2006
Springer
15 years 10 months ago
2006
Springer
We study a recently proposed design approach of Feistel structure which employs diffusion matrices in a switching way. At ASIACRYPT 2004, Shirai and Preneel have proved that large ...
182
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The properties of symmetric fitness functions are investigated. We show that a well-known encoding scheme inducing symmetric functions has the non-synonymous property and the sear...
153
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we set the first steps towards the development of a commercially viable tool that uses evolutionary computation to address the Product to Shelf Allocation Problem (P...