咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2531-2540 订阅
排序:
Representation and programming for a robotic assembly task using an assembly structure
Representation and programming for a robotic assembly task u...
收藏 引用
7th IEEE international conference on Computer and Information Technology
作者: Nagai, Tatsuichiro Aramaki, Shigeto Nagasawa, Isao Fukuoka Univ Jonan Ku 8-19-1 Nanakuma Fukuoka 8140180 Japan Kyushu Inst Technol Fukuoka 8208502 Japan
this paper describes a knowledge representation and programming method for a robotic assembly task. the methodology is explained using a robotic assembly task involving position and force controls. the action sequence... 详细信息
来源: 评论
An Adaptive Action Model for Legged Navigation Planning
An Adaptive Action Model for Legged Navigation Planning
收藏 引用
7th IEEE/RAS international conference on Humanoid Robots
作者: Chestnutt, Joel Nishiwaki, Koichi Kuffner, James Kagami, Satoshi Carnegie Mellon Univ Inst Robot 5000 Forbes Ave Pittsburgh PA 15213 USA AIST Waterfront 3F Digital Human Res Ctr Tokyo 135-0064 Japan
Navigation planning for legged robots via foot placement planning has enabled several humanoids to traverse interesting environments autonomously. In this paper we explore methods of adapting foot placement actions to... 详细信息
来源: 评论
Extreme programming and Agile Processes in Software Engineering - 7th international conference, XP 2006, Proceedings
收藏 引用
7th international conference on Extreme programming and Agile Processes in Software Engineering, XP 2006
the proceedings contain 30 papers. the topics discussed include: a distributed cognition account of mature XP teams;foundations of agile decision making from agile mentors and developers;software development as a coll... 详细信息
来源: 评论
Design of NOR flash memory cells with high speed programming by utilizing an asymmetric Silicide(TiSi2) Drain
Design of NOR flash memory cells with high speed programming...
收藏 引用
7th international conference on ASIC
作者: Kim, Kyeong-Rok Lee, Jung-Woo Park, Sang-Su Kwack, Kae-Dal Hanyang Univ Div Elect & Comp Engn Seoul 133791 South Korea
An unique not-OR (NOR) flash memory cell using an asymmetric Schottky barrier (SB) was designed to increase programming speed and driving current. An asymmetric SB NOR flash memory cell was proposed on the basis of th... 详细信息
来源: 评论
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
收藏 引用
SCIENCE OF COMPUTER programming 2007年 第2期65卷 72-107页
作者: Atanassow, Frank Jeuring, Johan CWI Ctr Math & Comp Sci NL-1090 GB Amsterdam Netherlands Univ Utrecht Inst Comp & Informat Sci NL-3508 TB Utrecht Netherlands Open Univ Heerlen Netherlands
this paper introduces a type-preserving XML Schema-Haskell data binding (or, translation) UUXML, and shows how to customize it by exploiting the theory of canonical isomorphisms to automatically infer coercions betwee... 详细信息
来源: 评论
Generic component: A generic programming approach
Generic component: A generic programming approach
收藏 引用
CIT 2007: 7th IEEE international conference on Computer and Information Technology
作者: Yewang, Chen Zhixiong, Jiang Wenyun, Zhao Xin, Peng Department of Computer Science and Engineering Fudan University ShangHai 200433
Generic programming (GP) is the evolvement of OO, and more general than OO. In a certain degree, it is requirement-oriented programming. this paper, firstly, addresses some insufficiencies of OO;secondly illustrates a... 详细信息
来源: 评论
Genetic programming for induction of context-free grammars
Genetic programming for induction of context-free grammars
收藏 引用
7th international conference on Intelligent Systems Design and Applications (ISDA 2007)
作者: Rohigues, Emesto Lopes, Heitor Silverio Fundacao Estudos Sociais Parana Curitiba Parana Brazil Univ Tecnol Fed Parana Curitiba Parana Brazil
We present an evolutionary algorithm for the induction of context-free grammars from positive and negative examples. the algorithm is based on genetic programming and uses a local optimization operator that is capable... 详细信息
来源: 评论
Implementation of the parallel superposition in bulk-synchronous parallel ML
Implementation of the parallel superposition in bulk-synchro...
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Gava, Frederic Univ Paris 10 Lab Algorithms Complex & Log Paris France
Bulk-Synchronous Parallel ML (BSML) is a functional data-parallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, avoids deadlocks and non-determinism. this pape... 详细信息
来源: 评论
An integer partition based algorithm for coalition structure generation
An integer partition based algorithm for coalition structure...
收藏 引用
7th IEEE international conference on Computer and Information Technology
作者: Boonjing, Veera Narabin, Santit King Monguts Inst Technol Ladkrabang Dept Math & Comp Sci Software Syst Engn Lab Bangkok 10520 Thailand
this paper proposes a new algorithm to generate a minimal search space of the problem of coalition structure generation using a new optimal integer partition. the new partition includes only partitions giving optimal ... 详细信息
来源: 评论
e-petri net model for programming integrated network of wireless sensor networks and grids
e-petri net model for programming integrated network of wire...
收藏 引用
CIT 2007: 7th IEEE international conference on Computer and Information Technology
作者: Adimallikarjuna Reddy, V. Kumar, A. V. U. Phani Janakiram, D. Distributed and Object Systems Lab. Department of Computer Science and Engineering Indian Institute of Technology Madras Chennai 600036 India
Applications like weather forecasting and prediction, health-care monitoring, habitat monitoring, tsunami-warning systems, demand integration of Wireless Sensor Networks (WSNs) with grids. the issues that need to be a... 详细信息
来源: 评论