咨询与建议

限定检索结果

文献类型

  • 238 篇 会议
  • 18 册 图书
  • 7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 179 篇 工学
    • 163 篇 计算机科学与技术...
    • 74 篇 软件工程
    • 21 篇 信息与通信工程
    • 14 篇 电气工程
    • 6 篇 控制科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 4 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 4 篇 生物医学工程(可授...
    • 3 篇 机械工程
    • 2 篇 光学工程
    • 2 篇 测绘科学与技术
    • 2 篇 轻工技术与工程
  • 70 篇 理学
    • 54 篇 数学
    • 12 篇 物理学
    • 7 篇 统计学(可授理学、...
    • 4 篇 化学
    • 4 篇 系统科学
    • 2 篇 生物学
  • 20 篇 管理学
    • 11 篇 图书情报与档案管...
    • 10 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 6 篇 法学
    • 5 篇 社会学
    • 2 篇 法学
  • 6 篇 教育学
    • 6 篇 教育学
  • 4 篇 医学
    • 4 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 3 篇 药学(可授医学、理...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 文学

主题

  • 13 篇 graph theory
  • 13 篇 artificial intel...
  • 9 篇 discrete mathema...
  • 8 篇 automata theory
  • 7 篇 theory of comput...
  • 6 篇 software enginee...
  • 6 篇 algorithm analys...
  • 5 篇 computer communi...
  • 4 篇 software enginee...
  • 4 篇 computers
  • 4 篇 game theory
  • 4 篇 data structures
  • 4 篇 computer softwar...
  • 4 篇 information stor...
  • 3 篇 approximation al...
  • 3 篇 turing machines
  • 3 篇 symbolic and alg...
  • 3 篇 information theo...
  • 3 篇 educational inst...
  • 3 篇 database managem...

机构

  • 3 篇 university of be...
  • 2 篇 department of co...
  • 2 篇 uclic university...
  • 2 篇 charles universi...
  • 2 篇 rhein westfal th...
  • 2 篇 warsaw universit...
  • 2 篇 school of comput...
  • 2 篇 centre for desig...
  • 2 篇 centre for socia...
  • 2 篇 university of li...
  • 2 篇 institute of com...
  • 2 篇 the institute of...
  • 2 篇 department of in...
  • 2 篇 department of co...
  • 1 篇 university of ca...
  • 1 篇 adv. digital sci...
  • 1 篇 univ genoa dept ...
  • 1 篇 faculty of elect...
  • 1 篇 cern 1 esplanade...
  • 1 篇 university of sc...

作者

  • 3 篇 wagner dorothea
  • 3 篇 van leeuwen jan
  • 3 篇 šíma jiří
  • 3 篇 saurabh saket
  • 2 篇 peleg david
  • 2 篇 bieliková mária
  • 2 篇 žák stanislav
  • 2 篇 ono hirotaka
  • 2 篇 mária bieliková
  • 2 篇 leszek pacholski
  • 2 篇 freivalds rūsiņš
  • 2 篇 paulusma daniel
  • 2 篇 sanguineti marce...
  • 2 篇 orponen pekka
  • 2 篇 inenaga shunsuke
  • 2 篇 kiya hironori
  • 2 篇 fuchs janosch
  • 2 篇 bongartz d
  • 2 篇 rossmanith peter
  • 2 篇 pokorný jaroslav

语言

  • 259 篇 英文
  • 4 篇 中文
检索条件"任意字段=35th Conference on Current Trends in Theory and Practice of Computer Science"
263 条 记 录,以下是81-90 订阅
排序:
VCD: A visual formalism for specification of heterogeneous software architectures
VCD: A visual formalism for specification of heterogeneous s...
收藏 引用
31st conference on current trends in theory and practice of computer science
作者: Šafránek, David Šimša, Jiří Department of Computer Science Faculty of Informatics Masaryk University Brno Czech Republic
A visual formalism called Visual Coordination Diagrams (VCD) for high-level design of heterogeneous systems is presented in this paper. the language is based on a state-transition operational semantics, which allows a... 详细信息
来源: 评论
On the Complexity of Optimal Matching Reconfiguration  1
收藏 引用
45th International conference on current trends in theory and practice of computer science (SOFSEM)
作者: Gupta, Manoj Kumar, Hitesh Misra, Neeldhara Indian Inst Technol Gandhinagar Gandhinagar India NISER Bhubaneswar Bhubaneswar India
We consider the problem of matching reconfiguration, where we are given two matchings M-s and M-t in a graph G and the goal is to determine if there exists a sequence of matchings M-0, M-1,..., M-l, such that M-0 = M-... 详细信息
来源: 评论
Deciding the Value 1 Problem for #-acyclic Partially Observable Markov Decision Processes
Deciding the Value 1 Problem for #-acyclic Partially Observa...
收藏 引用
40th International conference on current trends in theory and practice of computer science
作者: Gimbert, Hugo Oualhadj, Youssouf CNRS LaBRI F-75700 Paris France Aix Marseille Univ CNRS LIF Marseille France Univ Mons Mons Belgium
the value 1 problem is a natural decision problem in algorithmic game theory. For partially observable Markov decision processes with reachability objective, this problem is defined as follows: are there observational... 详细信息
来源: 评论
Towards Minimally Conscious Cyber-Physical Systems: A Manifesto  47th
Towards Minimally Conscious Cyber-Physical Systems: A Manife...
收藏 引用
47th International conference on current trends in theory and practice of computer science (SOFSEM)
作者: Wiedermann, Jiri van Leeuwen, Jan Czech Acad Sci Inst Comp Sci Prague Czech Republic Karel Capek Ctr Values Sci & Technol Prague Czech Republic Univ Utrecht Dept Informat & Comp Sci Utrecht Netherlands
Incidents like the crash of Lion Air Flight 610 in 2018 challenge the design of reliable and secure cyber-physical systems that operate in the real-world and have to cope with unpredictable external phenomena and erro... 详细信息
来源: 评论
State of the art non-photorealistic rendering (NPR) techniques
State of the art non-photorealistic rendering (NPR) techniqu...
收藏 引用
4th theory and practice of computer Graphics conference, TPCG 2006
作者: Sayeed, Rezwan Howard, Toby School of Computer Science University of Manchester United Kingdom
the emergence of non-photorealistic rendering (NPR) over the greater part of a decade has created an intriguing new field espousing expression, abstraction and stylisation in preference to the traditional computer gra... 详细信息
来源: 评论
Liquidsoap: A High-Level Programming Language for Multimedia Streaming
Liquidsoap: A High-Level Programming Language for Multimedia...
收藏 引用
37th International conference on current trends in theory and practice of computer science, SOFSEM 2011
作者: Baelde, David Beauxis, Romain Mimram, Samuel Univ Minnesota Minneapolis MN 55455 USA Tulane Univ Dept Math New Orleans LA 70118 USA CEA LIST LMeASI Ceyrat France
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users' needs. We introduce a novel approach in order to achieve it, based on a dedicated high-level ... 详细信息
来源: 评论
Lessons in Software Evolution Learned by Listening to Smalltalk
Lessons in Software Evolution Learned by Listening to Smallt...
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Nierstrasz, Oscar Girba, Tudor Univ Bern Software Composit Grp CH-3012 Bern Switzerland
the biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems to be more dynamic, compositional and ... 详细信息
来源: 评论
28th conference on current trends in theory and practice of Informatics, SOFSEM 2001
收藏 引用
28th International conference on current trends in theory and practice of Informatics, SOFSEM 2001
the proceedings contain 30 papers. the special focus in this conference is on current trends in theory and practice of Informatics. the topics include: the potential of grid, virtual laboratories and virtual organizat...
来源: 评论
Maximum rigid components as means for direction-based localization in sensor networks
Maximum rigid components as means for direction-based locali...
收藏 引用
33rd conference on current trends in theory and practice of computer science
作者: Katz, Bastian Gaertler, Marco Wagner, Dorothea Univ Karlsruhe TH Fac Informat Kaiserstr 12 Karlsruhe Germany
Many applications in sensor networks require positional information of the sensors. Recovering node positions is closely related to graph realization problems for geometric graphs. Here, we address the case where node... 详细信息
来源: 评论
SOFSEM 2024: theory and practice of computer science  1
收藏 引用
丛书名: Lecture Notes in computer science
1000年
作者: Henning Fernau Serge Gaspers Ralf Klasing
this book constitutes the proceedings of the 49th International conference on current trends in theory and practice of computer science, SOFSEM 2024, held in Cochem, Germany, in February 2024.;the 33 full papers prese... 详细信息
来源: 评论