5525 search results - page 747 / 1105 » Verification of Model Transformations |
191
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In reinforcement learning, least-squares temporal difference methods (e.g., LSTD and LSPI) are effective, data-efficient techniques for policy evaluation and control with linear v...
167
click to vote
GRAPHICSINTERFACE
2007
15 years 8 months ago
2007
We present an interactive algorithm to compute surface distance maps for triangulated models. The distance map represents the distance-to-closest-primitive mapping at each point o...
175
Voted
MEDINFO
2007
15 years 8 months ago
2007
Standardization of data is a prerequisite to achieve semantic interoperability in any domain. This is even more important in the healthcare sector where the need for exchanging he...
179
Voted
IADIS
2003
15 years 8 months ago
2003
Power transformers' failures carry great costs to electric companies since they need resources to recover from them and to perform periodical maintenance. To avoid this probl...
206
click to vote
VMV
2007
15 years 8 months ago
2007
We present an interactive technique for the registration of captured images of elastic and rigid body parts in which the user is given flexible control over material specific de...