1054 search results - page 181 / 211 » Translation Validation of System Abstractions |
153
Voted
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— We propose to improve the locomotive performance of humanoid robots by using approximated biped stepping and walking dynamics with reinforcement learning (RL). Although...
139
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
121
Voted
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...
136
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
153
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper introduces a method of building topological maps using sequences of images and the approximate string matching algorithm, which is commonly used in DNA seque...