咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 177 篇 工学
    • 161 篇 计算机科学与技术...
    • 72 篇 软件工程
    • 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 条 记 录,以下是51-60 订阅
排序:
Optimizing winning strategies in regular infinite games  1
收藏 引用
34th conference on current trends in theory and practice of computer science
作者: thomas, Wolfgang Rhein Westfal TH Aachen D-52056 Aachen Germany
We consider infinite two-player games played on finite graphs where the winning condition (say for the first player) is given by a regular omega-language. We address issues of optimization in the construction of winni... 详细信息
来源: 评论
35th Australasian computer science conference, ACSC 2012
35th Australasian Computer Science Conference, ACSC 2012
收藏 引用
35th Australasian computer science conference, ACSC 2012
this proceedings contains 14 papers. this conference represents a strong and reputable academic meeting addressing many research sub-disciplines in computer science. It brings together the international community with...
来源: 评论
Correlation theory-based Phase Difference Estimation Method for Sinusoidal Signals  35
Correlation Theory-based Phase Difference Estimation Method ...
收藏 引用
35届中国控制会议
作者: TU Yaqing SHEN Yanlin CHEN Peng Department of Information Engineering Logistical Engineering University
To improve the precision of phase difference estimation for sinusoidal signals,a correlation theory-based phase difference estimation method for sinusoidal signals is *** phase estimation is obtained by estimating fre... 详细信息
来源: 评论
Teaching practice of BOPPPS for the Cultivation of Application-oriented Programming Talents under the Perspective of OBE  35
Teaching Practice of BOPPPS for The Cultivation of Applicati...
收藏 引用
35th Chinese Control and Decision conference (CCDC)
作者: Liu, Hedan Xiamen Univ Tan Kah Kee Coll Sch Informat Sci & Technol Zhangzhou Peoples R China
In view of the current teaching situation of the course "Fundamentals of Programming (C++)", which is characterized by the uneven foundation of students, insufficient traditional teaching resources, and the ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Parallel immune system for graph coloring  1
收藏 引用
34th conference on current trends in theory and practice of computer science
作者: Dabrowski, Jacek Gdansk Univ Technol PL-80952 Gdansk Poland
this paper presents a parallel artificial immune system designed for graph coloring. the algorithm is based on the clonal selection principle. Each processor operates on its own pool of antibodies and a migration mech... 详细信息
来源: 评论
A Model of the Commit Size Distribution of Open Source
A Model of the Commit Size Distribution of Open Source
收藏 引用
39th conference on current trends in theory and practice of computer science (SOFSEM)
作者: Kolassa, Carsten Riehle, Dirk Salim, Michel A. Rhein Westfal TH Aachen Aachen Germany Friedrich Alexander Univ Erlangen Nurnberg Erlangen Germany
A fundamental unit of work in programming is the code contribution ("commit") that a developer makes to the code base of the project in work. We use statistical methods to derive a model of the probabilistic... 详细信息
来源: 评论
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language theory
Two-Dimensional Rational Automata: A Bridge Unifying One- an...
收藏 引用
39th conference on current trends in theory and practice of computer science (SOFSEM)
作者: Anselmo, Marcella Giammarresi, Dora Madonia, Maria Univ Salerno Dipartimento Informat I-84084 Fisciano SA Italy Univ Roma Tor Vergata Dipartimento Matemat I-00133 Rome Italy Univ Catania Dip Matemat & Informat I-95125 Catania Italy
We define two-dimensional rational automata for pictures as an extension of classical finite automata for strings. they are obtained replacing the finite relation computed by the transition function with a rational re... 详细信息
来源: 评论
Algorithms for rational agents  27th
收藏 引用
27th International conference on current trends in theory and practice of Informatics (SOFSEM 2000)
作者: Ronen, A Hebrew Univ Jerusalem Sch Comp Sci & Engn Jerusalem Israel
Many recent applications of interest involve self-interested participants. As such participants, termed agents, may manipulate the algorithm for their own benefit, a new challenge emerges: the design of algorithms and... 详细信息
来源: 评论
Games, theory and applications
收藏 引用
30th conference on current trends in theory and practice of computer science
作者: van den Herik, HJ Donkers, HHLM Univ Maastricht Dept Comp Sci IKAT NL-6200 MD Maastricht Netherlands
computer game-playing is a challenging topic in artificial intelligence. the recent results by the computer programs DEEP BLUE (1996, 1997) and DEEP JUNIOR (2002) against Kasparov show the power of current game-tree s... 详细信息
来源: 评论