814 search results - page 52 / 163 » Analysis of Modular Arithmetic |
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
106
click to vote
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
DOCENG
2004
ACM
15 years 3 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper discusses the mechanical kinematics solutions and design aspects of the biped robot SHERPA, a bipedal platform able to walk and carry load. Starting from the analysi...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper deals with the motion of a multi-legged modular robot. The robot consists of six homogenous modules, each of which has a body and two legs and is connected to the ot...