5754 search results - page 361 / 1151 » Multi-class Model M |
136
click to vote
WSC
2000
15 years 8 months ago
2000
In determining an electronic workflow system, a financial services firm utilized simulation to determine the necessary capital expenditure. Analysis included batching options, Ser...
166
click to vote
WSCG
2000
15 years 8 months ago
2000
To support 3D architectural modeling, geometric constraints are introduced. Explicit and implicit geometric relations between building elements can be expressed by the designer an...
176
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the...
172
click to vote
SLOGICA
2008
15 years 6 months ago
2008
We study a simple game theoretic model of information transfer which we consider to be a baseline model for capturing strategic aspects of epistemological questions. In particular,...