472 search results - page 34 / 95 » Symbolic range propagation |
DAC
1998
ACM
14 years 2 months ago
1998
ACM
Approximate reachability techniques trade o accuracy with the capacity to deal with bigger designs. Cho et al 3 proposed approximate FSM traversal algorithms over a partition of t...
SPATIALCOGNITION
2000
Springer
14 years 1 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
JSAC
2006
13 years 10 months ago
2006
Abstract--In this paper, we present a novel code-aided joint synchronization and channel estimation algorithm for downlink multicarrier code-division multiple access. The expectati...
TIT
2008
13 years 8 months ago
2008
Abstract--Discrete-input two-dimensional (2-D) Gaussian channels with memory represent an important class of systems, which appears extensively in communications and storage. In sp...
ICRA
2009
IEEE
13 years 7 months ago
2009
IEEE
Numerous approaches have been proposed for path planning in dynamic current fields, for a fixed departure time. However, in many applications, the departure time is not necessarily...