3229 search results - page 271 / 646 » Theories with the Independence Property |
180
click to vote
CORR
2008
Springer
15 years 6 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...
179
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
155
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
149
click to vote
ICRA
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
166
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...