机译:二进制编码量化位矢量算法的复杂性
Masaryk Univ, Fac Informat, Bot 68a, Brno 60200, Czech Republic;
Masaryk Univ, Fac Informat, Bot 68a, Brno 60200, Czech Republic;
Computational complexity; Satisfiability modulo theories; Fixed-size bit-vectors;
机译:基于低复杂度算术编码的硬件压缩方案,用于WSN上的低功耗图像传输
机译:具有精确概率估计和复杂度可伸缩性的上下文自适应二进制算术编码,用于高效视频编码
机译:用于二进制椭圆曲线算术的高效量子电路:降低T门的复杂性
机译:有关二进制编码的无量词固定大小位向量逻辑的复杂性的更多信息
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:FNIRS复杂性分析用于评估电机图像和心理算术任务
机译:关于二进制算子的量化位向量算法的复杂性 编码