8874 search results - page 117 / 1775 » A New Implementation of Automath |
119
Voted
NETCOOP
2007
Springer
15 years 9 months ago
2007
Springer
In shortest path routing, traffic is routed along shortest paths defined by link weights. However, not all path systems are feasible in that they can be realized in this way. This...
119
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– We introduce a new method for synthesizing kinematics and Jacobian relationships for an important class of continuous backbone “continuum” robots. The resulting Jacobians e...
93
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
96
Voted
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes a new parity space approach to a fault detection for general systems with noises, actuator faults and sensor faults. The proposed parity space approach could be...
113
Voted
AISC
2004
Springer
15 years 9 months ago
2004
Springer
Symmetry-breaking in constraint satisfaction problems (CSPs) is a well-established area of AI research which has recently developed strong interactions with symbolic computation, i...