咨询与建议

限定检索结果

文献类型

  • 188 篇 会议
  • 7 篇 期刊文献
  • 4 册 图书

馆藏范围

  • 198 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 141 篇 工学
    • 135 篇 计算机科学与技术...
    • 51 篇 软件工程
    • 21 篇 信息与通信工程
    • 15 篇 电气工程
    • 9 篇 控制科学与工程
    • 6 篇 网络空间安全
    • 4 篇 化学工程与技术
    • 3 篇 建筑学
    • 3 篇 土木工程
    • 2 篇 机械工程
    • 2 篇 测绘科学与技术
    • 2 篇 轻工技术与工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 光学工程
  • 56 篇 理学
    • 44 篇 数学
    • 9 篇 物理学
    • 5 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 生物学
    • 2 篇 系统科学
  • 18 篇 管理学
    • 16 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 3 篇 法学
    • 3 篇 社会学
    • 1 篇 法学
  • 3 篇 教育学
    • 3 篇 教育学
  • 3 篇 医学
    • 3 篇 基础医学(可授医学...
    • 3 篇 临床医学
    • 2 篇 药学(可授医学、理...
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 13 篇 graph theory
  • 8 篇 automata theory
  • 6 篇 computers
  • 3 篇 turing machines
  • 3 篇 game theory
  • 3 篇 complexity theor...
  • 3 篇 software
  • 3 篇 computer program...
  • 3 篇 information retr...
  • 2 篇 computer science
  • 2 篇 graph algorithms
  • 2 篇 trees (mathemati...
  • 2 篇 computer archite...
  • 2 篇 debugging
  • 2 篇 model checking
  • 2 篇 network protocol...
  • 2 篇 set theory
  • 2 篇 information theo...
  • 2 篇 number theory
  • 2 篇 health care

机构

  • 3 篇 university of be...
  • 2 篇 department of co...
  • 2 篇 department of co...
  • 2 篇 dept. of compute...
  • 2 篇 warsaw universit...
  • 2 篇 dept. of compute...
  • 2 篇 school of comput...
  • 2 篇 institute of com...
  • 2 篇 the institute of...
  • 2 篇 university of am...
  • 2 篇 department of in...
  • 2 篇 central universi...
  • 2 篇 school of comput...
  • 1 篇 university of ca...
  • 1 篇 faculty of elect...
  • 1 篇 cern 1 esplanade...
  • 1 篇 ist austria klos...
  • 1 篇 weizmann inst sc...
  • 1 篇 univ kassel fach...
  • 1 篇 univ wroclaw ins...

作者

  • 3 篇 van leeuwen jan
  • 3 篇 šíma jiří
  • 3 篇 saurabh saket
  • 2 篇 peleg david
  • 2 篇 zhaoquan gu
  • 2 篇 bieliková mária
  • 2 篇 žák stanislav
  • 2 篇 ono hirotaka
  • 2 篇 freivalds rūsiņš
  • 2 篇 shaohua wang
  • 2 篇 paulusma daniel
  • 2 篇 inenaga shunsuke
  • 2 篇 xinchen wang
  • 2 篇 kiya hironori
  • 2 篇 rossmanith peter
  • 2 篇 wiedermann jiri
  • 2 篇 pokorný jaroslav
  • 2 篇 iliopoulos costa...
  • 2 篇 hanaka tesshu
  • 2 篇 cuiyun gao

语言

  • 195 篇 英文
  • 4 篇 中文
检索条件"任意字段=38th Conference on Current Trends in Theory and Practice of Computer Science"
199 条 记 录,以下是151-160 订阅
排序:
Building a bridge between mirror neurons and theory of embodied cognition
收藏 引用
30th conference on current trends in theory and practice of computer science
作者: Wiedermann, J Acad Sci Czech Republ Inst Comp Sci Prague 18207 8 Czech Republic
Mirror neurons are specialized neurons recently discovered in the brains of primates. In experiments mirror neurons showed activity both when a subject performed an action and when it observed the same action performe... 详细信息
来源: 评论
theory of one tape linear time turing machines
收藏 引用
30th conference on current trends in theory and practice of computer science, SOFSEM 2004
作者: Tadaki, Kohtaro Yamakami, Tomoyuki Lin, Jack C. H. Japan Science and Technology Corporation Tokyo Japan School of Information Technology and Engineering University of Ottawa OttawaON Canada Research on Security and Reliability in Electronic Society Chuo University Tokyo Japan
A theory of one-tape linear-time Turing machines is quite different from its polynomial-time counterpart. this paper discusses the computational complexity of one-tape Turing machines of various machine types (determi... 详细信息
来源: 评论
Study on reduct and core computation in incompatible information systems
收藏 引用
4th International conference on Rough Sets and current trends in Computing, RSCTC 2004
作者: Li, Tian-Rui Qing, Ke-Yun Yang, Ning Xu, Yang Department of Mathematics School of Science Southwest Jiaotong University Chengdu610031 China
Reduct and core computation is one of the key problems in rough set theory due to its applications in data mining extensively. Much attention presently has paid to it in compatible information system. However, in prac... 详细信息
来源: 评论
Fuzzy group models for adaptation in cooperative information retrieval contexts
收藏 引用
30th conference on current trends in theory and practice of computer science, SOFSEM 2004
作者: Sicilia, Miguel-Ángel García, Elena Computer Science Department Polytechnic School University of Alcalá Ctra. Barcelona km. 33.6 Alcalá de HenaresMadrid28871 Spain
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each other. the strength of the social relat... 详细信息
来源: 评论
Developing a foundation for code optimization
收藏 引用
13th International conference on Compiler Construction, CC 2004 Held as Part of the Joint European conferences on theory and practice of Software, ETAPS 2004
作者: Soffa, Mary Lou Department of Computer Science University of Pittsburgh PittsburghPA United States
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimization. In particular, the trends toward ... 详细信息
来源: 评论
Preface
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 2932卷 V-VI页
作者: Van Emde Boas, Peter Pokorný, Jaroslav Bieliková, Mária University of Amsterdam ILLC - Department of Mathematics and Computer Science Plantage Muidergracht 24 Amsterdam Netherlands Charles University Malostranské nám. 25 Prague 1 Czech Republic Slovak University of Technology Ilkoviova 3 Bratislava Slovakia Academy of Sciences of the Czech Republic Institute of Computer Science Pod Vodárenskou ví 2 Prague 8 Czech Republic
来源: 评论
the complexity of probabilistic versus quantum finite automata  1
收藏 引用
29th conference on current trends in theory and practice of Informatics
作者: Midrijanis, G Latvian State Univ LV-1063 Riga Latvia
We present a language L which is recognizable by a probabilistic finite automaton (PFA) with probability 1 - epsilon for all epsilon > 0 with O(log(2) n) states, with a deterministic finite automaton (DFA) with 0(n... 详细信息
来源: 评论
SOFSEM 2002: theory and practice of Informatics - 29th conference on current trends in theory and practice of Informatics, Proceedings
SOFSEM 2002: Theory and Practice of Informatics - 29th Confe...
收藏 引用
29th conference on current trends in theory and practice of Informatics, SOFSEM 2002
the proceedings contain 22 papers. the topics discussed include: equivalence-checking with infinite-state systems: techniques and results;database support for multisource multiresolution scientific data;semantic annot...
来源: 评论
Preface
Preface
收藏 引用
29th conference on current trends in theory and practice of Informatics, SOFSEM 2002
作者: Grosky, Bill Plášil, František Department of Software Engineering School of Computer Science Charles University Malostranské nám. 25 Prague Czech Republic
来源: 评论
29th conference on current trends in theory and practice of Informatics, SOFSEM 2002
29th Conference on Current Trends in Theory and Practice of ...
收藏 引用
29th conference on current trends in theory and practice of Informatics, SOFSEM 2002
the proceedings contain 22 papers. the special focus in this conference is on System Design, Testing Related theory, Parallel Systems and Vision. the topics include: Conformance testing techniques for timed systems;co...
来源: 评论