Charles University in Prague, Malostranske namesti 2/25, 118 00 Praha, Czech Republic,Kobe University, 5-1-1 Fukae-minamimachi, Higashinada-ku, Kobe 658-0022, Japan;
机译:二进制编码量化位矢量算法的复杂性
机译:使用位向量编码对非常大的分类法进行分类和查询
机译:在求解定量比特矢量约束时使用可逆条件
机译:替代地渴望与位向量上的全不同约束的替代编码
机译:自适应急切布尔编码,用于验证中的算术推理。
机译:发生了什么(什么没发生):话语权对合理选择的编码的限制
机译:发生了什么(以及没有的是什么):关于编码合理替代品的话语限制