咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 209 篇 电子文献
  • 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
  • 9 篇 artificial intel...
  • 8 篇 automata theory
  • 7 篇 discrete mathema...
  • 6 篇 theory of comput...
  • 6 篇 computers
  • 5 篇 computer communi...
  • 4 篇 software enginee...
  • 4 篇 software enginee...
  • 4 篇 algorithm analys...
  • 4 篇 information stor...
  • 3 篇 turing machines
  • 3 篇 database managem...
  • 3 篇 game theory
  • 3 篇 complexity theor...
  • 3 篇 software
  • 3 篇 computer program...
  • 3 篇 information retr...
  • 2 篇 data storage rep...
  • 2 篇 computer science

机构

  • 3 篇 university of be...
  • 2 篇 department of co...
  • 2 篇 charles universi...
  • 2 篇 department of co...
  • 2 篇 dept. of compute...
  • 2 篇 warsaw universit...
  • 2 篇 dept. of compute...
  • 2 篇 school of comput...
  • 2 篇 university of li...
  • 2 篇 institute of com...
  • 2 篇 the institute of...
  • 2 篇 university of am...
  • 2 篇 department of in...
  • 2 篇 central universi...
  • 2 篇 department of co...
  • 2 篇 school of comput...
  • 1 篇 university of ca...
  • 1 篇 faculty of elect...
  • 1 篇 cern 1 esplanade...
  • 1 篇 ist austria klos...

作者

  • 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 篇 mária bieliková
  • 2 篇 leszek pacholski
  • 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...

语言

  • 206 篇 英文
  • 4 篇 中文
检索条件"任意字段=38th Conference on Current Trends in Theory and Practice of Computer Science"
210 条 记 录,以下是151-160 订阅
排序:
Negotiating the semantic gap: From feature maps to semantic landscapes  28th
收藏 引用
28th International conference on current trends in theory and practice of Informatics, SOFSEM 2001
作者: Grosky, William I. Zhao, Rong Computer and Information Science Department University of Michigan-Dearborn DearbornMI48128 United States Computer Science Department State University of New York at Stony Brook Stony BrookNY11794 United States
In this paper, we present the results of our work that seeks to negotiate the gap between low-level features and high-level concepts in the domain of web document retrieval. this work concerns a technique, latent sema... 详细信息
来源: 评论
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... 详细信息
来源: 评论
25th conference on current trends in theory and practice of Informatics, SOFSEM 1998
25th Conference on Current Trends in Theory and Practice of ...
收藏 引用
25th conference on theory and practice of Informatics, SOFSEM 1998
the proceedings contain 37 papers. the special focus in this conference is on theory and practice of Informatics. the topics include: Software architecture for distributed reactive systems;a logical basis for modular ...
来源: 评论
Integrating UML composite structures and fUML
Integrating UML composite structures and fUML
收藏 引用
40th International conference on current trends in theory and practice of computer science, SOFSEM 2014
作者: Gerlinger Romero, Alessandro Schneider, Klaus Gonçalves Vieira Ferreira, Maurício Brazilian National Institute for Space Research S˜ao Paulo Brazil Department of Computer Science University of Kaiserslautern Germany
To cope with the complexity of large systems, one usually makes use of hierarchical structures in their models. To detect and to remove design errors as soon as possible, these models must be analyzed in early stages ... 详细信息
来源: 评论
Robust implementation of finite automata by recurrent rbf networks_  27th
收藏 引用
27th conference on current trends in theory and practice of Informatics, SOFSEM 2000
作者: Šorel, Michal Šíma, Jiří Institute of Information Theory and Automation Academy of Sciences of the Czech Republic Pod vodárenskou věží 4 Prague 8182 07 Czech Republic Institute of Computer Science Academy of Sciences of the Czech Republic Pod vodárenskou věží 2 Prague 8182 07 Czech Republic Charles University Prague Czech Republic
In this paper a recurrent network, which consists of O(√mlogm) RBF (radial basis functions) units with maximum norm employing any activation function that has different values in at least two nonnegative points, is c... 详细信息
来源: 评论
Accelerating smart play-out
Accelerating smart play-out
收藏 引用
36th conference on current trends in theory and practice of computer science, SOFSEM 2010
作者: Harel, David Kugler, Hillel Maoz, Shahar Segall, Itai Weizmann Institute of Science Israel Microsoft Research Cambridge United Kingdom
Smart play-out is a method for executing declarative scenario-based specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by na... 详细信息
来源: 评论
PointNet with spin images  46
PointNet with spin images
收藏 引用
46th International conference on current trends in theory and practice of computer science Doctoral Student Research Forum, SOFSEM-SRF 2020
作者: Střelský, Jakub Charles University Faculty of Mathematics and Physics Department of Software and Computer Science Education Prague Czech Republic
Machine learning on 3D point clouds is challenging due to the absence of natural ordering of the points. PointNet is a neural network architecture capable of processing such unordered point sets directly, which has ac... 详细信息
来源: 评论
Fast evolutionary chains  27th
收藏 引用
27th conference on current trends in theory and practice of Informatics, SOFSEM 2000
作者: Crochemore, Maxime Iliopoulos, Costas S. Pinzon, Yoan J. Institut Gaspard-Monge Université de Marne-la-Vallée France Dept. Computer Science King’s College London LondonWC2R 2LS United Kingdom
Musical patterns that recur in approximate, rather than identical, form within the body of a musical work are considered to be of considerable importance in music analysis. Here we consider the "evolutionary chai... 详细信息
来源: 评论
Some afterthoughts on hopfield networks  26th
Some afterthoughts on hopfield networks
收藏 引用
26th conference on current trends in theory and practice of Informatics, SOFSEM 1999
作者: Šíma, Jiří Orponen, Pekka Antti-Poika, Teemu Institute of Computer Science Academy of Sciences of the Czech Republic Pod vodárenskou věží 2 Prague 8182 07 Czech Republic Department of Mathematics University of Jyvaskyla P.O. Box 35 JyvaskylaFIN-40351 Finland
In the present paper we investigate four relatively independent issues, which complete our knowledge regarding the computational aspects of popular Hopfield nets. In Section 2 of the paper, the computational equivalen... 详细信息
来源: 评论
Formal verification methods for industrial hardware design  28th
收藏 引用
28th International conference on current trends in theory and practice of Informatics, SOFSEM 2001
作者: Slobodová, Anna Compaq Computer Corporation United States
Functional validation of hardware designs is a major challenge for circuit design companies. Post-delivery software problems can be addressed by subsequent software releases;however, fixing hardware bugs in any shippe... 详细信息
来源: 评论