Sciweavers

472 search results - page 6 / 95
» Symbolic range propagation
Sort
View
79
Voted
CPAIOR
2006
Springer
15 years 2 months ago
The Range Constraint: Algorithms and Implementation
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
Christian Bessière, Emmanuel Hebrard, Brahi...
ISRR
2001
Springer
104views Robotics» more  ISRR 2001»
15 years 2 months ago
General Solution for Linearized Error Propagation in Vehicle Odometry
Although odometry is nonlinear, it yields sufficiently to linearized analysis to produce a closed-form transition matrix and a symbolic general solution for both deterministic and...
Alonzo Kelly
ICC
2007
IEEE
175views Communications» more  ICC 2007»
15 years 4 months ago
An Adaptive MIMO System Based on Unified Belief Propagation Detection
—An adaptive multiple input and multiple output with the code matrix index feedback [8]. One detector will (MIMO) system based on the unified belief propagation (BP) work in the ...
Xiumei Yang, Yong Xiong, Fan Wang
TRIER
2002
14 years 10 months ago
Polynomial Constants are Decidable
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
Markus Müller-Olm, Helmut Seidl
ICC
2007
IEEE
153views Communications» more  ICC 2007»
15 years 4 months ago
Mapping for Iterative MMSE-SIC with Belief Propagation
Abstract— In Multiple-Input Multiple-Output (MIMO) wireless systems, since different signals are transmitted by different antennas simultaneously, interference occurs between the...
Satoshi Gounai, Tomoaki Ohtsuki