891 search results - page 100 / 179 » Full Abstraction for PCF |
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper presents an Interleaver-Division Multiple Access (IDMA) based architecture with single-user decoding using parallel concatenated non-linear trellis codes (PC...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In this paper, we propose asynchronous non-orthogonal communication between distributed sensors and a data fusion center via asynchronous direct-sequence code-division ...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper applies some previously studied extended Kalman filter techniques for planar road geometry estimation to the domain of autonomous navigation of offhighway v...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract – Presented in this paper is an approach to realtime spatial reasoning for manipulative robotic tasks. When a service robot is requested to manipulate an object, it shou...