Sciweavers

2086 search results - page 291 / 418
» Mathematical Theory Exploration
Sort
View
PRESENCE
2010
181views more  PRESENCE 2010»
13 years 2 months ago
The Effect of Viewing a Self-Avatar on Distance Judgments in an HMD-Based Virtual Environment
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...
Betty J. Mohler, Sarah H. Creem-Regehr, William B....
DIGRA
2005
Springer
14 years 1 months ago
A Cognitive Psychological Approach to Gameplay Emotions
Although emotions elicited by the fictional world or the artefact play a part in story-driven video games, they are certainly not the focus of the experience. From a cognitive psy...
Bernard Perron
ACL
2004
13 years 9 months ago
Evaluating Centering-Based Metrics of Coherence
We use a reliably annotated corpus to compare metrics of coherence based on Centering Theory with respect to their potential usefulness for text structuring in natural language ge...
Nikiforos Karamanis, Massimo Poesio, Chris Mellish...
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 6 months ago
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
Silvio Ghilardi, Silvio Ranise
MICCAI
2008
Springer
14 years 9 months ago
Shape Analysis with Overcomplete Spherical Wavelets
Abstract. In this paper, we explore the use of over-complete spherical wavelets in shape analysis of closed 2D surfaces. Previous work has demonstrated, theoretically and practical...
B. T. Thomas Yeo, Peng Yu, P. Ellen Grant, Bruc...