1026 search results - page 104 / 206 » A Methodology for Equational Reasoning |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Purpose: Drawing from literature on innovation, strategy and culture the objective of this study is to explore the role of perceived potentials and perceived strategic importance ...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...