掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文期刊
>
计算机、自动化
>
计算技术、计算机技术
>
Computers and Artificial Intelligence
Computers and Artificial Intelligence
中文名称:计算机与人工智能
ISSN:
0232-0274
出版周期:
Bimonthly
发文量:69
期刊论文
热门论文
年度选择
2001
第1期
第2期
2000
第1期
第2期
第3期
第4期
第5期
第6期
1999
第1期
第2期
第3期
第4期
第5期
第6期
1996
第1期
第3期
1995
第1期
第2期
第5期
第6期
更多>>
全选(
0
)
清除
导出
1.
A Unified Approach To Fast computation Of Discrete Sinusoidal Transforms II: DFT And DWT Transforms
机译:
快速计算离散正弦变换的统一方法II:DFT和DWT变换
作者:
Valdimir BRITANAK
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第1期
关键词:
Orthogonal Transforms;
Discrete Fourier Transform;
Discrete Hartley Transform;
2.
An event structure model for dataflow computing
机译:
用于数据流计算的事件结构模型
作者:
I.B. Virbitskaite
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第1期
关键词:
dataflow computing;
token colouring;
'true' concurrency;
3.
Distributed tree processing devices
机译:
分布式树处理设备
作者:
Zoltan FULOP
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第1期
关键词:
blackboard model;
cooperation strategies;
tree automata;
4.
On Yager's Theory Of Bags And Fuzzy Bags
机译:
论雅格的袋与模糊袋理论
作者:
Kankana CHAKRABARTY
;
Ranjit BISWAS
;
Sudarsan NANDA
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第1期
关键词:
Count;
bags;
fuzzy bags;
5.
Multiple-Output Multilevel logic circuits synthesis technique using multiplexers
机译:
使用多路复用器的多输出多级逻辑电路合成技术
作者:
Milan Kolesar
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第1期
关键词:
Boolean function;
canonical matrix;
canonical multiplexer tree;
6.
Time-Frequency representations
机译:
时频表示
作者:
Richard Tolimieri
;
Myoung An
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第2期
7.
β_k-Complete problems and greediness
机译:
β_k-完全问题和贪婪
作者:
Robert Szelepcsenyi
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第2期
关键词:
Turing machines;
nondeterminism;
NP-complete problems;
8.
Random walks and brownian motion
机译:
随机漫步和布朗运动
作者:
Thierry Castell
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第2期
9.
Execution models for a massively Parallel prolog implementation. Part II.
机译:
大规模并行prolog实现的执行模型。第二部分
作者:
P. Kacsuk
;
Mta Sztaki
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第2期
关键词:
Logic programming;
parallel programming;
dataflow;
10.
Describing candidate keys by hypergraphs
机译:
通过超图描述候选键
作者:
Janose Demetrovics
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第2期
关键词:
hypergrpah;
trnasversal;
minimal transversal;
11.
Table rounding problem
机译:
表舍入问题
作者:
Jiri SIMA
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第2期
关键词:
table;
rounding;
adjacent integer;
12.
Neural networks and analog computation (Beyond the turing limit)
机译:
神经网络和模拟计算(超出图灵限制)
作者:
Hawa T. Siegelmann
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第3期
13.
A multimedia documentation environment supports well-engineered Software development and maintenance
机译:
多媒体文档环境支持精心设计的软件开发和维护
作者:
Timothy K. Shih
;
Louis R. Chow
;
Huan-Caho Keh
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第3期
关键词:
documentation;
software metrics;
hypertext;
14.
Width-Reduction for a linear time channel Routing algorithm
机译:
线性时间通道路由算法的减宽
作者:
Miklos Attila Lengyel
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第3期
关键词:
VSLI routing;
channel routing;
upper bound;
15.
Incremental view materialization In deductive databases
机译:
演绎数据库中的增量视图实现
作者:
Wnag-Chan Wong
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第3期
16.
Agape: Parallel genetic algorithm Programming environment developed For APE100/QU adrics
机译:
Agape:针对APE100 / QU adrics开发的并行遗传算法编程环境
作者:
A. Sternieri
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第3期
关键词:
parallel genetic algorithms;
neurla networks design;
Ape100/Quadrics architecture;
17.
Improving performances Of the genetic algorithm by caching
机译:
通过缓存提高遗传算法的性能
作者:
Jozef Kratica
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第3期
关键词:
Genetic algorithms;
caching;
siple plant location problem;
18.
Stochastic self-monitoring Of autonomous systems
机译:
自治系统的随机自我监控
作者:
Thomas Kampke
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第4期
关键词:
Credit assignment;
directed Markov fields;
dynamic programming;
19.
Polynomial Time manhattan routing without doglegs -a generalization of gallai's algorithm
机译:
没有狗腿的多项式时间曼哈顿路由-Gallai算法的推广
作者:
Endre Boros
;
Andras Recski
;
Tibor Szkalczki
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第4期
关键词:
VSLI;
routing;
Manhattan model;
20.
On the structure of armstrong relation For generalized positive Boolean dependencies
机译:
关于广义正布尔依赖项的Armstrong关系的结构
作者:
Le Thi Thanh
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第4期
关键词:
relation;
data base;
functional dependency;
21.
Context in artifical intelligence: I.A. survey of the literature
机译:
人工智能中的上下文:A.文献综述
作者:
P. Brezillon
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第4期
关键词:
Context;
knowledge representation;
knowledge modeling;
22.
Models and parallel programming Abstractions for synchronization And communication
机译:
同步和通信的模型和并行编程抽象
作者:
A.E. Doroshenko
;
A.B. Godlevsky
;
L. Hluchy
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第4期
23.
Grapnel to c translation in the grade environment
机译:
在年级环境中抓取C语言翻译
作者:
Daniel Drotos
;
Peter Kacsuk
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第4期
关键词:
graphical programming;
parallel progrmaming;
code generation;
24.
Exploiting type analysis for unification in a distributed environment
机译:
利用类型分析来实现分布式环境中的统一
作者:
Evelina Lamma
;
Paola Mello
;
Cesare Stefanelli
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第5期
关键词:
logic programming;
distributed implementation;
program analysis and optimization;
25.
Context in artificial intelligence: II. key elements of contexts
机译:
人工智能的背景:II。上下文的关键要素
作者:
P. Brezillon
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第5期
关键词:
context;
knowledge representation;
knowledge modeling;
26.
A VDM approach to continuation-based semantics of prolog
机译:
一种VDM方法,用于基于序言的连续性语义
作者:
Timothy K. Shih
;
Huan-Chao Keh
;
Yule-chyun Lin
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第5期
关键词:
Vienna Development Method;
Prolog;
27.
Exdasy-A user-friendly and extendable Data distribution systems
机译:
Exdasy-用户友好且可扩展的数据分发系统
作者:
Rainer Ch. Koppler
;
Jens J. Volkert
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第5期
关键词:
Unstructured mesh computations;
mesh partitioning;
data distribution automatic domain decomposition;
28.
Epistasis and unitation
机译:
上位与团结
作者:
M.T. Iglesias
;
C. Vidal
;
D. Suys
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第5期
关键词:
epistasis;
unitation function;
fitness function;
29.
Nonspecificity degrees of basic probability Assignments in dempster-shafer theory
机译:
dempster-shafer理论中基本概率分配的非特异性程度
作者:
Ivan Kramosil
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第6期
关键词:
fuzzy sets;
Dempster-Shafer theory;
basic probability assignments;
30.
Possibilistic information measures and selection approach
机译:
可能的信息措施和选择方法
作者:
Do Van Thanh
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第6期
关键词:
principle;
minimal specificity;
maximal buoyancy;
31.
Object-Oriented parallel software For radio wave propagation simulation In urban environment
机译:
面向对象的并行软件,用于城市环境中的无线电波传播仿真
作者:
Frederic Guidec
;
Partice Calegari
;
Peirre Kuonen
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第6期
关键词:
Radio wave propagation simulation;
Transmission Line Matrix;
mobile telecommunication;
32.
A computational model of evolution: haploidy versus diploidy
机译:
进化的计算模型:单倍体与二倍体
作者:
P. Isasi
;
A.Sanchis
;
J. Molina
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第6期
关键词:
evolutionary computation;
dipolidy;
simulated environment;
33.
A morphological approach to hough transform on an instruction systolic array
机译:
指令脉动阵列上霍夫变换的一种形态学方法
作者:
Bertil Schmidt
;
Manfred Schimmler
;
Heiko Schroder
期刊名称:
《Computers and Artificial Intelligence》
|
1999年第6期
关键词:
Hough transform;
mathematical morphology;
low cost parallel computing;
34.
IMPLEMENTATION OF THE SELF-ORGANIZING FEATURE MAP ON PARALLEL COMPUTERS
机译:
自组织特征图在并行计算机上的实现
作者:
V. Demian
;
J.-C. MIGNOT
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第1期
关键词:
neural networks;
self-organizing feature map;
parallel processing;
SIMD computers;
MIMD computers;
35.
AN INTERPROCESSOR COMMUNICATION INTERFACE FOR MESSAGE PASSING VIA SHARED MEMORY MODULES - DESIGN AND PERFORMANCES
机译:
通过共享内存模块进行消息传递的处理器间通信接口-设计和性能
作者:
Goran Lj. DJORDJEVIC
;
Mile K. STOJCEV
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第1期
关键词:
interprocessor communication;
message passing;
multi-microcomputer system;
36.
p-ADIC ARITHMETIC AND PARALLEL SYMBOLIC COMPUTATION: AN IMPLEMENTATION FOR SOLVING LINEAR SYSTEMS OVER RATIONALS
机译:
p-ADIC算术和并行符号计算:解决线性系统在有理数上的实现
作者:
Carla LIMONGELLI
;
Roberto PIRASTU
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第1期
关键词:
parallel algorithms;
p-adic arithmetic;
scientific computing;
computer algebra;
shared memory machines;
37.
EVALUATION OF DIFFERENTIAL METHODS FOR IMAGE VELOCITY MEASUREMENT
机译:
图像速度测量的差分方法的评估
作者:
Peter Handschack
;
Reinhard KLETTE
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第1期
关键词:
image velocity;
local displacement;
differential methods;
evaluation of methods;
38.
TEST TUBE DISTRIBUTED SYSTEMS BASED ON SPLICING
机译:
基于拼接的测试管分布式系统
作者:
Erzsebet Csuhaj-Varju
;
Lila Kari
;
Gheorghe PAUN
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
DNA computing;
parallel communicating grammar systems;
turing machines;
universality;
39.
REPORT ON THE INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE MONTREAL, CANADA AUGUST 19—25, 1995
机译:
1995年8月19日至25日在加拿大蒙特利尔举行的国际人工智能国际联合会议的报告
作者:
Irina V. EzHKOVA
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
40.
COLONIES WITH POSITION
机译:
有位置的殖民地
作者:
Igor BANIK
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
colonies;
chomsky hierarchy;
generative power;
multi-agent systems;
41.
COLLAPSING HIERARCHIES IN PCGSs WITH COMMUNICATION BY COMMAND
机译:
通过命令通信收集PCGS中的层次结构
作者:
Lucian ILIE
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
grammar systems;
parallel communication;
communication by command;
42.
ON ECO-GRAMMAR SYSTEMS AND ARTIFICIAL NEURAL NETWORKS1
机译:
生态语法系统和人工神经网络
作者:
Petr SOSIK
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
grammar systems;
eco-grammar systems;
artificial neural networks;
turing machine;
computability;
43.
ON COOPERATIVELY DISTRIBUTED CIPHERING AND HASHING
机译:
关于协同分布的加密和哈希
作者:
Cunsheng DING
;
Arto SALOMAA
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
formal languages;
grammar systems;
ciphers;
hashing;
authentication;
44.
DEVELOPMENTS IN GRAMMAR SYSTEMS (FOREWORD)
机译:
语法系统的发展(前言)
作者:
Jozef Kelemen
;
Gheorghe PAUN
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
45.
COMPUTATIONAL COMPLEXITY OF LINEAR PCGSs
机译:
线性PCGS的计算复杂度
作者:
Liming CAI
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
parallel communicating grammar systems;
turing machines;
space complexity;
chomsky hierarchy;
46.
PARALLEL COMMUNICATING GRAMMAR SYSTEMS WITHOUT A MASTER
机译:
没有大师的并行通信语法系统
作者:
Gyoergy VASZIL
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
parallel communicating grammar systems;
chomsky hierarchy;
lindenmayer systems;
generative capacity;
47.
ON THE GENERATIVE CAPACITY OF PCGSs WITH REGULAR COMPONENTS
机译:
具有常规成分的PCGS的发电能力
作者:
Valeria MIHALACHE
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
formal languages;
parallel communicating grammar systems;
matrix grammars;
48.
ACCEPTING MULTI-AGENT SYSTEMS: THE CASE OF COOPERATING DISTRIBUTED GRAMMAR SYSTEMS
机译:
接受多代理系统:以协作式分布式语法系统为例
作者:
Henning FERNAU
;
Markus HOLZER
;
Henning BORDIHN
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
formal languages;
CD grammar systems;
accepting and generating rewriting systems;
49.
SPLICING GRAMMAR SYSTEMS
机译:
拼接语法系统
作者:
Juergen DASSOW
;
Victor MITRANA
期刊名称:
《Computers and Artificial Intelligence》
|
1996年第3期
关键词:
parallel communicating grammar systems;
splicing operation;
DNA computing;
chomsky hierarchy;
50.
A SYNTHESIS OF SUB-OPTIMAL DECISION DIAGRAMS
机译:
次优决策图的合成
作者:
Vaclav DVORAK
;
Jaroslav SUSTR
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第1期
关键词:
ordered and free decision diagrams;
multi-level logic;
multiplexer network;
logic decomposition;
partial functions;
optimum variable ordering;
heuristic optimization;
51.
LOAD BALANCING AND SCHEDULING IN A NEIGHBOURHOOD-BASED MULTIPROCESSOR
机译:
基于近邻多处理器的负载均衡和调度
作者:
Gary S. H. TAN
;
W. N. CHIN
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第1期
关键词:
scheduling;
mapping;
load balancing;
parallelism control and multiprogramming;
52.
AN OPERATIONAL SEMANTICS APPROACH TO DISCIPLINED EXCEPTIONS IN LOGIC PROGRAMMING
机译:
逻辑程序中纪律例外的操作语义学方法
作者:
Timothy K. SHIH
;
Puyau LIN
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第1期
关键词:
exceptions;
logic programming;
operational semantics;
continuations;
53.
MANAGING PARALLELISM IN PARALLEL SYSTEMS
机译:
在并行系统中管理并行
作者:
Yong Meng TEO
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第1期
关键词:
parallel systems;
parallelism management;
54.
AN EVENT-DRIVEN NET BASED SIMULATION METHODOLOGY WITHIN A KNOWLEDGE-BASED FRAMEWORK
机译:
基于知识框架的基于事件驱动网络的仿真方法
作者:
Viktor CINGEL
;
Pavol FRIC
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第2期
关键词:
simulation of discrete systems;
event driven simulation;
knowledge based systems;
flexible production cell simulation;
55.
A FRAMEWORK FOR COOPERATIVE DEDUCTIVE DATABASE SYSTEMS
机译:
协作演绎数据库系统的框架
作者:
Mukesh K. MOHANIA
;
N. L. SARDA
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第2期
关键词:
deductive database systems;
datalog;
56.
A PARALLEL FUNCTIONAL LANGUAGE WITH FIRST-CLASS CONTINUATIONS. PROGRAMMING STYLE AND SEMANTICS
机译:
具有一流延续性的并行功能语言。编程风格和语义
作者:
Luc MOREAU
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第2期
关键词:
scheme;
parallelism;
transparency;
continuation;
metacontinuation;
left expression;
operational semantics;
57.
THE HARDWARE ACCELERATOR SFDL/SCL
机译:
硬件加速器SFDL / SCL
作者:
Jan BLATNY
;
Dalibor BARTONEK
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第2期
关键词:
multiprocessor system;
logic simulation;
events;
algorithmic and circuit parallelism;
task scheduling;
equivalent classes and groups;
parallel and pipeline processing;
modelling;
58.
DEADLOCK-FREE FULLY-ADAPTIVE MINIMAL ROUTING ALGORITHMS: LIMITATIONS AND SOLUTIONS
机译:
无死锁的全自适应最小路由算法:局限性和解决方案
作者:
Pedro LOPEZ
;
Jose DUATO
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第2期
关键词:
distributed memory machines;
interconnection networks;
multiprocessor design issues;
59.
SOME OBSERVATIONS ON THE MINIMAL ARMSTRONG RELATIONS FOR NORMALIZED RELATION SCHEMES
机译:
关于归一化关系方案的最小阿姆斯特朗关系的一些观察
作者:
Janos DEMETROVICS
;
Vu Duc THI
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第5期
关键词:
relation;
relational datamodel;
functional dependency;
relation scheme;
second normal form;
third normal form;
Boyce-Codd normal form;
closure;
closed set;
minimal generator;
key;
minimal key;
antikey;
60.
I-PATH ANALYSIS
机译:
路径分析
作者:
J. BLATNY
;
Z. KOTASEK
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第5期
61.
INVESTIGATING THE USE OF ACTORS FOR COMPUTER VISION APPLICATIONS
机译:
在计算机视觉应用中调查因素的使用
作者:
Francesca ARCELLI
;
Massimo DE SANTO
;
Michele DI SANTO
;
Antonio PICARIELLO
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第5期
关键词:
massively parallel systems;
parallel algorithms;
language constructs;
image processing;
62.
COMPARISON OF SEVERAL ERROR-FREE ALGORITHMS TO SOLVE VANDERMONDE SYSTEMS
机译:
求解Vandermonde系统的几种无差错算法的比较
作者:
Miroslav MORHAC
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第5期
63.
A BRIEF SURVEY ON CONTROL STRATEGIES IN PATTERN ANALYSIS
机译:
模式分析中控制策略的简要调查
作者:
Jiri KEPKA
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第5期
关键词:
control strategies;
expert systems;
bottom-up;
top-down;
hierarchical strategies;
knowledge-based strategies;
attributed hierarchical description systems;
lindenmayer's systems;
64.
GENETIC ALGORITHMS AND TREES PART II: STRATEGY TREES (THE VARIABLE WIDTH CASE)
机译:
遗传算法和树第二部分:战略树(可变宽度情况)
作者:
K. ROBEYS
;
H. VAN HOVE
;
A. VERSCHOREN
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第5期
65.
SEQUENTIAL AND PARALLEL APPROXIMATE CONVEX HULL ALGORITHMS
机译:
顺序和并行近似凸包算法
作者:
Chul E. KIM
;
Ivan STOJMENOVIC
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第6期
关键词:
convex hull;
parallel algorithm;
66.
CONTROLLING THE CONSUMPTION OF STORAGE WITH SLIDING PRIORITY SEARCH IN A HYPER-LINKING BASED THEOREM PROVER
机译:
基于超链接的定理证明中的滑动优先搜索控制存储消耗
作者:
Shie-Jue LEE
;
David A. PLAISTED
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第6期
关键词:
first-order logic;
theorem prover;
breadth-first search;
priority function;
iterative deepening;
67.
ON VARIETIES OF DENSITY AND CROSSING PROPERTIES FOR EVENT STRUCTURES
机译:
事件结构的密度和交越特性研究
作者:
Vadim E. KOTOV
;
Svetlana A. STARKOVA
;
Irina B. VIRBITSKAITE
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第6期
关键词:
concurrency semantics;
nondeterministic processes;
event structures;
K-density and related properties;
68.
AUTOMATED TRANSFORMATION OF SEQUENTIAL DIVIDE-AND-CONQUER ALGORITHMS INTO PARALLEL PROGRAMS
机译:
顺序除数算法自动转换为并行程序
作者:
Bernd FREISLEBEN
;
Thilo KIELMANN
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第6期
关键词:
divide-and-conquer algorithms;
automatic parallelization;
parallelizing compilers;
message-passing multicomputers;
transputer systems;
workstation clusters;
69.
ARTIFICIAL SOCIAL SYSTEMS
机译:
人工社会制度
作者:
Yoram MOSES
;
Moshe TENNENHOLTZ
期刊名称:
《Computers and Artificial Intelligence》
|
1995年第6期
关键词:
social laws;
multi-agent systems;
off-line design;
70.
Minimum 2-Terminal Routing In 2-Jump Circulant Graphs
机译:
2跳循环图中的最小2终端路由
作者:
B.Robic
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第1期
关键词:
parallel processing;
analysis of algorithms;
optimal routing;
71.
Karhunen-Loeve Transform: An Exercise In Simple Image-Processing Parallel Pipelines
机译:
Karhunen-Loeve变换:简单图像处理并行管道中的练习
作者:
Martin Fleury
;
Andrew C.Pownton
;
Adrian F.Clark
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第1期
关键词:
karhunen-Loeve transform;
parallel pipeline;
multi-spectral images;
72.
On The Computational Power of Adaptive Systems
机译:
自适应系统的计算能力
作者:
Carlos Cotta
;
Enruqye Alba
;
Jose M.Troya
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第1期
关键词:
adaptive systems;
problem solving;
calculability;
73.
Group Know-How
机译:
小组知识
作者:
Rene Pazman
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第1期
关键词:
multiagent system;
intelligent agent;
model of multiagent system;
74.
Theory of Local Register Allocation For Prolog Clauses II.
机译:
Prolog子句的本地寄存器分配理论II。
作者:
Milan Fico
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第1期
关键词:
register allocation;
register conflicts;
temporary variables;
75.
Some Essential Side-Effects of Prolog On a Distributed Implementation
机译:
Prolog对分布式实现的一些基本副作用
作者:
Lourdes Araujo
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第2期
关键词:
logic programming;
AND/OR parallelism;
side-effect predicates;
76.
Schema Evolution In Software Engineering Databases-A New Approach In Addele Environment
机译:
软件工程数据库中的模式演化-Addele环境中的新方法
作者:
Mohamed Ahmed-Nacer
;
Jacky Estublier
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第2期
关键词:
software engineering;
schema evolution;
databases;
77.
Abstract Parallel Machines
机译:
抽象并行机
作者:
John ODonnell
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第2期
关键词:
derivation of parallel programs;
higher order function;
abstract parallel machine;
78.
The Irrelevant Values Problem In The ID3 Tree
机译:
ID3树中的不相关值问题
作者:
Ding-An Chang
;
Wei Chen
;
Yi-Fan Wang
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第2期
关键词:
decision tree;
the irrelevant values problem;
the missing branches problem;
79.
Multivalued Dependencies As Inference Rules on A Deductive Process Under A Relational Data Model Set-Theory Approach
机译:
关系数据模型集理论方法下的多值依赖作为推理过程的推理规则
作者:
Marta Millan
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第2期
关键词:
deductive databases;
multivalued dependencies;
deductive query answering;
80.
On Discontinuous Optical Flow
机译:
关于不连续光流
作者:
Steven S.Beauchemin
;
John L.Barron
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第3期
关键词:
image motion;
optical flow;
fourier transforms;
81.
Efficient Total-Exchange In Wormhole-Routed Toroidal Cubes
机译:
虫洞绕制环形立方体中的有效总交换
作者:
Fabrizio Petrini
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第3期
关键词:
total-exchange;
personalized communication;
interconnection net-works;
82.
Ral Time Speed of a Conservative Parallel Simulation
机译:
保守并行仿真的Ral时间速度
作者:
Nasser Kalantery
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第3期
关键词:
real time simulation;
conservative parallel simulation;
performance evaluation;
83.
A Universal Fixpoint Semantics For Ordered Logic
机译:
有序逻辑的通用定点语义
作者:
Els Laenens
;
Dirk Vermeir
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第3期
关键词:
knowledge representation;
non-monotonic reasoning;
logoic programming;
84.
LOAD BALANCING ISSUES IN THE PREPARTITIONING METHOD
机译:
预先分配方法中的负载平衡问题
作者:
Jerome GALTIER
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第4期
关键词:
Mesh partitioning;
load balancing;
3D finite element method;
85.
SOME PITFALLS OF PARALLEL LOGIC PROGRAMMING
机译:
一些并行逻辑程序设计
作者:
Steven PRESTWICH
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第4期
关键词:
Parallel logic programming;
parallelization strategies;
program trans- formation;
86.
ON DERIVATIVES ESTIMATION OF SMOOTHED DIGITAL CURVES
机译:
关于平滑数字曲线的导数估计
作者:
Jan GLASA
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第4期
关键词:
Non-negative kernels;
derivatives of smoothed digital curves;
87.
GENERALIZED ROYAL ROAD FUNCTIONS AND THEIR EPISTASIS
机译:
广义的Royal Road函数及其效用
作者:
Bart NAUDTS
;
Dominique SUYS
;
Alain VERSCHOREN
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第4期
关键词:
Royal road function;
complexity;
epistasis;
88.
COMPREHENDING LOOPS IN A PROCESS FUNCTIONAL PROGRAMMING LANGUAGE
机译:
在过程函数式编程语言中理解循环
作者:
Jan KOLLAR
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第4期
关键词:
Process functional programming;
imperative functional programming;
loop comprehensions;
89.
Abstract And-Parallel Machines
机译:
抽象并行机
作者:
Naomi Lindenstrauss
;
Nachum Dershowitz
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第5期
关键词:
parallel computation;
turing machines;
rewriting;
90.
A New Bfs Parent Array Encoding of t-Ary Trees
机译:
t-Ary树的新Bfs父数组编码
作者:
Selim G.Akl
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第5期
关键词:
binary tree;
t-ary tree;
breadth first search;
91.
Self-Stabilizing Depth-First Token Circulation In Asynchronous Message-Passing Systems
机译:
异步消息传递系统中的自稳定深度优先令牌循环
作者:
Franck Petit
;
Vincent Villain
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第5期
关键词:
distributed systems;
fault-tolerance;
message-passing systems;
92.
Analytical Model Of Distributed Computer Network
机译:
分布式计算机网络分析模型
作者:
Ivan Hanuliak
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第5期
关键词:
distributed computer system;
modelling;
computer network;
93.
Function Oriented History Representation In Databases
机译:
数据库中面向功能的历史表示
作者:
Lazslo Kovacs
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第5期
关键词:
temporal databases;
calendars;
history;
94.
Testing and Debugging of Distributed Software
机译:
分布式软件的测试和调试
作者:
Jose C.Cunha
;
Henryk Krawczyk
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第6期
关键词:
testing and debugging;
distributed software;
95.
Incremental Tracing and Process Isolation For Debugging Parallel Programs
机译:
增量跟踪和进程隔离,用于调试并行程序
作者:
Dieter Kranzlmuller
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第6期
关键词:
debugging;
tracing;
recordreplay;
96.
Execution Replay and Debugging of Distributed Multi-Threaced Parallel Programs
机译:
分布式多线程并行程序的执行重播和调试
作者:
Jacques Chassin de Kergommeaux
;
Michiel Ronsse
;
Koen De Bosschere
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第6期
关键词:
non-determinism;
execution replay;
probe effect;
97.
Adaptive Distributed Breakpoint Detection and Checkpoint Space Reduction In Message Passing Programs
机译:
消息传递程序中的自适应分布式断点检测和检查点空间减少
作者:
Chyi-Ren Dow
;
Cheng-Min Lin
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第6期
关键词:
distributed systems;
debugging;
distributed breakpoints;
98.
Testable Environments of Distributed Objects
机译:
分布式对象的可测试环境
作者:
Bogdan Wiszniewski
期刊名称:
《Computers and Artificial Intelligence》
|
2000年第6期
关键词:
distributed debugging;
object replication;
causuality analysis;
99.
Tomographic Image Reconstruction on The Instruction Systolic Array
机译:
指令脉动阵列上的断层图像重建
作者:
Bertil Schmidt
;
Heiko Schroder
;
Manfred Schimmler
期刊名称:
《Computers and Artificial Intelligence》
|
2001年第1期
关键词:
computer tomography;
image reconstruction;
instruction systolic array;
100.
Predicting CPU Utilization by Fuzzy Stochastic Prediction
机译:
通过模糊随机预测来预测CPU使用率
作者:
Yi-Fan Wang
;
Mei-Hua Hsu
;
Yu-Liang Chuang
期刊名称:
《Computers and Artificial Intelligence》
|
2001年第1期
关键词:
fuzzy stochastic;
stochastic variable;
意见反馈
回到顶部
回到首页