Sciweavers

1264 search results - page 171 / 253
» The framework approach for constraint satisfaction
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
WSC
2004
15 years 7 months ago
Simulation Experiment for Improving Construction Processes
From the perspective of flow analysis, the more complex the project, the more wastes are prone to build up, due to the increasing number of interfaces between activities. When pro...
Shihyi Wang, Daniel W. Halpin
CVPR
2012
IEEE
13 years 8 months ago
Synthesizing oil painting surface geometry from a single photograph
We present an approach to synthesize the subtle 3D relief and texture of oil painting brush strokes from a single photograph. This task is unique from traditional synthesize algor...
Wei Luo, Zheng Lu, Xiaogang Wang, Ying-Qing Xu, Mo...
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
CCGRID
2011
IEEE
14 years 10 months ago
Autonomic SLA-Driven Provisioning for Cloud Applications
Abstract—Significant achievements have been made for automated allocation of cloud resources. However, the performance of applications may be poor in peak load periods, unless t...
Nicolas Bonvin, Thanasis G. Papaioannou, Karl Aber...