367 search results - page 34 / 74 » Industrial validation of COVAMOF |
121
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— High-gain PID position control, which is widely used with industrial robots, involves some risks in cases of abnormal events, such as unexpected environment contacts and tempor...
120
click to vote
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
— Job-shop scheduling is one of the most difficult production scheduling problems in industry. This paper proposes an adaptive neural network and local search hybrid approach fo...
131
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
In this research project, an integration of multi-agent technology and optimization techniques is suggested for the combined production and transport planning problem in a transpo...
123
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
113
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...