咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 113 篇 电子文献
  • 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 篇 社会学

主题

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

机构

  • 4 篇 department of ma...
  • 4 篇 department of ma...
  • 4 篇 research center ...
  • 3 篇 university of ca...
  • 2 篇 computer science...
  • 2 篇 graduate school ...
  • 2 篇 department of co...
  • 2 篇 institute of sof...
  • 2 篇 school of mathem...
  • 2 篇 school of comput...
  • 2 篇 academic center ...
  • 2 篇 bio-computing re...
  • 2 篇 school of comput...
  • 2 篇 school of comput...
  • 2 篇 dr. b. r. ambedk...
  • 2 篇 harbin institute...
  • 1 篇 school of electr...
  • 1 篇 department of co...
  • 1 篇 informatics engi...
  • 1 篇 department of co...

作者

  • 5 篇 liu ting
  • 4 篇 jagdish chand ba...
  • 3 篇 tran dat
  • 3 篇 che wanxiang
  • 3 篇 wagner michael
  • 3 篇 atulya k. nagar
  • 3 篇 kusum deep
  • 2 篇 aruna tiwari
  • 2 篇 kapil ahuja
  • 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
  • 2 篇 anupam yadav
  • 1 篇 seuret mathias
  • 1 篇 hsu shun-fa

语言

  • 112 篇 英文
  • 1 篇 其他
检索条件"任意字段=5th Asian Computing Science Conference on Advances in Computing Science, ASIAN 1999"
113 条 记 录,以下是11-20 订阅
排序:
Separators are as simple as cutsets  5th
Separators are as simple as cutsets
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Shen, Hong Li, Keqin Zheng, Si-Qing School of Computing and Information Technology Griffth University NathanQLD4111 Australia Department of Mathematics and Computer Science State University of New York New PaltzNY12561-2499 United States Department of Computer Science University of Texas at Dallas RichardsonTX75083-0668 United States
We show that all minimal a-b separators (vertex sets) dis- connecting a pair of given non-adjacent vertices a and b in an undirected and connected graph with n vertices can be computed in O(n2Rab) time, where Rab is t... 详细信息
来源: 评论
A framework for formal reasoning about open distributed systems?  5th
A framework for formal reasoning about open distributed syst...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Fredlund, Lars-Åke Gurov, Dilian Swedish Institute of Computer Science Box 1263 KistaSE-164 29 Sweden
We present a framework for formal reasoning about the behaviour of distributed programs implementing open distributed systems (ODSs). the framework is based on the following key ingredients: A specification language b... 详细信息
来源: 评论
Rapid prototyping techniques for fuzzy controllers  5th
Rapid prototyping techniques for fuzzy controllers
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Chantrapornchai, Chantana Tongsima, Sissades Sha, Edwin Silpakorn University Nakorn Pathom7300 Thailand National Electronics and Computer Technology Center High Performance Computing Laboratory Bangkok10400 Thailand Department of Computer Science and Engineering University of Notre Dame Notre DameIN46556 United States
In this paper, a new framework for rapid system design and implementation for fuzzy systems is proposed. the given system specification is separated into two components: A conceptual specification and a parameter spec... 详细信息
来源: 评论
An expressive extension of TLC  5th
An expressive extension of TLC
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Henriksen, Jesper Gulmann BRICS Department of Computer Science University of Aarhus Denmark
A temporal logic of causality (TLC) was introduced by Alur, Penczek and Peled in [1]. It is basically a linear time temporal logic interpreted over Mazurkiewicz traces which allows quantification over causal chains. T... 详细信息
来源: 评论
On automating inductive and non-inductive termination methods  5th
On automating inductive and non-inductive termination method...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Kamareddine, Fairouz Monin, François Department of Computing and Electrical Engineering Heriot-Watt University EdinburghEH14 4AS United Kingdom
the Coq and ProPre systems show the automated termination of a recursive function by first constructing a tree associated with the specification of the function which satisfies a notion of terminal property and then v... 详细信息
来源: 评论
Emerging application domains and the computing fabric  5th
Emerging application domains and the computing fabric
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Palem, Krishna V. The Georgia Institute of Technology and Courant Institute NYU United States
computing devices are clearly proliferating in a variety of domains ranging from controlling household appliances, to the cockpits of aircraft. thus, there is an ever increasing demand for cheap and compact computers ...
来源: 评论
Transactional cache management with aperiodic invalidation scheme in mobile environments  5th
Transactional cache management with aperiodic invalidation s...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Chung, Il Young Hwang, Chong-Sun Dept. of Computer Science and Engineering Korea Univ 5-1 Anam-Dong SeongBuk-Ku Seoul136-701 Korea Republic of
In mobile client-server database systems, caching of frequently accessed data is an important technique that will reduce the contention on the narrow bandwidth wireless channel. As the server in mobile environments ma... 详细信息
来源: 评论
Beyond Tamaki-Sato style unfold/fold transformations for normal logic programs  5th
Beyond Tamaki-Sato style unfold/fold transformations for nor...
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Roychoudhury, Abhik Narayan Kumar, K. Ramakrishnan, C.R. Ramakrishnan, I.V. Dept. of Computer Science SUNY Stony Brook Stony BrookNY11794 United States Chennai Mathematical Institute 92 G.N. Chetty Road Chennai India
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation sys- tems for normal logic programs allow only Tamaki-Sato style folding us- ing clauses fr... 详细信息
来源: 评论
Faster model checking for open systems  5th
Faster model checking for open systems
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Mukund, Madhavan Narayan Kumar, K. Smolka, Scott A. Chennai Mathematical Institute 92 G.N. Chetty Road Chennai600 017 India Department of Computer Science State University of New York Stony BrookNY11794-4400 United States
We investigate Orex, a temporal logic for specifying open systems. Path properties in Orex are expressed using ω-regular expressions, while similar logics for open systems, such as ATL* of Alur et al., use LTL for th... 详细信息
来源: 评论
Verification results for a multimedia protocol  5th
Verification results for a multimedia protocol
收藏 引用
5th asian computing science conference on advances in computing science, asian 1999
作者: Tsang, Tony Lai, Richard Department of Computer Science and Computer Engineering La Trobe University Victoria3083 Australia
Verification of formal specifications for multimedia systems, with time taken into consideration, is still a subject of much research. Estelle, an internationally standardised Formal Description Technique (FDT) based ... 详细信息
来源: 评论