7064 search results - page 143 / 1413 » From States to Histories |
198
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
157
click to vote
APCCAS
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— This paper proposes a new expression of frequency transformation for state-space digital filters. The proposed frequency transformation has the property of preserving ...
157
click to vote
ICRA
2005
IEEE
16 years 2 days 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...
186
click to vote
FSMNLP
2005
Springer
16 years 16 hour ago
2005
Springer
This paper describes the implementation and system details of Klex, a finite-state transducer lexicon for the Korean language, developed using XRCE’s Xerox Finite State Tool (XF...
182
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Interested in Evolutionary Robotics, this paper focuses on the acquisition and exploitation of memory skills. The targeted task is a well-studied benchmark problem, the Tolman ...