咨询与建议

限定检索结果

文献类型

  • 88 篇 期刊文献
  • 83 篇 会议
  • 3 册 图书
  • 3 篇 学位论文

馆藏范围

  • 177 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 160 篇 工学
    • 140 篇 计算机科学与技术...
    • 70 篇 软件工程
    • 21 篇 电气工程
    • 12 篇 信息与通信工程
    • 9 篇 控制科学与工程
    • 3 篇 仪器科学与技术
    • 2 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 石油与天然气工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
  • 29 篇 理学
    • 22 篇 数学
    • 3 篇 物理学
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 科学技术史(分学科...
  • 8 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 3 篇 哲学
    • 1 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 177 篇 declarative prog...
  • 18 篇 logic programmin...
  • 11 篇 answer set progr...
  • 8 篇 prolog
  • 6 篇 imperative progr...
  • 6 篇 constraint progr...
  • 5 篇 constraints
  • 5 篇 programming lang...
  • 5 篇 artificial intel...
  • 5 篇 program complete...
  • 5 篇 programming lang...
  • 4 篇 program correctn...
  • 4 篇 languages
  • 4 篇 extensible middl...
  • 4 篇 search
  • 4 篇 metadata
  • 4 篇 multidimensional...
  • 4 篇 separation of co...
  • 3 篇 cartesian progra...
  • 3 篇 parallelism

机构

  • 6 篇 univ pisa dept c...
  • 3 篇 univ penn philad...
  • 3 篇 linkoping univ d...
  • 3 篇 univ new s wales...
  • 3 篇 polish acad sci ...
  • 2 篇 univ malaga lcc ...
  • 2 篇 vrije universite...
  • 2 篇 univ texas arlin...
  • 2 篇 linkoping univ i...
  • 2 篇 rise kista
  • 2 篇 cau kiel inst in...
  • 2 篇 univ parma dipar...
  • 2 篇 univ politecn va...
  • 2 篇 univ turku turku
  • 2 篇 polish acad sci ...
  • 2 篇 univ bergen berg...
  • 2 篇 univ kentucky co...
  • 2 篇 univ americas pu...
  • 2 篇 johns hopkins un...
  • 2 篇 university of am...

作者

  • 7 篇 forti stefano
  • 7 篇 brogi antonio
  • 5 篇 drabent wlodzimi...
  • 4 篇 mancilla blanca
  • 4 篇 plaice john
  • 3 篇 ferrari gian-lui...
  • 3 篇 hellerstein jose...
  • 3 篇 calimeri frances...
  • 3 篇 loo boon thau
  • 3 篇 hanus michael
  • 3 篇 germano stefano
  • 3 篇 gopal sriram
  • 2 篇 barash mikhail
  • 2 篇 casadei roberto
  • 2 篇 stevens reinout
  • 2 篇 salvador lucas
  • 2 篇 henderson chris
  • 2 篇 varela carlos a.
  • 2 篇 stokke knut ande...
  • 2 篇 enrico pontelli

语言

  • 162 篇 英文
  • 14 篇 其他
  • 1 篇 中文
检索条件"主题词=Declarative Programming"
177 条 记 录,以下是141-150 订阅
排序:
On the use of PDL, for domain independent and extensible pattern recognition
On the use of PDL, for domain independent and extensible pat...
收藏 引用
2nd IEEE International Conference on Intelligent Systems
作者: Gondal, GZ NUST Inst Informat Technol New Lalazar Rawalpindi Pakistan
Technical Analysis is a financial risk management practice that has been in use since the advent of stock market and Pattern Recognition is an indivisible part of it. There has been a lot of research in to pattern rec... 详细信息
来源: 评论
declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system  15
Declaratively solving tricky Google Code Jam problems with P...
收藏 引用
30th ACM Symposium on Applied Computing (SAC)
作者: Dymchenko, Sergii Mykhailova, Mariia
In this paper we demonstrate several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with the Prolog-based (ECLPSe)-P-i system using declarative techniques: constraint... 详细信息
来源: 评论
Dyna: Toward a Self-Optimizing declarative Language for Machine Learning Applications  1
Dyna: Toward a Self-Optimizing Declarative Language for Mach...
收藏 引用
4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array programming (ARRAY) / 1st ACM SIGPLAN International Workshop on Machine Learning and programming Languages (MAPL)
作者: Vieira, Tim Francis-Landau, Matthew Filardo, Nathaniel Wesley Khorasani, Farzad Eisner, Jason Johns Hopkins Univ Baltimore MD 21218 USA Rice Univ Houston TX 77251 USA
declarative programming is a paradigm that allows programmers to specify what they want to compute, leaving how to compute it to a solver. Our declarative programming language, Dyna, is designed to compactly specify c... 详细信息
来源: 评论
High-level declarative user interfaces: [Poster Abstract]
High-level declarative user interfaces: [Poster Abstract]
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Goderis, Sofie D'Hondt, Theo Vrije Universiteit Brussel Programming Technology Lab Pleinlaan 2 BrusselB1050 Belgium
来源: 评论
People, Ideas, and the Path Ahead  24th
People, Ideas, and the Path Ahead
收藏 引用
24th International Conference on Practical Aspects of declarative Languages, PADL 2022
作者: Balduccini, Marcello Saint Joseph’s University PhiladelphiaPA United States Elemental Cognition WiltonCT United States
While recent advances in machine learning have yielded impressive results, researchers, practitioners, and even companies are beginning to recognize that true artificial intelligence requires much more sophisticated r... 详细信息
来源: 评论
High-level declarative user interfaces
High-level declarative user interfaces
收藏 引用
OOPSLA'05 - 20th Annual ACM Conference on Object-Oriented programming, Systems, Languages, and Applications
作者: Goderis, Sofie Vrije Universiteit Brussel Programming Technology Lab Pleinlaan 2 BrusselB1050 Belgium
来源: 评论
ASP-DPOP: Solving Distributed Constraint Optimization Problems with Logic programming  14
ASP-DPOP: Solving Distributed Constraint Optimization Proble...
收藏 引用
International Conference on Autonomous Agents and Multiagent Systems
作者: Tiep Le Tran Cao Son Enrico Pontelli William Yeoh Department of Computer Science New Mexico State University
Researchers have used Distributed Constraint Optimization Problems (DCOPs) to model various multi-agent coordination and resource allocation problems. However, existing DCOP algorithms have focused almost exclusively ... 详细信息
来源: 评论
Practical Aspects of declarative Languages : Second International Workshop, Padl 2000, Boston, Ma, Usa, January 2000 : Proceedings
收藏 引用
2016年
作者: enrico pontelli
Practical Aspects of declarative Languages : Second International Workshop, Padl 2000, Boston, Ma, Usa, January 2000 : Proceedings by Padl 2000 (2000 : Boston, Mass.); Pontelli, Enrico, 1967-; Santos Costa, Vítor, 19... 详细信息
来源: 评论
Practical aspects of declarative languages
Practical aspects of declarative languages
收藏 引用
丛书名: Lecture notes in computer science,
2002年
作者: Shriram Krishnamurthi C.R. Ramakrishnan (eds.).
来源: 评论
An Extensible Framework for Annotation-based Parameter Passing in Distributed Object Systems
An Extensible Framework for Annotation-based Parameter Passi...
收藏 引用
作者: Gopal, Sriram Virginia Tech | University
Modern distributed object systems pass remote parameters based on their runtime type. This design choice limits the expressiveness, readability, and maintainability of distributed applications. While a rich body of ... 详细信息
来源: 评论