咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2581-2590 订阅
排序:
DOLCLAN - Middleware support for peer-to-peer distributed shared objects
收藏 引用
7th international conference on Distributed Applications and Interoperable Systems
作者: Bardram, Jakob E. Mogensen, Martin Univ Aarhus Dept Comp Sci Aabogade 34 DK-8200 Aarhus N Denmark
Contemporary object-oriented programming seeks to enable distributed computing by accessing remote objects using blocking remote procedure calls. this technique, however, suffers from several drawbacks because it reli... 详细信息
来源: 评论
Model-based testing of optimizing compilers
收藏 引用
19th IFIP international conference on Testing of Communicating Systems/7th international Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2007)
作者: Zelenov, Sergey Zelenova, Sophia Russian Acad Sci Inst Syst Programming Moscow 117901 Russia
We describe a test development method, named OTK1, that is aimed at optimizing compiler testing. the OTK method is based on constructing a model of optimizer's input data. the method allows developing tests target... 详细信息
来源: 评论
Are approximation algorithms for consensus clustering worthwhile?
Are approximation algorithms for consensus clustering worthw...
收藏 引用
7th SIAM international conference on Data Mining
作者: Bertolacci, Michael Wirth, Anthony Univ Melbourne Dept Comp Sci & Software Engn Melbourne Vic 3010 Australia
Consensus clustering has emerged as one of the principal clustering problems in the data mining community. In recent years the theoretical computer science community has generated a number of approximation algorithms ... 详细信息
来源: 评论
Lightweight scalable components  07
Lightweight scalable components
收藏 引用
GPCE'07 - 6th international conference on Generative programming and Component Engineering
作者: Kamina, Tetsuo Tamai, Tetsuo University of Tokyo 7-3-1 Hongo Bunkyo-ku Tokyo 113-0033 Japan University of Tokyo 3-8-1 Komaba Meguro-ku Tokyo 153-8902 Japan
One limitation of the well-known family polymorphism approach is that each "family" will be a large monolithic program. In this paper, we introduce a minimal lightweight set of language features that treat e... 详细信息
来源: 评论
QOMA2: Optimizing the alignment of many sequences
QOMA2: Optimizing the alignment of many sequences
收藏 引用
7th IEEE international conference on Bioinformatics and Bioengineering, BIBE
作者: Zhang, Xu Kahveci, Tamer Computer and Information Science and Engineering University of Florida Gainesville FL 32611 United States
We consider the problem of aligning multiple protein sequences with the goal of maximizing the SP (Sum-of-Pairs) score, when the number of sequences is large. the QOMA (Quasi-Optimal Multiple Alignment) algorithm addr... 详细信息
来源: 评论
Feature description systems for clusters by using logical rule generations based on the genetic programming and its applications to data mining
Feature description systems for clusters by using logical ru...
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Lu, Jianjun Liu, Yunling Tokinaga, Shozo Chinese Agr Univ Beijing 100083 Peoples R China Kyushu Univ Grad Sch Econom Fukuoka 812 Japan
this paper deals with the realization of retrieval and feature description systems for clusters by using logical rule generations based on the Genetic programming (GP). At first, whole data is divided into several clu... 详细信息
来源: 评论
High Performance Computing for Computational Science - VECPAR 2006: 7th international conference Revised Selected and Invited Papers
High Performance Computing for Computational Science - VECPA...
收藏 引用
7th international Meeting on High-Performance Computing for Computational Science, VECPAR 2006
the proceedings contain 56 papers. the topics discussed include: an opportunistic algorithm for scheduling workflows on grids;a service oriented system for on demand dynamic structural analysis over computational grid... 详细信息
来源: 评论
A dynamic committee scheme on multiple-criteria linear programming classification method
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Zhu, Meihong Shi, Yong Li, Aihua He, Jing Chinese Acad Sci Grad Univ Management Sch Res Ctr Data Technol & Knowledge Econ Beijing 100080 Peoples R China Capital Univ Econom & Business Sch Stat Beijing 100070 Peoples R China
this paper aims to provide a scheme for effectively and efficiently finding an approximately optimal example size with respect to a given dataset when using Multiple-Criteria Linear programming (MCLP) classification m... 详细信息
来源: 评论
A new multi-criteria quadratic-programming linear classification model for VIP E-mail analysis
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Zhang, Peng Zhang, Juliang Shi, Yong Chinese Acad Sci Res Ctr Data Technol & Knowledge Econ Beijing 100080 Peoples R China Grad Univ Chinese Acad Sci Sch Informat Sci & Engn Beijing 100080 Peoples R China
In the recent years, classification models based on mathematical programming have been widely used in business intelligence. In this paper, a new Multi-Criteria Quadratic-programming Linear Classification (MQLC) model... 详细信息
来源: 评论
Solving a problem in grid applications: Using aspect oriented programming
Solving a problem in grid applications: Using aspect oriente...
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Han, Hyuck Kim, Shingyu Jung, Hyungsoo Yeom, Heon Y. Seoul Natl Univ Sch Comp Sci & Engn Seoul 151742 South Korea
Aspect Oriented programming (AOP) was introduced 10 years ago and many research projects have focused on broadening AOP and its target areas. However, few applications in the Grid computing world adopt AOP in comparis... 详细信息
来源: 评论