2517 search results - page 392 / 504 » Specifying Weak Sets |
176
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...
169
click to vote
FLAIRS
2004
15 years 7 months ago
2004
Bayesian network is a popular modeling tool for uncertain domains that provides a compact representation of a joint probability distribution among a set of variables. Even though ...
161
click to vote
FORTE
2004
15 years 7 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
161
click to vote
FLAIRS
2006
15 years 7 months ago
2006
A major difficulty in building Bayesian network models is the size of conditional probability tables, which grow exponentially in the number of parents. One way of dealing with th...
150
click to vote
NIPS
2004
15 years 7 months ago
2004
We propose a new set of criteria for learning algorithms in multi-agent systems, one that is more stringent and (we argue) better justified than previous proposed criteria. Our cr...