首页>外文会议>The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006

The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006

召开年：2006
召开地：Warsaw
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Author Index

机译：作者索引
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
2.Evaluation of inconsistency in a 2-way fuzzy adaptive system usingshadowed sets

机译：基于影子集的两路模糊自适应系统的不一致性评估
- 作者：Gurkan E.;Erkmen A.M.;Erkmen I.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
3.Exploiting polarity in multiple-valued inference systems

机译：在多值推理系统中利用极性
- 作者：Stachniak Z.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
4.Multiple-valued Galois field S/D trees for GFSOP minimization andtheir complexity

机译：用于GF SOP最小化的多值Galois现场S / D树及其复杂性
- 作者：Al-Rabadi A.;Perkowski M.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
5.The designing and training of a fuzzy neural Hamming classifier

机译：模糊神经汉明分类器的设计与训练
- 作者：Qiang Hua;Qi-lun Zhen
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
6.Algebras for hazard detection

机译：用于危险检测的代数
- 作者：Brzozowski J.A.;Esik Z.;Iland Y.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
7.Tunnelling diode technology

机译：隧道二极管技术
- 作者：Prost W.;Auer U.;Tegude F.-J.;Pacha C.;Goser K.F.;Duschl R.;Eberl K.;Schmidt O.G.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
8.Representation theorems and the semantics of (semi)lattice-basedlogics

机译：表示定理和（半）基于格的逻辑的语义
- 作者：Sofronie-Stokkermans V.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
9.Tutorial: Complexity of many-valued logics

机译：教程：多值逻辑的复杂性
- 作者：Hahnle R.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
10.Classical Gentzen-type methods in propositional many-valued logics

机译：命题多值逻辑中的经典Gentzen类型方法
- 作者：Avron A.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
11.Challenge of a multiple-valued technology in recent deep-submicronVLSI

机译：最近的深亚微米VLSI中多值技术的挑战
- 作者：Hanyu T.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
12.A 4 digit CMOS quaternary to analog converter with current switchand neuron MOS down-literal circuit

机译：具有电流开关和神经元MOS下文字电路的4位CMOS四进制模拟转换器
- 作者：Sung Il Han;Young Hee Choi;Heung Soo Kim
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
13.A three-valued D-flip-flop and shift register usingmultiple-junction surface tunnel transistors

机译：使用多结表面隧道晶体管的三值D触发器和移位寄存器
- 作者：Uemura T.;Baba T.
- 会议名称：《》 | 2006年
14.A set theory within fuzzy logic

机译：模糊逻辑中的集合论
- 作者：Hajek P.;Hanikova Z.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
15.A method of uncertainty reasoning by using information

机译：一种利用信息进行不确定性推理的方法
- 作者：Jun Ma;Jun Liu;Yang Xu
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
16.Proceedings 31st IEEE International Symposium on Multiple-ValuedLogic

机译：第31届IEEE多值逻辑国际研讨会论文集
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
17.A new improved cost-table-based technique for synthesis of 4-valuedunary functions implemented using current-mode CMOS circuits

机译：一种新的基于成本表的改进技术，用于合成使用电流模式CMOS电路实现的四值单值函数
- 作者：Abd-El-Barr M.;Al-Mutawa A.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
18.Dual-rail multiple-valued current-mode VLSI with biasing currentsources

机译：具有偏置电流源的双轨多值电流模式VLSI
- 作者：Ike T.;Hanyu T.;Kameyama M.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
19.Realization of NMAX and NMIN functions with multi-valued voltagecomparators

机译：使用多值电压比较器实现NMAX和NMIN功能
- 作者：Inaba M.;Tanno K.;Ishizuka O.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
20.An application of multiple-valued logic to test case generation forsoftware system functional testing

机译：多值逻辑在软件系统功能测试的测试用例生成中的应用
- 作者：Hu M.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
21.Spectral techniques in binary and multiple-valued switching theory.A review of results in the decade 1991-2000

机译：二进制和多值切换理论中的频谱技术.1991-2000十年期研究成果回顾
- 作者：Karpovsky M.G.;Stankovic R.S.;Moraga C.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
22.Power efficient inter-module communication for digit-serial DSParchitectures in deep-submicron technology

机译：深亚微米技术中的数字串行DSP架构的高效电源模块间通信
- 作者：Dhaou I.B.;Dubrova E.;Tenhunen H.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
23.On some classes of fuzzy information relations

机译：关于某些类的模糊信息关系
- 作者：Radzikowska A.M.;Kerre E.E.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
24.On complete residuated many-valued logics with t-norm conjunction

机译：关于带有t模合的完全残差的多值逻辑
- 作者：Esteva F.;Godo L.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
25.Flash analog-to-digital converter using resonant-tunnelingmultiple-valued circuits

机译：使用谐振隧道多值电路的闪存模数转换器
- 作者：Waho T.;Hattori K.;Takamatsu Y.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
26.The use of arithmetic operators in a self-restored current modeCMOS multiple-valued logic design architecture

机译：算术运算符在自恢复电流模式中的使用CMOS多值逻辑设计架构
- 作者：Teng H.Y.;Bolton R.J.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
27.Identification of incompletely specified fuzzy unate logic function

机译：识别不完全指定的模糊统一逻辑函数
- 作者：Kikuchi H.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
28.Multiple-valued mask-programmable logic array using one-transistoruniversal-literal circuits

机译：使用一晶体管通用文学电路的多值掩模可编程逻辑阵列
- 作者：Hanyu T.;Kameyama M.;Shimabukuro K.;Zukeran C.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
29.Decomposition of multi-valued functions into min- and max-gates

机译：将多值函数分解为最小门和最大门
- 作者：Lang C.;Steinbach B.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
30.Cut-elimination in a sequents-of-relations calculus for Godel logic

机译：Godel逻辑的相关关系演算中的割除
- 作者：Baaz M.;Ciabattoni A.;Fermuller C.G.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
31.Model checking with multi-valued temporal logics

机译：使用多值时间逻辑进行模型检查
- 作者：Chechik M.;Easterbrook S.;Devereux B.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
32.Automated reasoning with ordinary assertions and defaultassumptions

机译：具有普通断言和默认假设的自动推理
- 作者：Van Heule D.;Hoogewijs A.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
33.Information theory method for flexible network synthesis

机译：柔性网络综合的信息论方法
- 作者：Cheushev V.;Yanushkevich S.;Shmerko V.;Moraga C.;Kolodziejczyk J.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
34.Compact SOP representations for multiple-output functions-anencoding method using multiple-valued logic

机译：多输出函数的紧凑SOP表示-使用多值逻辑的编码方法
- 作者：Sasao T.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
35.Two-stage exact detection of symmetries

机译：两阶段精确检测对称性
- 作者：Tomaszewska A.M.;Dziurzanski P.;Yanushkevich S.N.;Shmerko V.P.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
36.A modular reduction of regular logic to classical logic

机译：模块化将常规逻辑简化为经典逻辑
- 作者：Bejar R.;Hahnle R.;Manya F.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
37.Hypersequents as a uniform framework for Urquhart's C, MTL andrelated logics

机译：Hypersequents作为Urquhart C，MTL和相关逻辑的统一框架
- 作者：Ciabattoni A.;Fermuller C.G.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
38.Polynomial-time algorithms for verification of some properties ofk-valued functions represented by polynomials

机译：用于验证多项式表示的k值函数的某些属性的多项式时间算法
- 作者：Selezneva S.N.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
39.A model of reaction-diffusion cellular automata for massivelyparallel molecular computing

机译：大规模并行分子计算的反应扩散细胞自动机模型
- 作者：Hiratsuka M.;Aoki T.;Higuchi T.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
40.Synthesis of multiple-valued arithmetic circuits using evolutionarygraph generation

机译：利用进化图生成综合多值算术电路
- 作者：Natsui M.;Aoki T.;Higuchi T.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
41.An axiomatization of generalized entropy of partitions

机译：分区的广义熵的公理化
- 作者：Simovici D.A.;Jaroszewicz S.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
42.Many valued paraconsistent logic

机译：许多有价值的超一致性逻辑
- 作者：Morgan C.G.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
43.On logical fiberings and decomposition of many-valued operations: abrief survey

机译：关于多值操作的逻辑构造和分解：简要调查
- 作者：Pfalzgraf J.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
44.Relations between clones and full monoids

机译：克隆体与完整类体之间的关系
- 作者：Machida H.;Miyakawa M.;Rosenberg I.G.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
45.Selection of efficient re-ordering heuristics for MDD construction

机译：为MDD构建选择有效的重新排序试探法
- 作者：Schmiedle F.;Gunther W.;Drechsler R.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
46.Bit-level and word-level polynomial expressions for functions inFibonacci interconnection topologies

机译：Fibonacci互连拓扑中函数的位级和单词级多项式表达式
- 作者：Stankovic R.S.;Stankovic M.;Astola J.;Egiazarian K.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
47.Design of Haar wavelet transforms and Haar spectral transformdecision diagrams for multiple-valued functions

机译：多值函数的Haar小波变换和Haar谱变换决策图的设计
- 作者：Stankovic R.S.;Stankovic M.;Moraga C.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
48.On a Kleenean extension of fuzzy measure

机译：关于模糊测度的Kleenean扩展
- 作者：Araki T.;Mukaidono M.;Yamamoto F.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
49.On axiomatic characterization of fuzzy approximation operators. II.The rough fuzzy set based case

机译：关于模糊逼近算子的公理刻画。二，基于粗糙模糊集的情况
- 作者：Thiele H.
- 会议名称：《》 | 2006年
50.A functional manipulation for improving tolerance againstmultiple-valued weight faults of feedforward neural networks

机译：用于提高对前馈神经网络的多值权重错误的容忍度的功能操纵
- 作者：Kamiura N.;Taniguchi Y.;Matsui N.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
51.Logic circuit diagnosis by using neural networks

机译：使用神经网络进行逻辑电路诊断
- 作者：Tatsumi H.;Murai Y.;Tokumasu S.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
52.Weierstrass approximations by Lukasiewicz formulas with onequantified variable

机译：带有不等式变量的Lukasiewicz公式的Weierstrass逼近
- 作者：Aguzzoli S.;Mundici D.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年
53.Composing submonads

机译：组成子单子
- 作者：Eklund P.;Galan M.A.;Medina J.;Ojeda-Aciego M.;Valverde A.
- 会议名称：《The 2nd Institution of Engineering and Technology International Conference on Access Technologies, 2006》 | 2006年