358 search results - page 64 / 72 » A Verification Methodology for Model Fields |
147
click to vote
CP
1999
Springer
15 years 10 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...
156
click to vote
TOOLS
1999
IEEE
15 years 10 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...
192
click to vote
SPATIALCOGNITION
1998
Springer
15 years 9 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...
171
click to vote
FROCOS
2000
Springer
15 years 9 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...
170
click to vote
SGP
2007
15 years 8 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...