5544 search results - page 875 / 1109 » Three Inadequate Models |
103
Voted
ICDT
1990
ACM
15 years 7 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
134
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Three self-stabilizing protocols for distributed systems in the shared memory model are presented. The first protocol is a mutual exclusion protocol for tree structured systems. T...
121
click to vote
SIGGRAPH
1989
ACM
15 years 7 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 ...
121
click to vote
SIGGRAPH
1990
ACM
15 years 7 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...
159
Voted
ACMACE
2007
ACM
15 years 7 months ago
2007
ACM
Fundamental to the generation of 3D audio is the HRTF processing of acoustical signals. Unfortunately, given the high dimensionality of HRTFs, incorporating them into dynamic/inte...