4397 search results - page 321 / 880 » Relational Algebra Operations |
140
click to vote
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
147
Voted
MFCS
1998
Springer
15 years 9 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
189
click to vote
AWPN
2008
15 years 6 months ago
2008
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
106
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
A framework for virtual reality of engineering objects has been developed. This framework may simulate different equipment related to virtual reality. Framework supports 6D dynami...
140
click to vote
CG
2002
Springer
15 years 4 months ago
2002
Springer
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...