20066 search results - page 3719 / 4014 » T Spaces |
353
click to vote
ROCAI
2004
Springer
16 years 23 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...
204
click to vote
RT
2004
Springer
16 years 23 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...
208
click to vote
SELMAS
2004
Springer
16 years 23 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...
218
click to vote
SIGADA
2004
Springer
16 years 23 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...
208
click to vote
SPIN
2004
Springer
16 years 23 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...