2374 search results - page 126 / 475 » Automatic Generation of Model Translations |
141
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
Paper architectures are 3D paper buildings created by folding and cutting. The creation process of paper architecture is often laborintensive and highly skill-demanding, even with...
154
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
146
click to vote
JUCS
2008
15 years 4 months ago
2008
: At present a large amount of research exists into the design and implementation of adaptive systems. However, not many target the complex task of authoring in such systems, or th...
195
click to vote
3DICA
2000
15 years 6 months ago
2000
Towards photo-realistic 3D scene reconstruction from range and color images, we present a statistical technique for multimodal image registration. Statistical tools are employed t...
165
click to vote
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...