408 search results - page 62 / 82 » Relation Algebras for Reasoning about Time and Space |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This paper explores the idea that the universe is a virtual reality created by information processing, and relates this strange idea to the findings of modern physics about the ph...
SACI
2007
IEEE
14 years 3 months ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
AGENTS
1997
Springer
14 years 28 days ago
1997
Springer
This paper introduces a 3D simulation environment for experiments with behavior-based autonomous agents. The virtual laboratory INSIGHT allows the user to design and run a great v...
ICHIM
2001
13 years 10 months ago
2001
One of the outcomes of Moore's Law - according to which the exponential growth of technical advances in computer science is pushing more and more of our computers into obsole...
PLDI
2000
ACM
14 years 10 days ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...