咨询与建议

限定检索结果

文献类型

  • 6,084 篇 会议
  • 269 册 图书
  • 216 篇 期刊文献

馆藏范围

  • 6,563 篇 电子文献
  • 8 种 纸本馆藏

日期分布

学科分类号

  • 3,288 篇 工学
    • 2,578 篇 计算机科学与技术...
    • 1,689 篇 软件工程
    • 746 篇 信息与通信工程
    • 537 篇 控制科学与工程
    • 526 篇 电气工程
    • 259 篇 电子科学与技术(可...
    • 252 篇 生物工程
    • 210 篇 生物医学工程(可授...
    • 184 篇 机械工程
    • 136 篇 仪器科学与技术
    • 124 篇 动力工程及工程热...
    • 123 篇 化学工程与技术
    • 111 篇 光学工程
    • 103 篇 建筑学
    • 97 篇 交通运输工程
    • 94 篇 土木工程
    • 92 篇 材料科学与工程(可...
  • 1,354 篇 理学
    • 765 篇 数学
    • 329 篇 物理学
    • 287 篇 生物学
    • 225 篇 统计学(可授理学、...
    • 202 篇 系统科学
    • 132 篇 化学
  • 772 篇 管理学
    • 488 篇 管理科学与工程(可...
    • 356 篇 图书情报与档案管...
    • 287 篇 工商管理
  • 174 篇 医学
    • 142 篇 临床医学
    • 115 篇 基础医学(可授医学...
  • 97 篇 经济学
    • 96 篇 应用经济学
  • 96 篇 法学
    • 86 篇 社会学
  • 69 篇 教育学
  • 35 篇 农学
  • 17 篇 文学
  • 7 篇 军事学
  • 4 篇 艺术学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 65 篇 artificial intel...
  • 58 篇 genetic algorith...
  • 39 篇 learning systems
  • 36 篇 machine learning
  • 33 篇 real-time system...
  • 33 篇 distributed comp...
  • 33 篇 heuristic algori...
  • 32 篇 algorithms
  • 32 篇 cloud computing
  • 31 篇 computational in...
  • 29 篇 software enginee...
  • 28 篇 congresses.
  • 27 篇 data mining
  • 27 篇 systems science ...
  • 25 篇 internet of thin...
  • 25 篇 students
  • 25 篇 6g mobile commun...
  • 25 篇 multi agent syst...
  • 24 篇 information syst...
  • 24 篇 recommender syst...

机构

  • 24 篇 department of co...
  • 19 篇 carleton univ sc...
  • 16 篇 school of comput...
  • 14 篇 department of co...
  • 13 篇 simon fraser uni...
  • 13 篇 6 miklukho-makla...
  • 12 篇 univ ottawa sch ...
  • 10 篇 queens univ sch ...
  • 9 篇 univ british col...
  • 9 篇 department of in...
  • 9 篇 univ ottawa site...
  • 9 篇 6 miklukho-makla...
  • 9 篇 carleton univ de...
  • 9 篇 department of co...
  • 8 篇 univ alberta dep...
  • 8 篇 simon fraser uni...
  • 8 篇 department of ph...
  • 8 篇 beijing jiaotong...
  • 8 篇 université libre...
  • 8 篇 department of co...

作者

  • 20 篇 anon
  • 18 篇 reza ahmed wasif
  • 17 篇 arefin mohammad ...
  • 15 篇 azar ahmad taher
  • 14 篇 coleman a.
  • 12 篇 kulyabov dmitry ...
  • 12 篇 sens pierre
  • 12 篇 tzovaras dimitri...
  • 11 篇 bowling michael
  • 10 篇 pedrycz witold
  • 10 篇 akl selim g.
  • 9 篇 catalani f.
  • 9 篇 bernadette bouch...
  • 9 篇 ronald r. yager
  • 9 篇 kuznetsov alexan...
  • 8 篇 flaggs b.
  • 8 篇 buscemi m.
  • 8 篇 aloisio r.
  • 8 篇 duvernois m.a.
  • 8 篇 de vries k.d.

语言

  • 6,301 篇 英文
  • 181 篇 其他
  • 87 篇 中文
  • 10 篇 俄文
  • 1 篇 德文
  • 1 篇 土耳其文
检索条件"任意字段=Proceedings of the 6th International Conference on Algorithms, Computing and Systems"
6569 条 记 录,以下是4771-4780 订阅
排序:
MIRA: A learning multimodal interactive robot agent
MIRA: A learning multimodal interactive robot agent
收藏 引用
8th international conference on Hybrid Intelligent systems, HIS 2008
作者: Murray, John C. Wermter, Stefan Knowles, Michael Hybrid Intelligent Systems School of Computing and Technology University of Sunderland SR6 0DD United Kingdom
In this paper we present a robotic head MIRA (Multimodal Interactive Robot Agent) which has been developed for studying the learning of human robot interaction and improving our understanding of human robot interactio... 详细信息
来源: 评论
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains
Model Checking HML on Piecewise-Constant Inhomogeneous Marko...
收藏 引用
6th international conference on Formal Modeling and Analysis of Timed systems
作者: Katoen, Joost-Pieter Mereacre, Alexandru Rhein Westfal TH Aachen Aachen Germany
this paper presents a stochastic variant of Hennessy-Milner logic that is interpreted over (state-labeled) inhomogeneous continuous-time Markov chains (ICTMCs), i.e., Markov chains in which transition rates are functi... 详细信息
来源: 评论
Sigma point policy iteration
Sigma point policy iteration
收藏 引用
7th international Joint conference on Autonomous Agents and Multiagent systems, AAMAS 2008
作者: Bowling, Michael Geramifard, Alborz Wingate, David Department of Computing Science University of Alberta Edmonton AB T6G 2E8 Canada Computer Science and Engineering University of Michigan Ann Arbor MI 48109 United States
In reinforcement learning, least-squares temporal difference methods (e.g., LSTD and LSPI) are effective, data-efficient techniques for policy evaluation and control with linear value function approximation. these alg... 详细信息
来源: 评论
Automated Technology for Verification and Analysis - 6th international Symposium, ATVA 2008, proceedings
Automated Technology for Verification and Analysis - 6th Int...
收藏 引用
6th international Symposium on Automated Technology for Verification and Analysis, ATVA 2008
the proceedings contain 33 papers. the topics discussed include: tests, proofs and refinements;formal verification and biology;trust and automation in verification tools;CTL model-checking with graded quantifiers;gene...
来源: 评论
Shadowed Clustering for Speech Data and Medical Image Segmentation
收藏 引用
6th international conference on Rough Sets and Current Trends in computing
作者: Barman, Bishal Mitra, Sushmita Pedrycz, Witold SV Natl Inst Technol Dept Elect Engn Surat 395007 Gujarat India Indian Stat Inst Ctr Soft Comp Res Kolkata 700108 India Univ Alberta Dept Elect & Comp Engn Edmonton AB T6G 2G7 Canada
the paper presents a novel application of the shadowed clustering algorithm for uncertainty modeling and CT scan image segmentation. the core, shadowed and the exclusion regions, generated via shadowed c-means (SCM), ... 详细信息
来源: 评论
Possible adaptive control by tangent hyperbolic fixed point transformations used for controlling the Φ6-Type Van der Pol Oscillator
Possible adaptive control by tangent hyperbolic fixed point ...
收藏 引用
ICCC 2008 - IEEE 6th international conference on Computational Cybernetics
作者: Tar, József K. Bitó, János F. Rudas, Imre J. Kozlowski, Krzysztof R. Tenreiro Machado, José A. Budapest Tech John Von Neumann Faculty of Informatics Inst. of Intelligent Engineering Systems Bécsi út 96/B Budapest H-1034 Hungary Poznan University of Technology Computing Science and Management Chair of Control and Systems Engineering ul. Piotrowo 3a 60-965 Poznan Poland Institute of Engineering of Porto Department of Electrotechnical Engineering Rua Dr. Antonio Bernardino de Almeida 4200-072 Porto Portugal
In this paper a further step towards a novel approach to adaptive nonlinear control developed at Budapest Tech in the past few years is reported. Its main advantage in comparison with the complicated Lyapunov function... 详细信息
来源: 评论
Verification of a hierarchical generic mutual exclusion algorithm
收藏 引用
28th international conference on Formal Techniques for Networked and Distributed systems
作者: Baarir, Souheib Sopena, Julien Legond-Aubry, Fabrice Univ Piemonte Orientale Dept Comp Sci Via Bellini 25G I-15100 Alessandria Italy Univ Paris 06 LIP6 F-75016 Paris France
In distributed environments, the shared resources access control by mutual exclusion paradigm is a recurrent key problem. To cope with the new constraints implied by recently developed large scale distributed systems ... 详细信息
来源: 评论
Ant Colony Optimization and Swarm Intelligence  2008
收藏 引用
丛书名: Lecture Notes in Computer Science
2008年
作者: Marco Dorigo Mauro Birattari Christian Blum Maurice Clerc thomas Stützle Alan Winfield
this book constitutes the refereed proceedings of the 6th international Workshop on Ant Colony Optimization and Swarm Intelligence, ANTS 2008, held in Brussels, Belgium, in September 2008. the 17 revised full papers, ... 详细信息
来源: 评论
3D KLT compression algorithm for camera security systems
3D KLT compression algorithm for camera security systems
收藏 引用
6th international conference on Photonics
作者: Fritsch, Lukas Pata, Petr Czech Tech Univ Fac Elect Engn Dept Radio Engn Prague 16627 6 Czech Republic
this paper deals with an image compression algorithm based on the three- dimensional Karhunen- Loeve transform (3D KLT), whose task is to reduce time redundancy for an image data. there are many cases for which the re... 详细信息
来源: 评论
Fast-converging distance vector routing for wireless mesh networks
Fast-converging distance vector routing for wireless mesh ne...
收藏 引用
28th international conference on Distributed computing systems Workshops, ICDCS Workshops 2008
作者: Huang, Yangcheng Bhatti, Saleem Department of Computer Science University College London London WC1E 6BT United Kingdom School of Computer Science University of St Andrews Fife KY16 9SX United Kingdom
A major concern about distance-vector routing protocols for wireless mesh networks is its slow convergence in the presence of link changes, which can potentially degrade network stability. this paper studies the impac... 详细信息
来源: 评论