5158 search results - page 307 / 1032 » Generalization of the Dempster-Shafer Theory |
153
click to vote
ASPDAC
2005
ACM
16 years 8 days ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
140
click to vote
HT
2005
ACM
16 years 8 days ago
2005
ACM
This paper presents a historical view of hypertext looking at preweb hypertext as a domesticated species bred in captivity, and arguing that on the web, some breeds of hypertext h...
156
click to vote
FM
2005
Springer
16 years 7 days ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
184
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
182
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
This study examines the utility of meta-grammar constant generation on a series of benchmark problems. The performance of the meta-grammar approach is compared to a grammar which ...