1948 search results - page 246 / 390 » Formalizing Mirror Theory |
168
click to vote
ICRA
2003
IEEE
16 years 7 days 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...
182
Voted
KCAP
2003
ACM
16 years 6 days 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...
196
click to vote
ASM
2003
ASM
16 years 5 days 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...
166
Voted
FOSSACS
2003
Springer
16 years 5 days 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...
169
click to vote
ICADL
2003
Springer
16 years 5 days 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 ...