943 search results - page 19 / 189 » Virtual First-Order Structure |
124
Voted
COCOON
1995
Springer
15 years 6 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
131
Voted
FUIN
2010
15 years 5 hour ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
133
Voted
AAAI
2004
15 years 4 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...
87
Voted
WISE
2000
Springer
15 years 7 months ago
2000
Springer
Web-based collaboration is becoming increasingly common. Often such collaboration exhibits emergent characteristics, for which systems based on a notion of workspaces provide suit...
223
Voted
VRST
2010
ACM
15 years 15 days ago
2010
ACM
We introduce an on-line framework for the visualizing of underground structures that improves X-Ray vision and Focus and Context Rendering for Augmented Reality. Our approach does...