5525 search results - page 946 / 1105 » Verification of Model Transformations |
132
Voted
ESANN
2001
15 years 5 months ago
2001
In sensorimotor behaviour often a great movement execution variability is combined with a relatively low error in reaching the intended goal. This phenomenon can especially be obse...
118
click to vote
WSC
2001
15 years 5 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
127
click to vote
SGP
2003
15 years 5 months ago
2003
We present “contact levels of detail” (CLOD), a novel concept for multiresolution collision detection. Given a polyhedral model, our algorithm automatically builds a “dual h...
121
click to vote
WSC
2000
15 years 5 months ago
2000
The calculation of value-at-risk (VAR) for large portfolios of complex instruments is among the most demanding and widespread computational challenges facing the financial industr...
131
click to vote
SLP
1993
15 years 5 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...