咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 157 篇 工学
    • 138 篇 计算机科学与技术...
    • 68 篇 软件工程
    • 20 篇 电气工程
    • 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 篇 基础医学(可授医学...

主题

  • 174 篇 declarative prog...
  • 18 篇 logic programmin...
  • 10 篇 answer set progr...
  • 8 篇 prolog
  • 6 篇 imperative progr...
  • 6 篇 constraint progr...
  • 5 篇 constraints
  • 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
  • 3 篇 deductive databa...

机构

  • 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 americas pu...
  • 2 篇 johns hopkins un...
  • 2 篇 university of am...
  • 2 篇 vrije univ bruss...

作者

  • 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

语言

  • 159 篇 英文
  • 14 篇 其他
  • 1 篇 中文
检索条件"主题词=Declarative Programming"
174 条 记 录,以下是101-110 订阅
The Design and Implementation of a declarative Sensor Network System  07
The Design and Implementation of a Declarative Sensor Networ...
收藏 引用
5th ACM Conference on Embedded Networked Sensor Systems
作者: Chu, David Popa, Lucian Tavakoli, Arsalan Hellerstein, Joseph M. Levis, Philip Shenker, Scott Stoica, Ion Univ Calif Berkeley EECS Comp Sci Div Berkeley CA 94720 USA
Sensor networks are notoriously difficult to program, given that they encompass the complexities of both distributed and embedded systems. To address this problem, we present the design and implementation of a declara... 详细信息
来源: 评论
Temporal State Management for Supporting the Real-Time Analysis of Clinical Data
Temporal State Management for Supporting the Real-Time Analy...
收藏 引用
18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events (ADBIS)
作者: Behrend, Andreas Schmiegelt, Philip Xie, Jingquan Fehling, Ronny Ghoneimy, Adel Liu, Zhen Hua Chan, Eric Gawlick, Dieter Univ Bonn Bonn Germany Fraunhofer FKIE Wachtberg Germany Fraunhofer IAIS St Augustin Germany Oracle San Francisco CA USA
Database systems are more and more employed to analyze an ever increasing amount of temporal data by applying a continuously evolving knowledge and are expected to do this in a timely fashion. Examples are financial s... 详细信息
来源: 评论
A General Purpose Representation and Adaptive EA for Evolving Graphs  23
A General Purpose Representation and Adaptive EA for Evolvin...
收藏 引用
Genetic and Evolutionary Computation Conference (GECCO)
作者: Medvet, Eric Pozzi, Simone Manzoni, Luca Univ Trieste DIA Trieste Italy Univ Trieste DMG Trieste Italy
Graphs are a way to describe complex entities and their relations that apply to many practically relevant domains. However, domains often differ not only in the properties of nodes and edges, but also in the constrain... 详细信息
来源: 评论
CLP(QS): A declarative Spatial Reasoning Framework
CLP(QS): A Declarative Spatial Reasoning Framework
收藏 引用
10th International Conference on Spatial Information Theory (COSIT 2011)
作者: Bhatt, Mehul Lee, Jae Hee Schultz, Carl Univ Bremen Spatial Cognit Res Ctr SFB TR 8 Bremen Germany
We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semant... 详细信息
来源: 评论
Constrained matching is type safe
Constrained matching is type safe
收藏 引用
6th International Workshop on Database programming Languages (DBPL-6)
作者: Alagic, S Wichita State Univ Dept Comp Sci Wichita KS 67260 USA
Temporally constrained matching in a persistent and declarative object-oriented system is introduced as a semantic alternative to the existing approaches to the covariance/contravariance problem. While the existing ob... 详细信息
来源: 评论
Similarity-Based Equality with Lazy Evaluation
Similarity-Based Equality with Lazy Evaluation
收藏 引用
13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
作者: Moreno, Gines U Castilla La Mancha Dept Comp Syst Albacete 02071 Spain
Thanks to the high expressive power and the rule-based nature of declarative languages, their influences are growing in the fields of AI, knowledge representation, and so on. On the other hand, since the notion of &qu... 详细信息
来源: 评论
Aggregation and well-founded semantics  2nd
收藏 引用
2nd International Workshop on Non-Monotonic Extensions of Logic programming
作者: Osorio, M Jayaraman, B Univ Americas Puebla Dept Ingn Sistemas Computac Cholula 72820 Mexico SUNY Buffalo Dept Comp Sci Buffalo NY 14260 USA
Set-grouping and aggregation are powerful non-monotonic operations of practical interest in database query languages. We consider the problem of expressing aggregation via negation as failure (NF). We study this probl... 详细信息
来源: 评论
Rule-based query optimization, revisited  99
Rule-based query optimization, revisited
收藏 引用
8th International Conference on Information Knowledge Management (CIKM 99)
作者: Warshaw, LB Miranker, DP Univ Texas Dept Comp Sci Austin TX 78758 USA
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C++. Following the developments in exten... 详细信息
来源: 评论
Midas: A declarative Multi-Touch Interaction Framework
Midas: A Declarative Multi-Touch Interaction Framework
收藏 引用
5th International Conference on Tangible, Embedded and Embodied Interaction
作者: Scholliers, Christophe Hoste, Lode Signer, Beat De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab B-1050 Brussels Belgium
Over the past few years, multi-touch user interfaces emerged from research prototypes into mass market products. This evolution has been mainly driven by innovative devices such as Apple's iPhone or Microsoft'... 详细信息
来源: 评论
Colour Beads Visual Representation of Compositional Relational Programs
Colour Beads Visual Representation of Compositional Relation...
收藏 引用
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
作者: Pacaci, Gorkem Hamfelt, Andreas Uppsala Univ Dept Informat & Media Uppsala Sweden
Building on a compositional relational programming language Combilog, code visualization with a motivation of flexible practical applications is explored. Following from earlier work, a new coloured and human percepti... 详细信息
来源: 评论