7988 search results - page 1336 / 1598 » A Useful Undecidable Theory |
160
click to vote
PRESENCE
2010
14 years 11 months ago
2010
Few HMD-based virtual environment systems display a rendering of the user's own body. Subjectively, this often leads to a sense of disembodiment in the virtual world. We expl...
149
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
A number of works concerning rigorous convergence theory for adaptive finite element methods (AFEM) for controlling global energy errors have appeared in recent years. However, man...
132
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
This paper deals with the approximation of the buckling coefficients and modes of a clamped plate modeled by the Reissner-Mindlin equations. These coefficients are related with the...
156
click to vote
SIGMETRICS
2010
ACM
14 years 11 months ago
2010
ACM
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
143
click to vote
TAAS
2010
14 years 11 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...