咨询与建议

限定检索结果

文献类型

  • 17 篇 会议
  • 2 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 17 篇 工学
    • 17 篇 计算机科学与技术...
    • 4 篇 软件工程
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 轻工技术与工程
  • 2 篇 理学
    • 2 篇 数学

主题

  • 3 篇 graph theory
  • 2 篇 software enginee...
  • 2 篇 information stor...
  • 1 篇 computer circuit...
  • 1 篇 theory of comput...
  • 1 篇 chordal graph
  • 1 篇 model checking
  • 1 篇 computer communi...
  • 1 篇 finite model the...
  • 1 篇 database managem...
  • 1 篇 reusability
  • 1 篇 specifications
  • 1 篇 behavioral resea...
  • 1 篇 algorithmic game...
  • 1 篇 programming tech...
  • 1 篇 c (programming l...
  • 1 篇 computer softwar...
  • 1 篇 data structures
  • 1 篇 artificial intel...
  • 1 篇 computer program...

机构

  • 1 篇 faculty of elect...
  • 1 篇 univ durham sch ...
  • 1 篇 microsoft corp r...
  • 1 篇 weizmann institu...
  • 1 篇 slovak tech univ...
  • 1 篇 department of cy...
  • 1 篇 school of comput...
  • 1 篇 imcs university ...
  • 1 篇 univ paris 07 eq...
  • 1 篇 insitute of comp...
  • 1 篇 natl & kapodistr...
  • 1 篇 warsaw universit...
  • 1 篇 univ saarland d-...
  • 1 篇 real-time system...
  • 1 篇 department of sy...
  • 1 篇 dev bank japan
  • 1 篇 microsoft resear...
  • 1 篇 nagoya univ grad...
  • 1 篇 chuo univ dept i...
  • 1 篇 univ kassel fach...

作者

  • 1 篇 peleg david
  • 1 篇 locher thomas
  • 1 篇 duris david
  • 1 篇 lenzen christoph
  • 1 篇 sommer philipp
  • 1 篇 apers simon
  • 1 篇 schmaltz sabine
  • 1 篇 ambroziewicz alb...
  • 1 篇 oster sebastian
  • 1 篇 ono hirotaka
  • 1 篇 nierstrasz oscar
  • 1 篇 nagy benedek
  • 1 篇 rainer unland
  • 1 篇 markert florian
  • 1 篇 paulusma daniel
  • 1 篇 van leeuwen jan
  • 1 篇 straszak tomasz
  • 1 篇 śmialek michal
  • 1 篇 paul wolfgang
  • 1 篇 kiya hironori

语言

  • 20 篇 英文
检索条件"任意字段=36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010"
20 条 记 录,以下是1-10 订阅
排序:
sofsem 2010: theory and practice of computer science - 36th conference on current trends in theory and practice of computer science, Proceedings
SOFSEM 2010: Theory and Practice of Computer Science - 36th ...
收藏 引用
36th conference on current trends in theory and practice of computer science, sofsem 2010
the proceedings contain 64 papers. the topics discussed include: forcing monotonicity in parameterized verification: from multisets to words;essential performance drivers in native XML DBMSs;continuous processing of p...
来源: 评论
Holey Graphs: Very Large Betti Numbers are Testable  50th
Holey Graphs: Very Large Betti Numbers are Testable
收藏 引用
50th International conference on current trends in theory and practice of computer science, sofsem 2025
作者: Szabó, Dániel Apers, Simon Université Paris Cité CNRS IRIF Paris France
We show that the graph property of having a (very) large k-th Betti number βk (over Z2) for constant k is testable with a constant number of queries in the dense graph model. More specifically, we consider a clique c... 详细信息
来源: 评论
Web science: the Digital-Heritage Case
Web Science: The Digital-Heritage Case
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Schreiber, Guus Vrije Univ Amsterdam NL-1081 HV Amsterdam Netherlands
Web science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. In this extended abstract we examine Web science research issues by taking a closer look a... 详细信息
来源: 评论
Clock Synchronization: Open Problems in theory and practice
Clock Synchronization: Open Problems in Theory and Practice
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Lenzen, Christoph Locher, thomas Sommer, Philipp Wattenhofer, Roger ETH Comp Engn & Networks Lab TIK CH-8092 Zurich Switzerland
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. the purpose of clock synchronization is to provide the constituent parts of a distributed syste... 详细信息
来源: 评论
Homophily of Neighborhood in Graph Relational Classifier
Homophily of Neighborhood in Graph Relational Classifier
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Vojtek, Peter Bielikova, Maria Slovak Tech Univ Fac Informat & Informat Technol Inst Informat & Software Engn Bratislava 84216 Slovakia
Quality of collective inference relational graph classifier depends on a. degree of homophily in a classified graph. If we increase homophily in the graph, the classifier would assign class-membership to the instances... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Destructive Rule-Based Properties and First-Order Logic
Destructive Rule-Based Properties and First-Order Logic
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Duris, David Univ Paris 07 Equipe Log Math F-75221 Paris 05 France
We study properties characterized by applying successively a "destructive" rule expressed in first-order logic. the rule says that Points, a(1),...,a(k) of a structure can be removed if they satisfy a certai... 详细信息
来源: 评论
Source Code Rejuvenation Is Not Refactoring
Source Code Rejuvenation Is Not Refactoring
收藏 引用
36th conference on current trends in theory and practice of computer science
作者: Pirkelbauer, Peter Dechev, Damian Stroustrup, Bjarne Texas A&M Univ Dept Comp Sci & Engn College Stn TX 77843 USA
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently encountered problems by adding langua... 详细信息
来源: 评论
An Automata-theoretical Characterization of Context-Free Trace Languages
An Automata-Theoretical Characterization of Context-Free Tra...
收藏 引用
37th International conference on current trends in theory and practice of computer science, sofsem 2011
作者: Nagy, Benedek Otto, Friedrich Univ Debrecen Fac Informat Dept Comp Sci Egyet Ter 1 H-4032 Debrecen Hungary Univ Kassel Fachbereich Elektrotech Fachbereich Informat D-34109 Kassel Germany
We present a characterization of the class of context-free trace languages in terms of cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed b... 详细信息
来源: 评论
Taming the complexity of inductive logic programming
Taming the complexity of inductive logic programming
收藏 引用
36th conference on current trends in theory and practice of computer science, sofsem 2010
作者: Železný, Filip Kuželka, Ondřej Faculty of Electrical Engineering Department of Cybernetics Czech Technical University in Prague Technická 2 16627 Prague 6 Czech Republic
Inductive logic programming (ILP) [12] is concerned with the induction of theories from specific examples and background knowledge, using first-order logic representations for all the three ingredients. In its early d... 详细信息
来源: 评论