632 search results - page 68 / 127 » constraints 2000 |
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
By exploiting properties of the joint space mass-inertia matrix of flexure jointed hexapods, a new decoupling method is proposed. The new decoupling method, through a static input...
PATAT
2000
Springer
13 years 11 months ago
2000
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
MVA
2000
13 years 9 months ago
2000
Abstract tion 6. When we have some estimation errors in the autoPractical problems are dealt with for augmented reality calibration, we may have a different perspective view from w...
WSC
2000
13 years 9 months ago
2000
Discrete-event simulation is widely used to analyse and improve the performance of manufacturing systems. The related optimization problem often includes integer design variables ...