4166 search results - page 5 / 834 » Automating the constraining process |
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this work, we have extended the concept of constrained motion control of robots to surgical tasks that require multiple robots. We present virtual fixtures to guide the mot...
HICSS
2002
IEEE
14 years 9 days ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...
DAC
1999
ACM
14 years 8 months ago
1999
ACM
SEAL
1998
Springer
13 years 11 months ago
1998
Springer
The allocation of office space in any large institution is usually a problematical issue, which often demands a substantial amount of time to perform manually. The result of this a...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...