8486 search results - page 323 / 1698 » Ordered Enumeration Method |
152
click to vote
IICAI
2003
15 years 6 months ago
2003
Abstract. We present the Acyclic Bayesian Net Generator, a new approach to learn the structure of a Bayesian network using genetic algorithms. Due to the encoding mechanism, acycli...
122
click to vote
FSTTCS
2008
Springer
15 years 6 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
126
click to vote
CSDA
2007
15 years 4 months ago
2007
An original method is proposed for spatial cluster detection of case event data. A selection order and the distance from the nearest neighbour are attributed to each point, once p...
162
Voted
FMSD
2002
15 years 4 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
152
click to vote
TSP
2010
14 years 11 months ago
2010
In this paper, we propose an improved interference cancellation method for two-user multiple access based MIMO communication system. It is shown in the paper, that by using the pr...