504 search results - page 43 / 101 » Explaining Verification Conditions |
ICRA
1993
IEEE
13 years 12 months ago
1993
IEEE
This paper introduces a new approach to the design and control of a four-degree-of-freedom (4DOF) vehicle. This vehicle can travel sideways and it can negotiate tight turns easily...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
IJON
2002
13 years 7 months ago
2002
Two alternative concepts have been o ered to explain the neural mechanisms responsible for the generation of the respiratory motor pattern in the brainstem: a network paradigm and...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
- Parallel robots admit generally several solutions to the direct kinematics problem. The aspects are associated with the maximal singularity free domains without any singular conf...
CAI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...