Sciweavers

5205 search results - page 112 / 1041
» Tilings and model theory
Sort
View
VR
2009
IEEE
172views Virtual Reality» more  VR 2009»
16 years 1 months ago
Measurement Protocols for Medium-Field Distance Perception in Large-Screen Immersive Displays
How do users of virtual environments perceive virtual space? Many experiments have explored this question, but most of these have used head-mounted immersive displays. This paper ...
Eric Klein, J. Edward Swan II, Gregory S. Schmidt,...
PKDD
2005
Springer
96views Data Mining» more  PKDD 2005»
15 years 12 months ago
Testing Theories in Particle Physics Using Maximum Likelihood and Adaptive Bin Allocation
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
Bruce Knuteson, Ricardo Vilalta
DBPL
2003
Springer
120views Database» more  DBPL 2003»
15 years 11 months ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
AGI
2008
15 years 7 months ago
LIDA and a Theory of Mind
Every agent aspiring to human level intelligence, every AGI agent, must be capable of a theory of mind. That is, it must be able to attribute mental states, including intentions, t...
David Friedlander, Stan Franklin
BSL
2007
51views more  BSL 2007»
15 years 6 months ago
Relating First-order Set Theories and Elementary Toposes
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
Steven Awodey, Carsten Butz, Alex Simpson, Thomas ...