Sciweavers

1757 search results - page 254 / 352
» Alternating Refinement Relations
Sort
View
132
Voted
ER
1998
Springer
115views Database» more  ER 1998»
15 years 7 months ago
Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
Martin Erwig, Markus Schneider, Ralf Hartmut G&uum...
3DIM
1997
IEEE
15 years 7 months ago
Frequency Domain Estimation of 3-D Rigid Motion Based on Range and Intensity Data
Video-rate registered range and intensity data are at reach of current sensor technology. This wealth of data can be pro tably exploited in order to estimate rigid motion paramete...
Luca Lucchese, Gianfranco Doretto, Guido M. Cortel...
HYBRID
1998
Springer
15 years 7 months ago
Stabilization of Systems with Changing Dynamics
We present a framework for designing stable control schemes for systems whose dynamic equations change as they evolve on the state space. It is usually difficult or even impossible...
Milos Zefran, Joel W. Burdick
EUROMICRO
1997
IEEE
15 years 7 months ago
What's ahead in computer design?
CMOS technology should, over the next few years, reach lithography of under 0.1¡ . This provides a die area improvement of a factor of 10 over today’s technology. What is the b...
Michael J. Flynn
JELIA
1998
Springer
15 years 7 months ago
Towards State Update Axioms: Reifying Successor State Axioms
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
Michael Thielscher