咨询与建议

限定检索结果

文献类型

  • 3,396 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 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 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 7 篇 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,494 篇 英文
  • 82 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3605 条 记 录,以下是2461-2470 订阅
排序:
Military task programming based on finite state machine (FSM) decision-making model
Military task programming based on finite state machine (FSM...
收藏 引用
international conference on System Simulation and Scientific Computing, ICSC
作者: Shidong Ma Guanghong Gong Liang Han Xiao Song The Aviation Key Laboratory for Advanced Simulation Technology Beijing Aeronautics and Astronautics University Beijing China The School of Automation Science and Electrical Engineering Beijing Aeronautics and Astronautics University Beijing China
Military task programming is an important foundation in military warfare simulations. Presently, scenarios in joint military warfare are built not so good to meet the requirement of aggregate-level warfare simulations... 详细信息
来源: 评论
New Approach to Converged Networks
New Approach to Converged Networks
收藏 引用
7th international conference on Networking (ICN 2008)
作者: Skorpil, V. IEEE Department of Elecommunications Technical University of Bruo International Organisations WSEAS
this paper describes a new approach to converged communication and computer networks. It was designed a new architecture of nodal active network element that is powerful enough and supports priority processing of diff... 详细信息
来源: 评论
A model of contingent planning for agent programming languages
A model of contingent planning for agent programming languag...
收藏 引用
7th international Joint conference on Autonomous Agents and Multiagent Systems, AAMAS 2008
作者: Lespérance, Yves De Giacomo, Giuseppe Ozgovde, Atalay Nafi Dept. of Computer Sci. and Eng. York University Toronto Canada Dip. Informatica e Sistemistica Univer. di Roma La Sapienza Roma Italy Dept. of Computer Science University of Toronto Toronto Canada
In this paper, we develop a formal model of planning for an agent that is operating in a dynamic and incompletely known environment. We assume that both the agent's task and the behavior of the agents in the envir... 详细信息
来源: 评论
Optimisation-based approach for a better centrifugal spreading
收藏 引用
international JOURNAL OF SYSTEMS SCIENCE 2008年 第9期39卷 913-924页
作者: Virin, T. Koko, J. Piron, E. Martinet, P. Berducat, M. Cemagref French Agr & Environm Engn Res Ctr Montoldre France Univ Blaise Pascal Clermont II LIMOS Aubiere France Univ Blaise Pascal Clermont II LASMEA Aubiere France Cemagref French Agr & Environm Engn Res Ctr Aubiere France
the use of centrifugal spreaders for application of granular fertilizers raises concern about application accuracy. these spreaders are capable of distributing fairly uniform deposits with regularly-spaced parallel tr... 详细信息
来源: 评论
BROA: A Bayesian Robotic Agents Architecture
收藏 引用
7th Mexican international conference on Artificial Intelligence (MICAI 2008)
作者: Aznar, Fidel Pujol, Mar Rizo, Ramon Univ Alicante Dept Ciencia Computac & Inteligencia Artificial E-03080 Alicante Spain
Autonomous intelligent agents paradigm has encouraged robotic researches to take another step forward in the design of control architectures replacing modules with agents. this paper presents a logical fusion between ... 详细信息
来源: 评论
Designing UML and UML-Based Diagrams for Technical Documentation: Where Are We Now?  08
Designing UML and UML-Based Diagrams for Technical Documenta...
收藏 引用
26th ACM international conference on Design of Communication
作者: Murphy, Steve MacKinnon, Neil IBM Toronto Software Lab Markham ON L6G 1C7 Canada
UML diagrams arc used to model real-world ideas and help users understand complex programming concepts. Developers and writers need to produce well-formed UML diagrams that can convey these ideas, and that are suitabl... 详细信息
来源: 评论
A Software Product Line Definition for Validation Environments
A Software Product Line Definition for Validation Environmen...
收藏 引用
12th international Software Product Line conference
作者: Magro, Belen Garbajosa, Juan Perez, Jennifer Dimetronic Universidad Politécnica de Madrid (Technical University of Madrid) E.U. Informtica Ctra. E-28031 Madrid Valencia Km. 7 Spain
functional requirements must be tested to check if the system executes as the end user expects. Validation environments must be able to test multiple kinds of applications that belong to different domains and technolo... 详细信息
来源: 评论
Hybrid Genetic programming for Optimal Approximation of High Order and Sparse Linear Systems
Hybrid Genetic Programming for Optimal Approximation of High...
收藏 引用
7th international conference on Simulated Evolution and Learning
作者: Liu, Jing Fu, Wenlong Zhong, Weicai Xidian Univ Inst Intelligent Informat Proc Xian Peoples R China
A Hybrid Genetic programming (HGP) algorithm is proposed for optimal approximation of high order and sparse linear systems. With the intrinsic property of linear systems in mind, an individual in HGP is designed as an... 详细信息
来源: 评论
Bi-criteria joint torque minimization of redundant robot arms using LVI-based primal-dial neural network
Bi-criteria joint torque minimization of redundant robot arm...
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Zhang, Yu-Nong Zhang, Lei Cai, Bing-Huang Sun Yat Sen Univ Sch Informat Sci & Technol Guangzhou 510275 Guangdong Peoples R China Sun Yat Sen Univ Sch Software Guangzhou 510275 Guangdong Peoples R China
To diminish the discontinuity and divergence or infinitynorm torque minimization scheme, a bi-criteria weighting scheme is proposed for online redundancy resolution or redundant robot arms. Such a scheme can easily be... 详细信息
来源: 评论
Comparing winner determination algorithms for mixed multi-unit combinatorial auctions
Comparing winner determination algorithms for mixed multi-un...
收藏 引用
7th international Joint conference on Autonomous Agents and Multiagent Systems, AAMAS 2008
作者: Ottens, Brammert Endriss, Ulle Artificial Intelligence Laboratory Swiss Federal Institute of Techonology Switzerland Institute for Logic Language and Computation University of Amsterdam Netherlands
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposing a transformation a bidder is offeri... 详细信息
来源: 评论