517 search results - page 33 / 104 » Translation in XBRL standardization |
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— We report on progress toward a continuous time full 6 DOF translational body state estimator for a hexapod robot executing a jogging gait (with 4 consecutive phases: tripod sta...
GECCO
2003
Springer
14 years 23 days ago
2003
Springer
A new method is developed for representation and encoding in population-based evolutionary algorithms. The method is inspired by the biological genetic code and utilizes a many-to-...
ACL
2008
13 years 9 months ago
2008
We combine the strengths of Bayesian modeling and synchronous grammar in unsupervised learning of basic translation phrase pairs. The structured space of a synchronous grammar is ...
ENTCS
2006
13 years 7 months ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...