266 search results - page 19 / 54 » Dependence relations in computably rigid computable vector s... |
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
E4MAS
2004
Springer
14 years 24 days ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
DCC
1995
IEEE
13 years 11 months ago
1995
IEEE
— Many image compression techniques require the quantization of multiple vector sources with significantly different distributions. With vector quantization (VQ), these sources ...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Mobile robots can be easily equipped with numerous sensors which can aid in the tasks of localization and ego-motion estimation. Two such examples are Inertial Measurem...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
Abstract--An image can be seen as an element of a vector space so that it can be expressed in terms of a series expansion of any non necessarily orthogonal base of this space. This...