358 search results - page 64 / 72 » A Verification Methodology for Model Fields |
124
Voted
CP
1999
Springer
15 years 8 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...
135
Voted
TOOLS
1999
IEEE
15 years 8 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...
168
Voted
SPATIALCOGNITION
1998
Springer
15 years 8 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...
141
Voted
FROCOS
2000
Springer
15 years 7 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...
144
Voted
SGP
2007
15 years 6 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...