3758 search results - page 273 / 752 » A Complete Subsumption Algorithm |
175
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
187
click to vote
WFLP
2009
Springer
15 years 11 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
148
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
148
click to vote
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
A framework for scheduling a number of di erent real-time applications on a single shared preemptable processor is proposed. This framework enforces complete isolation among the d...
207
click to vote
AISC
2000
Springer
15 years 11 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...