Sciweavers

2827 search results - page 61 / 566
» CCured in the real world
Sort
View
IWEC
2010
13 years 11 months ago
System and Context - On a Discernable Source of Emergent Game Play and the Process-Oriented Method
Mobile games are based on the physical movement of players in a game world, combining real world with virtual dimensions. As the real world defies control, the magic circle, the bo...
Barbara Grüter, Miriam Oks, Andreas Lochwitz
CORR
1998
Springer
95views Education» more  CORR 1998»
13 years 9 months ago
Common knowledge revisited
: We consider the common-knowledge paradox raised in [HM90]: common knowledge is necessary for coordination, but common knowledge is unattainable in the real world because of tempo...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
RC
1998
66views more  RC 1998»
13 years 9 months ago
An Interval Polynomial Interpolation Problem and Its Lagrange Solution
Numerical interpolation and approximation are powerful tools to solve real world application problems. To take data measurement errors into considerations of interpolating a d deg...
Chenyi Hu, Angelina Cardenas, Stephanie Hoogendoor...
TVCG
2010
205views more  TVCG 2010»
13 years 8 months ago
Estimation of Detection Thresholds for Redirected Walking Techniques
—In immersive virtual environments (IVEs) users can control their virtual viewpoint by moving their tracked head and by walking through the real world. Usually, movements in the ...
Frank Steinicke, Gerd Bruder, Jason Jerald, Harald...
ML
2008
ACM
174views Machine Learning» more  ML 2008»
13 years 9 months ago
ALLPAD: approximate learning of logic programs with annotated disjunctions
In this paper we present the system ALLPAD for learning Logic Programs with Annotated Disjunctions (LPADs). ALLPAD modifies the previous system LLPAD in order to tackle real world ...
Fabrizio Riguzzi