1400 search results - page 135 / 280 » Dynamic Galois Theory |
FMCO
2003
Springer
15 years 4 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
It is needed for humanoid to acquire not only just a trajectory but also aim of the behavior and symbolic information during behavior development. We have proposed the mimesis sys...
MPC
2010
Springer
15 years 4 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
ECAL
2001
Springer
15 years 3 months ago
2001
Springer
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...
ICRA
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...