20066 search results - page 3719 / 4014 » T Spaces |
334
click to vote
ROCAI
2004
Springer
16 years 3 days ago
2004
Springer
We introduce a model class for statistical learning which is based on mixtures of propositional rules. In our mixture model, the weight of a rule is not uniform over the entire ins...
173
click to vote
RT
2004
Springer
16 years 3 days ago
2004
Springer
Despite recent advances in finding efficient LOD-representations for gigantic 3D objects, rendering of complex, gigabyte-sized models and environments is still a challenging tas...
181
click to vote
SELMAS
2004
Springer
16 years 3 days ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
188
click to vote
SIGADA
2004
Springer
16 years 3 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
192
click to vote
SPIN
2004
Springer
16 years 3 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...