9832 search results - page 1769 / 1967 » An Object Model for Multiprogramming |
204
Voted
PODC
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
161
click to vote
SIGGRAPH
1989
ACM
15 years 10 months ago
1989
ACM
A method for analytically calculating the forces between systems of rigid bodies in resting (non-colliding) contact is presented. The systems of bodies may either be in motion or ...
161
click to vote
SIGGRAPH
1990
ACM
15 years 10 months ago
1990
ACM
A formulation for the contact forces between curved surfaces in resting (non-colliding) contact is presented. In contrast to previous formulations, constraints on the allowable ta...
154
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
166
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Character design is a key ingredient to the success of any comicbook, graphic novel, or animated feature. Artists typically use shape, size and proportion as the first de...