280 search results - page 42 / 56 » Termination Tools in Ordered Completion |
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
: This paper presents an improved method for the geometrical calibration of parallel robots for which the structure is based upon some parallelogram mechanisms. Its originality is ...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
MICAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
CP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
CAV
2001
Springer
14 years 1 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...