467 search results - page 32 / 94 » Open bisimulation for aspects |
ICRA
2003
IEEE
14 years 27 days ago
2003
IEEE
We have been developing a software platform, called OpenHRP, for humanoid robotics which consists of a dynamic simulator and motion control library for humanoid robots. This paper...
FSE
2001
Springer
14 years 3 days ago
2001
Springer
The NESSIE project (New European Schemes for Signature, Integrity and Encryption) intends to put forward a portfolio containing the next generation of cryptographic primitives. The...
IEAAIE
2005
Springer
14 years 1 months ago
2005
Springer
When using a constructive search algorithm, solutions to scheduling problems such as the job shop and open shop scheduling problems are typically represented as permutations of the...
IC
2007
13 years 9 months ago
2007
Abstract XML databases, providing structural querying support, are becoming more and more popular. As we know, XML data may change over time and providing an efficient support to q...
IJHR
2008
13 years 7 months ago
2008
Motion planning for humanoids faces several challenging issues: high dimensionality of the configuration space, necessity to address balance constraints in single and double suppo...