1948 search results - page 246 / 390 » Formalizing Mirror Theory |
158
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...
169
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factoriz...
187
click to vote
ASM
2003
ASM
15 years 12 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
162
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
164
click to vote
ICADL
2003
Springer
15 years 12 months ago
2003
Springer
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...