4359 search results - page 761 / 872 » Automated Pipeline Design |
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
A tele-operated system in a robot greatly reduces the demands on the human operator, although some human intervention is still required to perform such tasks as insulator recognit...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
Determination of the magnitudes and directions of the constraints of a mechanical system can be achieved by finding the basis of the system’s characteristic compliance matrix. ...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
For assembly tasks parts often have to be oriented before they can be put in an assembly. The results presented in this paper are a component of the automated design of parts orie...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...