3156 search results - page 131 / 632 » An address translation simulator |
123
click to vote
MVA
2007
15 years 3 months ago
2007
In this paper, we propose a method for estimating object motion by three-dimensional scene flow using multiple cameras. The scene flow is regularized by applying subspace constr...
107
click to vote
IJFCS
2008
15 years 1 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
124
click to vote
TIP
2002
15 years 1 months ago
2002
This paper proposes the localization algorithm that estimates translation parameters of an aircraft by comparing the sampled elevation map recovered from aerial sequence images, an...
106
click to vote
WSC
2004
15 years 3 months ago
2004
This panel paper presents the views of six researchers and practitioners of simulation modeling. Collectively we attempt to address a range of key future challenges to modeling me...
110
click to vote
WSC
1997
15 years 3 months ago
1997
The DoD High Level architecture (HLA) has recently become the required method for the interconnection of all DoD computer simulations. The HLA addresses the rules by which simulat...