咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 185 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 83 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 64 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 51 篇 mathematical mod...
  • 48 篇 computer program...
  • 47 篇 heuristic algori...
  • 42 篇 quadratic progra...
  • 42 篇 artificial intel...

机构

  • 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,431 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3604 条 记 录,以下是2381-2390 订阅
排序:
On the control of the growth of program sizes in the course of classifier evolution in image classification in genetic programming
On the control of the growth of program sizes in the course ...
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Li, Ya-Min Ma, Jin-Ru Cui, Li-Juan Zhao, Qiu-Xia Agr Univ Hebei Artificial Intelligence Res Ctr Baoding 071001 Peoples R China Agr Univ Hebei Coll Foreign Language Baoding 071001 Peoples R China Hebei Univ Lib Baoding 071002 Peoples R China
the main indicators of the performance of an image classifier include classification accuracy, classification efficiency and evolution efficiency, whereas the sizes of the programs involved in genetic programming stan... 详细信息
来源: 评论
A light-weight load-time weaving approach for OSGi
A light-weight load-time weaving approach for OSGi
收藏 引用
Next Generation Aspect Oriented Middleware Workshop, NAOMI 2008 - 7th international conference on Aspect-Oriented Software Development, AOSD 200
作者: Keuler, thorsten Kornev, Yury Fraunhofer Institute for Experimental Software Engineering Fraunhofer-Platz 1 67663 Kaiserslautern Germany
In the context of dynamic, component-based systems, the OSGi platform (Open Standard Gateway Initiative) supports the dynamic deployment of software services in form of so-called bundles. Since aspect-oriented program... 详细信息
来源: 评论
Formal semantics of DRMA-style programming in BSPlib
收藏 引用
7th international conference on Parallel Processing and Applied Mathematics
作者: Tesson, Julien Loulergue, Frederic Univ Orleans LIFO F-45067 Orleans France
BSPlib is a programming library for C and Fortran which supports bulk synchronous parallelism (BSP). this paper is about a formal semantics for the DRMA programming style of the BSPlib library. the aim is to study the... 详细信息
来源: 评论
Choosing a programming Language for Strategic Games using Horn Clauses: A demo in Visual Prolog 7.0
Choosing a Programming Language for Strategic Games using Ho...
收藏 引用
13th international conference on Computer Games (CGames 2008)
作者: Williams, Godfried Nahomihs, Naomi Krishna, Goutham Mahboob, Waqar Jakombum, Jeff Allasifiqbal, Asif Univ E London Sch Technol & Management London E15 4LZ England
this is a technical report that outlines and highlights functional and non functional requirements for modelling and building strategy games. the report covers language definitions, heuristics for choosing a computer ... 详细信息
来源: 评论
Disciplined composition of aspects using tests
Disciplined composition of aspects using tests
收藏 引用
4th Linking Aspect Technology and Evolution Workshop, LATE'08 - Held at the 7th international conference on Aspect-Oriented Software Development, AOSD 2008
作者: Restivo, André Aguiar, Ademar LIAAC - NIAD and R Faculdade de Engenharia Universidade Do Porto Rua Dr. Roberto Frias s/n 4200-465 Porto Portugal INESC Porto Faculdade de Engenharia Universidade Do Porto Rua Dr. Roberto Frias s/n 4200-465 Porto Portugal
A large part of the software development effort is typically spent on maintenance and evolution, namely on adding new and unanticipated features. As aspect-oriented programming (AOP) can be easily used to compose soft... 详细信息
来源: 评论
A mechanical approach for deriving algorithmic programs  08
A mechanical approach for deriving algorithmic programs
收藏 引用
7th IEEE/ACIS international conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS international Workshop on e-Activity
作者: Shi, Haihe Xue, Jinyun Du, Dawei Chinese Acad Sci Inst Software Beijing 100080 Peoples R China Chinese Acad Sci Grad Univ Beijing 100049 Peoples R China Jiangxi Normal Univ Coll Comp Nanchang 330022 Jiangxi Peoples R China Univ N Carolina Dept Comp Sci Charlotte NC 28262 USA
Formal algorithm derivation is valuable in ensuring resultant algorithm correctness, revealing ideas behind algorithm, and studying automatic algorithm design. An approach called mechanical partition-and-recur (MPAR f... 详细信息
来源: 评论
Finding optimal solutions to backbone minimisation problems using mixed integer programming  7
Finding optimal solutions to backbone minimisation problems ...
收藏 引用
7th international Network conference, INC 2008
作者: Morgan, M. Grout, V. NEWI Plas Coch Campus Mold Road WrexhamLL12 2AW United Kingdom
Attempts to evaluate heuristic algorithms are often hampered by the lack of known exact solutions with which to compare results. this is true, in particular, in the study of network backbone design - to date, a fairly... 详细信息
来源: 评论
the application of combinational evaluation in traffic transfer system based on multi-objective programming
收藏 引用
7th international conference of Chinese Transportation Professionals Congress 2007: Plan, Build, and Manage Transportation Infrastructures in China
作者: Bin, Shuai Cheng, Zhang Xi Hong, Wang Jiang School of Transportation Engineering Southwest Jiaotong University P.O. Box 610031 Chengdu China
Traffic Transfer System is an important subsystem of urban public transportation System and its evaluation can help us to find out its operational problems and solutions. In order to evaluate the layout, operation and... 详细信息
来源: 评论
A new algorithm for solving convex hull problem and its application to feature selection
A new algorithm for solving convex hull problem and its appl...
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Guo, Feng Wang, Xi-Zhao Li, Yan Hebei Univ Coll Math & Comp Sci Key Lab Machine Learning & Computat Intelligence Baoding 071002 Hebei Peoples R China
A new method to solve the convex hull problem in n-dimensional spaces is proposed in this paper. At each step, a new point is added into the convex hull if the point is judged to be out of the current convex hull by a... 详细信息
来源: 评论
programming and informal science learning: Making tuis work for museums
Programming and informal science learning: Making tuis work ...
收藏 引用
7th international conference on Interaction Design and Children, IDC 2008
作者: Horn, Michael S. Solovey, Erin Treacy Jacob, Robert J.K. Tufts University Department of Computer Science 161 College Ave Medford MA 02155 United States
in this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss five design considerations for tangible i... 详细信息
来源: 评论