Sciweavers

1054 search results - page 173 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
PLDI
2003
ACM
15 years 7 months ago
A comparison of empirical and model-driven optimization
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
Kamen Yotov, Xiaoming Li, Gang Ren, Michael Cibuls...
ICCV
2003
IEEE
16 years 3 months ago
Reliable Recovery of Piled Box-like Objects via Parabolically Deformable Superquadrics
Automatic unloading of piled box-like objects is undoubtedly of great importance to the industry. In this contribution a system addressing this problem is described: We employ a l...
Dimitrios Katsoulas
CANDC
2005
ACM
15 years 3 months ago
Computational schemes for biomimetic sculpture
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
Brower Hatcher, Karl Aspelund, Andrew R. Willis, J...
ATAL
2011
Springer
14 years 1 months ago
Learning action models for multi-agent planning
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
Hankz Hankui Zhuo, Hector Muñoz-Avila, Qian...
SIGGRAPH
2000
ACM
15 years 6 months ago
Tangible interaction + graphical interpretation: a new approach to 3D modeling
Construction toys are a superb medium for creating geometric models. We argue that such toys, suitably instrumented or sensed, could be the inspiration for a new generation of eas...
David B. Anderson, James L. Frankel, Joe Marks, As...