12774 search results - page 2216 / 2555 » A Framework for Proof Systems |
181
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we apply the classic theory of Harmonic Analysis and the Conformal Geometric Algebra (CGA) to evaluate the Fourier transform on the unit sphere S2 and on the rotatio...
176
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Service robots designed for domestic settings need to navigate in an environment that they have to share with their users. Thus, they have to be able to report their current st...
202
Voted
ICYCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...
203
Voted
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—It has been of significant importance to provision network-wide guaranteed QoS for a wide range of event detection applications in wireless sensor networks (WSNs). This paper in...
200
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— High performance and compliant robot control requires accurate dynamics models which cannot be obtained analytically for sufficiently complex robot systems. In such cases, mac...