535 search results - page 81 / 107 » Termination of Abstract Reduction Systems |
ICVS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Due to stringing time constraints, saliency models are becoming popular tools for building situated robotic systems requiring, for instance, object recognition and vision...
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper shows the application of a recently proposed statistical characterization of the ultra-wideband (UWB) radio channel to the standardized IEEE 802.15.4a UWB ph...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Since carrier frequency offset destroys user’s signal orthogonality in Orthogonal Frequency-Division Multiplexing Access (OFDMA) uplink transmission, resulting in an ...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In this paper, simultaneous localisation and mapping (SLAM) is combined with landmark recognition to close large loops in unstructured, outdoor environments. Camera and...
LCPC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...