1592 search results - page 126 / 319 » On the Equality of Probabilistic Terms |
155
click to vote
ECSQARU
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we study a new probability associated with any given belief function b, i.e. the orthogonal projection π[b] of b onto the probability simplex P. We provide an interp...
160
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
144
click to vote
ISSAC
2007
Springer
16 years 17 days ago
2007
Springer
Constructing some regular graph with a given girth, a given degree and the fewest possible vertices is a hard problem. This problem is called the cage graph problem and has some l...
162
click to vote
LPAR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
172
click to vote
AHS
2006
IEEE
16 years 15 days ago
2006
IEEE
Self-reconfigurable adaptive systems have the possibility of adapting their own hardware configuration. This feature provides enhanced performance and flexibility, reflected i...