358 search results - page 64 / 72 » A Verification Methodology for Model Fields |
CP
1999
Springer
15 years 1 months ago
1999
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
TOOLS
1999
IEEE
15 years 1 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
110
click to vote
SPATIALCOGNITION
1998
Springer
15 years 1 months ago
1998
Springer
Spatial orientation strongly relies on visual and whole-body information available while moving through space. As virtual environments allow to isolate the contribution of visual i...
FROCOS
2000
Springer
15 years 1 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
SGP
2007
14 years 12 months ago
2007
In this paper we present a high-fidelity surface approximation technique that aims at a faithful reconstruction of piecewise-smooth surfaces from a scattered point set. The presen...