咨询与建议

限定检索结果

文献类型

  • 103 篇 会议
  • 3 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 82 篇 工学
    • 76 篇 计算机科学与技术...
    • 54 篇 软件工程
    • 23 篇 信息与通信工程
    • 12 篇 生物工程
    • 11 篇 电气工程
    • 8 篇 生物医学工程(可授...
    • 6 篇 光学工程
    • 5 篇 机械工程
    • 4 篇 控制科学与工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 农业工程
  • 51 篇 理学
    • 35 篇 数学
    • 13 篇 生物学
    • 12 篇 物理学
    • 3 篇 系统科学
    • 3 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 大气科学
    • 1 篇 地球物理学
  • 13 篇 管理学
    • 9 篇 图书情报与档案管...
    • 4 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 5 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 3 篇 药学(可授医学、理...
    • 2 篇 公共卫生与预防医...
  • 3 篇 教育学
    • 3 篇 教育学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 5 篇 natural language...
  • 3 篇 computer science
  • 3 篇 physics computin...
  • 3 篇 convolution
  • 3 篇 computational mo...
  • 3 篇 soft computing
  • 3 篇 artificial intel...
  • 3 篇 cloud computing
  • 2 篇 knowledge based ...
  • 2 篇 quantum computin...
  • 2 篇 concurrent compu...
  • 2 篇 task analysis
  • 2 篇 three-dimensiona...
  • 2 篇 neural networks
  • 2 篇 iterative method...
  • 2 篇 dna computing
  • 2 篇 diagnosis
  • 2 篇 sequences
  • 2 篇 benchmark testin...
  • 2 篇 computers

机构

  • 4 篇 research center ...
  • 3 篇 university of ca...
  • 2 篇 graduate school ...
  • 2 篇 department of co...
  • 2 篇 institute of sof...
  • 2 篇 school of comput...
  • 2 篇 academic center ...
  • 2 篇 bio-computing re...
  • 2 篇 school of comput...
  • 2 篇 school of comput...
  • 2 篇 harbin institute...
  • 1 篇 department of co...
  • 1 篇 informatics engi...
  • 1 篇 department of co...
  • 1 篇 andhra pradesh v...
  • 1 篇 univ queensland ...
  • 1 篇 ntt communicatio...
  • 1 篇 faculty of compu...
  • 1 篇 earth observatio...
  • 1 篇 university of ne...

作者

  • 5 篇 liu ting
  • 3 篇 tran dat
  • 3 篇 che wanxiang
  • 3 篇 wagner michael
  • 2 篇 narayan kumar k.
  • 2 篇 kondrak grzegorz
  • 2 篇 sonogashira moto...
  • 2 篇 iiyama masaaki
  • 2 篇 hwang chong-sun
  • 2 篇 z. ibrahim
  • 2 篇 o. ono
  • 2 篇 y. tsuboi
  • 1 篇 seuret mathias
  • 1 篇 hsu shun-fa
  • 1 篇 azcarraga arnulf...
  • 1 篇 lei wang
  • 1 篇 zhang lin
  • 1 篇 kim dae-jin
  • 1 篇 fredlund lars-åk...
  • 1 篇 bin wang

语言

  • 107 篇 英文
  • 1 篇 其他
检索条件"任意字段=5th Asian Computing Science Conference on Advances in Computing Science, ASIAN 1999"
108 条 记 录,以下是101-110 订阅
排序:
Lemma generalization and non-unit lemma matching for model elimination  5th
Lemma generalization and non-unit lemma matching for model e...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Iwanuma, Koji Kishino, Kenichi Department of Computer Science and Media Engineering Yamanashi University KofuYamanashi400-8511 Japan
In this paper, we study two lemma methods for accelerating Loveland's model elimination calculus: One is lemma generalization and another is non-unit lemma matching. the derivation of lemmas in this paper is a dyn... 详细信息
来源: 评论
Ant colony optimization for the ship berthing problem  5th
Ant colony optimization for the ship berthing problem
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Tong, Chia Jim Lau, Hoong Chuin Lim, Andrew School of Computing National University of Singapore Lower Kent Ridge Road 119260 Singapore
Ant Colony Optimization (ACO) is a paradigm that em- ploys a set of cooperating agents to solve functions or obtain good so- lutions for combinatorial optimization problems. It has previously been applied to the TSP a... 详细信息
来源: 评论
Observable sharing for functional circuit description  5th
Observable sharing for functional circuit description
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Claessen, Koen Sands, David Department of Computing Sciences Chalmers University of Technology Göteborg University Sweden
Pure functional programming languages have been proposed as a vehicle to describe, simulate and manipulate circuit specifications. We propose an extension to Haskell to solve a standard problem when manipulating data ... 详细信息
来源: 评论
An efficient location management by optimal location area partitioning in PCS networks  5th
An efficient location management by optimal location area pa...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Gil, Joon-Min Hwang, Chong-Sun Dept. of Computer Science and Engineering Korea Univ 1 5-Ga Anam-Dong SeongBuk-Gu Seoul Korea Republic of
In PCS (personal communication systems) networks, location management deals with the problem of tracking down a mobile user. It involves two kinds of activ- ities: one is location updating and the other is paging [1]....
来源: 评论
Multipoint-to-point ABR service with fair intelligent congestion control in ATM networks  5th
Multipoint-to-point ABR service with fair intelligent conges...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Yu, Qing Hoang, Doan B. Basser Department of Computer Science University of Sydney Australia
Current standards of ATM can only support pt-pt (or unicast) connections and unidirectional point-to-multipoint (pt-mpt) connection and do not provide a scalable solution for truly multipoint-to-multipoint (mpt-mpt) c... 详细信息
来源: 评论
On feasibility, boundedness, and redundancy of systems of linear constraints over R2-plane  5th
On feasibility, boundedness, and redundancy of systems of li...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Quang, Nguyen Duc Computer Science Program School of Advance Technology Asian Institute of Technology Germany
A system of linear constraints is represented as a set of half-planes S = {(a j X + b j Y + c j ≤ 0) j = 1...N}. therefore, in the context of linear constraints two terms “set” and &#...
来源: 评论
advances in cryptology — asiacrypt’99  5th
收藏 引用
5th International conference on the theory and Applications of Cryptology and Information Security, ASIACRYPT 1999
作者: Yan Lam, Kwok Okamoto, Eiji Xing, Chaoping National University of Singapore School of Computing 2 Science Drive 2 Singapore School of Information Science Japan Advanced Institute of Science and Technology Asahidai 1-1 Tatsunokuchi Nomi Japan Department of Mathematics National University of Singapore 2 Science Drive 2 Singapore
来源: 评论
Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1999年 1742卷 v页
作者: thiagarajan, P.S. Yap, Roland Chennai Mathematical Institute 92 G.N. Chetty Road T.Nagar Chennai India National University of Singapore School of Computing Lower Kent Ridge Road Singapore
来源: 评论