1567 search results - page 93 / 314 » A Mechanized Model of the Theory of Objects |
120
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
119
click to vote
SIGGRAPH
1995
ACM
15 years 5 months ago
1995
ACM
We are presenting techniques for simulating the motion and the deformation of cloth, fabrics or, more generally, deformable surfaces. Our main goal is to be able to simulate any k...
101
click to vote
PLILP
1998
Springer
15 years 5 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— We present an ant-based algorithm for spatially sorting objects into an annular structure. The model is minimal, as it requires only stochastic ant behaviour coupled with a phe...
111
click to vote
PPAM
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...