咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 15 册 图书

馆藏范围

  • 3,534 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 83 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 54 篇 costs
  • 50 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 41 篇 computer science
  • 41 篇 quadratic progra...
  • 41 篇 software

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...
  • 3 篇 school of electr...
  • 3 篇 concordia univ d...

作者

  • 8 篇 catalao joao p. ...
  • 6 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,452 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3536 条 记 录,以下是3251-3260 订阅
排序:
Conceptual graphs as algebras-with an application to analogical reasoning  7th
收藏 引用
7th international conference on Conceptual Structures, ICCS 1999
作者: Braüner, Torben Nilsson, Jørgen Fischer Rasmussen, Anne InterMedia Aalborg University Fredrik Bajers Vej 7 C Aalborg East9220 Denmark Department of Information Technology Technical University of Denmark Building 344 Lyngby2800 Denmark Department of Communication Aalborg University Langagervej 8 Aalborg East9220 Denmark
the first part of this paper presents a logico-algebraic reconstruction of conceptual graph fundamentals using an appropriately extended binary relation algebra. the algebraisation comprises axioms which in a straight... 详细信息
来源: 评论
Control of autonomous robots using genetic algorithms and neural networks
Control of autonomous robots using genetic algorithms and ne...
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: R.R. Torres J.L. Silvino P.F.M. Palmeira J.C.D. de Melo Centro de Pesquisa e Desenvolvimento Em Engenharia Elétrica Universidade Federal de Minas Gerais Belo Horizonte Brazil
A simulator of autonomous robots in a non-structured environment is presented. this simulator is used to develop alternative programming techniques for robot control. these techniques consist basically of using geneti... 详细信息
来源: 评论
Reinforcement learning and automatic categorization
Reinforcement learning and automatic categorization
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: J.M. Porta E. Celaya Institut de Robòtica i Informàtica Industrial (CSIC-UPC) Barcelona Spain
the categorization process defines sensor and action categories from elementary sensor readings and basic actions so that the necessary elements for solving a task are correctly perceived and manipulated. In reinforce... 详细信息
来源: 评论
System inductive modeling using genetic programming with a genetic algorithm for parameter adjustment
System inductive modeling using genetic programming with a g...
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: A.M. Lopez H. Lopez G. Ojea V.M. Gonzalez Department Ingenieria Eléctrica Universidad de Oviedo Gijon Spain
System modeling is highly relevant in the automation and simulation processes. Until now, there have been two main ways to deal with the problem. the first is to collect the equations, normally differential, which dir... 详细信息
来源: 评论
Generation of Boolean logic equations for discrete logic control
Generation of Boolean logic equations for discrete logic con...
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: E.W. Kamen Georgia Institute of Technology Atlanta GA USA
A systematic procedure is presented for generating Boolean logic equations that represent the desired control action to be carried out by a discrete logic controller. A key component of the controller design is the sp... 详细信息
来源: 评论
Fast stereo vision algorithm for robotic applications
Fast stereo vision algorithm for robotic applications
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: R.C. Gonzalez J.A. Cancelas J.C. Alvarez J.A. Fernandez J.M. Enguita Area de Ingeniería de Sistemas y Automatica Universidad de Oviedo Gijon Spain
Autonomous navigation applications demand sensors with a low sample time to be able to increase speed. We have developed a stereo vision algorithm, capable to deliver dense disparity maps for single, high-resolution s... 详细信息
来源: 评论
Standard software for modeling productive plants
Standard software for modeling productive plants
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: J.L. Lozano A. Mateos S. Rios-Insua Department of Decision and Account Universite Autónoma de Madrid Madrid Spain Department of Artificial Intelligence School of Computer Science Madrid Technical University Madrid Spain
A productive scheme can be represented with an oriented network in which nodes are the productive elements connected through different input/output arcs, which reflect the material's flow between pairs of nodes. S... 详细信息
来源: 评论
Cycle time computation in deterministically timed weighted marked graphs
Cycle time computation in deterministically timed weighted m...
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: M. Nakamura M. Silva University of Ryukyus Nishihara Okinawa Japan University of Zaragoza Zaragoza Spain
this paper considers the minimum cycle time (MCT) computation in deterministically timed weighted marked graphs (WMGs) under infinite server semantics. A transformation from a live and bounded WMG system into a live a... 详细信息
来源: 评论
Reactive with tags classifier system applied to real robot navigation
Reactive with tags classifier system applied to real robot n...
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: A. Sanchis J.M. Molina P. Isasi J. Segovia Departamento de Informática Universidad Carlos III de Madrid Madrid Spain Departamento de Lenguajes y Sistemas Universidad Politecnica de Madrid Madrid Spain
A reactive with tags classifier system (RTCS) is a special classifier system. this system combines the execution capabilities of symbolic systems and the learning capabilities of genetic algorithms. A RTCS is able to ... 详细信息
来源: 评论
A simulation model for opportunistic maintenance strategies
A simulation model for opportunistic maintenance strategies
收藏 引用
international conference on Emerging Technologies and Factory Automation (ETFA)
作者: O. Mohamed-Salah A.-K. Daoud G. Ali Engineering School University of Moncton Moncton Canada Mechanical Engineering Department Laval University Sainte-Foy QUE Canada Automated Production Engineering Department École de Technologie Superieure Montreal QUE Canada
An opportunistic maintenance strategy is proposed to maintain a production line consisting of k nonidentical processors and without intermediary stocks. Operational characteristics of processors are degraded with usag... 详细信息
来源: 评论