咨询与建议

限定检索结果

文献类型

  • 88 篇 会议
  • 59 篇 期刊文献

馆藏范围

  • 147 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 100 篇 工学
    • 85 篇 计算机科学与技术...
    • 53 篇 软件工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 8 篇 控制科学与工程
    • 5 篇 网络空间安全
    • 4 篇 化学工程与技术
    • 3 篇 光学工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 动力工程及工程热...
    • 1 篇 建筑学
    • 1 篇 航空宇航科学与技...
    • 1 篇 核科学与技术
  • 37 篇 理学
    • 28 篇 数学
    • 8 篇 化学
    • 7 篇 生物学
    • 7 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 系统科学
  • 5 篇 管理学
    • 5 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 2 篇 农学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
    • 2 篇 公共卫生与预防医...
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 12 篇 logic programmin...
  • 6 篇 parallel process...
  • 6 篇 semantics
  • 5 篇 prolog (programm...
  • 4 篇 deep learning
  • 3 篇 query processing
  • 3 篇 database systems
  • 3 篇 object oriented ...
  • 3 篇 partial evaluati...
  • 3 篇 concurrent compu...
  • 3 篇 hidden markov mo...
  • 3 篇 parallel program...
  • 3 篇 neural networks
  • 3 篇 logic
  • 3 篇 computational mo...
  • 3 篇 relational datab...
  • 3 篇 training
  • 3 篇 knowledge repres...
  • 2 篇 database languag...
  • 2 篇 biology computin...

机构

  • 10 篇 institute for ne...
  • 10 篇 institute for ne...
  • 8 篇 institute of new...
  • 6 篇 icot research ce...
  • 5 篇 school of comput...
  • 5 篇 institute of com...
  • 5 篇 institute for ne...
  • 4 篇 institute of new...
  • 3 篇 school of comput...
  • 3 篇 1. icot research...
  • 3 篇 school of comput...
  • 3 篇 institute for ne...
  • 3 篇 school of comput...
  • 2 篇 smart power gene...
  • 2 篇 school of fundam...
  • 2 篇 cwip department ...
  • 2 篇 icot research ce...
  • 2 篇 electro technica...
  • 2 篇 school of microe...
  • 2 篇 mitsubishi elect...

作者

  • 8 篇 furukawa koichi
  • 4 篇 chikayama takash...
  • 4 篇 fuchi k
  • 4 篇 ueda kazunori
  • 4 篇 furukawa k
  • 3 篇 chikayama t
  • 3 篇 guan cuntai
  • 3 篇 li yong
  • 3 篇 ding yi
  • 3 篇 ishikawa masato
  • 3 篇 chen yang
  • 3 篇 hoshida masaki
  • 3 篇 tanaka jiro
  • 3 篇 wang peng
  • 3 篇 taki kazuo
  • 3 篇 wei xiu-shen
  • 2 篇 inoue k
  • 2 篇 yikai guo
  • 2 篇 liang tan
  • 2 篇 ke wenjun

语言

  • 136 篇 英文
  • 11 篇 其他
检索条件"机构=Institute For New Generation Computer Technology"
147 条 记 录,以下是11-20 订阅
排序:
WORKSHOP - APPLICATION OF LOGIC PROGRAMMING IN GENETIC SEQUENCE-ANALYSIS
收藏 引用
new generation COMPUTING 1992年 第3期10卷 329-333页
作者: TANAKA, H 1. Institute for New Generation Computer Technology Tokyo Japan
来源: 评论
Service Migration for Delay-Sensitive IoT Applications in Edge Networks
收藏 引用
IEEE Transactions on Services Computing 2025年
作者: Li, Xiaocui Zhou, Zhangbing Wang, Yasha Deng, Shuiguang Hung, Patrick C. K. School of Information Engineering Beijing100083 China Peking University National Research & Engineering Center of Software Engineering Beijing100871 China Peking University New Generation Information Technology Research Institute Tianjin300380 China School of Information Engineering Frontiers Science Center for Deep-Time Digital Earth Beijing100083 China Institut Polytechnique de Paris Télécom SudParis Palaiseau91120 France Zhejiang University College of Computer Science and Technology Hangzhou310012 China Ontario Tech University Faculty of Business and Information Technology Oshawa Canada
The proliferation of Internet of Things (IoT) applications prompts extraordinary demands for the collaboration of large amounts of computational resources provided by IoT devices in edge networks, and these applicatio... 详细信息
来源: 评论
EXTRACTION OF REDUNDANCY-FREE PROGRAMS FROM CONSTRUCTIVE NATURAL DEDUCTION PROOFS
收藏 引用
JOURNAL OF SYMBOLIC COMPUTATION 1991年 第1期12卷 29-69页
作者: TAKAYAMA, Y Institute for New Generation Computer Technology 4-28 Mita 1-chome Minato-ku Tokyo 108 Japan
Executable codes can be extracted from constructive proofs by using realizability interpretation. However, realizability also generates redundant codes that have no significant computational meaning. This redundancy c...
来源: 评论
Unveiling factuality and injecting knowledge for LLMs via reinforcement learning and data proportion
收藏 引用
Science China(Information Sciences) 2024年 第10期67卷 389-390页
作者: Wenjun KE Ziyu SHANG Zhizhao LUO Peng WANG Yikai GUO Qi LIU Yuxuan CHEN School of Computer Science and Engineering Southeast University Key Laboratory of New Generation Artificial Intelligence Technology and Its Interdisciplinary Applications(Southeast University) Beijing Institute of Technology Zhuhai Beijing Institute of Computer Technology and Application
Large language models(LLMs) have demonstrated remarkable effectiveness across various natural language processing(NLP) tasks, as evidenced by recent studies [1, 2]. However, these models often produce responses that c...
来源: 评论
A new EXTERNAL REFERENCE MANAGEMENT AND DISTRIBUTED UNIFICATION FOR KL1
收藏 引用
new generation COMPUTING 1990年 第2-3期7卷 159-177页
作者: ICHIYOSHI, N ROKUSAWA, K NAKAJIMA, K INAMURA, Y 1. Institute for New Generation Computer Technology 4-28 Mita 1-chome Minato-ku 108 Tokyo Japan
This paper describes a new external reference management scheme for KL1, a committed choice logic programming language based on GHC. The significance of the new scheme is that it realizes incremental inter-processor g... 详细信息
来源: 评论
Towards Inductive Learning of Jazz Harmony Theory  18
Towards Inductive Learning of Jazz Harmony Theory
收藏 引用
18th International computer Music Conference, ICMC 1992
作者: Hirata, Keiji Aoyagi, Tatsuya Institute for New Generation Computer Technology Japan University of Electro-Communication Japan
Musical theory is dynamic in nature;that is, it changes with time, genre, artist, and location. For machines to able to handle such musical theory, musical theory should be regarded as static and, then, be represented... 详细信息
来源: 评论
DESIGN OF THE KERNEL LANGUAGE FOR THE PARALLEL INFERENCE MACHINE
收藏 引用
computer JOURNAL 1990年 第6期33卷 494-500页
作者: UEDA, K CHIKAYAMA, T Institute for New Generation Computer Technology Mita Kokusai building 21F 4-28 Mita 1-chome Minato-ku Tokyo 108 Japan
We review the design of the concurrent logic language GHC, the basis of the kernel language for the Parallel Inference Machine being developed in the Japanese Fifth generation computer Systems project, and the design ... 详细信息
来源: 评论
Decoupled Doubly Contrastive Learning for Cross Domain Facial Action Unit Detection
arXiv
收藏 引用
arXiv 2025年
作者: Li, Yong Liu, Menglin Cui, Zhen Ding, Yi Zong, Yuan Zheng, Wenming Shan, Shiguang Guan, Cuntai School of Computer Science and Engineering The Key Laboratory of New Generation Artificial Intelligence Technology and Its Interdisciplinary Applications Southeast University Nanjing210096 China Key Laboratory of Intelligent Perception and Systems for High-Dimensional Information Ministry of Education School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing210094 China School of Artificial Intelligence Beijing Normal University Beijing100875 China Key Laboratory of AI Safety Institute of Computing Technology Chinese Academy of Sciences Beijing100190 China University of Chinese Academy of Sciences Beijing100049 China School of Computer Science and Engineering Nanyang Technological University 50 Nanyang Avenue Singapore639798 Singapore Key Laboratory of Child Development and Learning Science of Ministry of Education School of Biological Science and Medical Engineering Nanjing210096 China
Despite the impressive performance of current vision-based facial action unit (AU) detection approaches, they are heavily susceptible to the variations across different domains and the cross-domain AU detection method... 详细信息
来源: 评论
A'UM - A STREAM-BASED CONCURRENT OBJECT-ORIENTED LANGUAGE
收藏 引用
new generation COMPUTING 1990年 第2-3期7卷 127-157页
作者: YOSHIDA, K CHIKAYAMA, T 1. ICOT Research Center Institute for New Generation Computer Technology 1-4-28 Mita Minato-ku 108 Tokyo Japan
This paper presents a computation model and its programming language,A’UM,* as a result of our pursuit of high parallelism and high expressivity for the development of a large scale software. By basing it on streams ... 详细信息
来源: 评论
A SELF-APPLICABLE PARTIAL EVALUATOR AND ITS USE IN INCREMENTAL COMPILATION
收藏 引用
new generation COMPUTING 1988年 第2-3期6卷 91-118页
作者: FUJITA, H FURUKAWA, K 1. ICOT Research Center Institute for New Generation Computer Technology 1-4-28 Mita Minato-ku 108 Tokyo Japan
This paper presents an experimental implementation of a self-applicable partial evaluator in Prolog used for compiler generation and compiler generator generation. The partial evaluator is an extension of a simple met... 详细信息
来源: 评论