— 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...
Pei-Chun Lin, Haldun Komsuoglu, Daniel E. Koditsch...
Abstract. Our report describes the results of work in our participation in the IndonesianEnglish question-answering task of the 2006 Cross-Language Evaluation Forum (CLEF). In this...
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey...
In this technical report we briefly describe the instances submitted to the 2006 and 2007 MaxSAT Evaluations. First, we introduce the instances that can be directly encoded as Max...
Federico Heras, Javier Larrosa, Simon de Givry, Th...