咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 15 册 图书
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 software enginee...
  • 9 篇 artificial intel...
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 7 篇 programming lang...
  • 6 篇 computer science
  • 6 篇 software enginee...
  • 6 篇 mathematical log...
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 6 篇 logics and meani...

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 tallinn universi...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 department of co...
  • 1 篇 the pennsylvania...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 183 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
186 条 记 录,以下是11-20 订阅
排序:
From Requirements to Executable Rules: An Ensemble of Domain-Specific languages for programming Cyber-Physical Systems in Warehouse Logistics  10th
From Requirements to Executable Rules: An Ensemble of Domain...
收藏 引用
10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021
作者: Mauritz, Malte Roidl, Moritz TU Dortmund University Dortmund44227 Germany
the fourth industrial revolution is driven by Software-enabled automation. To fully realize the potential of this digital transformation in a way that is beneficial to society, automation needs to become programmable ... 详细信息
来源: 评论
From Business Modeling to Software Design  1
收藏 引用
10th Annual international symposium on Business Modeling and Software Design (BMSD)
作者: de Brock, Bert Univ Groningen Fac Econ & Business POB 800 NL-9700 AV Groningen Netherlands
Graphical system sequence diagrams (SSDs), used in Requirements Engineering and Analysis, are hard to draw for larger use cases. However, we wanted to be able to express SSDs for such use cases as well. While we were ... 详细信息
来源: 评论
Evaluation of Various programming languages in Relation to Solving the Problem of Determining Indicators of Balance Reliability  10
Evaluation of Various Programming Languages in Relation to S...
收藏 引用
10th international Scientific symposium on Electrical Power Engineering (ELEKTROENERGETIKA)
作者: Chukreyev, Iurii Chukreyev, Mikhail Syktyvkar Forest Inst Syktyvkar Russia
Considers the use of various software tools to assess the possibility of obtaining indicators of balance reliability. A fairly new high-level, high-performance free programming language with dynamic typing Julia was u... 详细信息
来源: 评论
Automatic generation and assessment of student assignments for parallel programming learning  10th
Automatic generation and assessment of student assignments f...
收藏 引用
10th international symposium on Parallel Architectures, Algorithms and programming, PAAP 2019
作者: Luo, Zhenxiao Wang, Zelong Wu, Di Hei, Xiaojun Du, Yunfei School of Data and Computer Science Sun Yat-sen University Guangzhou China Guangdong Key Laboratory of Big Data Analysis and Processing Guangzhou510006 China School of Electronic Information and Communications Huazhong University of Science and Technology Wuhan China National Supercomputer Center in Guangzhou Guangzhou China
the course of parallel programming is becoming more and more important for the education of students majoring in computer science. However, it is not easy to learn parallel programming well due to its high theory and ... 详细信息
来源: 评论
Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming  10
Modeling Markov decision processes with imprecise probabilit...
收藏 引用
10th international symposium on Imprecise Probability: theories and Applications, ISIPTA 2017
作者: Bueno, thiago P. Mauá, Denis D. De Barros, Leliane N. Cozman, Fabio G. Instituto de Matemática e Estatística Universidade de São Paulo Rua do Matão São Paulo S1010 Brazil Escola Politécnica Universidade de São Paulo Av. Prof. Mello Moraes São Paulo P2231 Brazil
We study languages that specify Markov Decision Processes with Imprecise Probabilities (MDPIPs) by mixing probabilities and logic programming. We propose a novel language that can capture MDPIPs and Markov Decision Pr... 详细信息
来源: 评论
Automatic runtime calculation of communications for data-parallel expressions with periodic conditions
Automatic runtime calculation of communications for data-par...
收藏 引用
10th international symposium on High-Level Parallel programming and Applications (HLPP)
作者: Moreton-Fernandez, Ana Gonzalez-Escribano, Arturo Univ Valladolid Dept Informat Valladolid Spain
Many real-world applications feature data accesses on periodic domains. Manually implementing the synchronizations and communications associated to the data dependences on each case is cumbersome and error-prone. It i... 详细信息
来源: 评论
Characterizing and Computing Causes for Query Answers in databases from database Repairs and Repair Programs  10th
Characterizing and Computing Causes for Query Answers in Dat...
收藏 引用
10th international symposium on Foundations of Information and Knowledge Systems (FoIKS)
作者: Bertossi, Leopoldo Carleton Univ Sch Comp Sci Ottawa ON Canada
A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer... 详细信息
来源: 评论
Human motion retrieval based on feedback learning
Human motion retrieval based on feedback learning
收藏 引用
作者: Xiao, Qinkun Zhao, Yidan Li, Kin Fun Department of Electronic Information Engineering Xi'An Technological University Xi'an City710032 China Electrical and Computer Engineering University of Victoria Victoria CityV8W 2Y2 Canada
A novel content-based feedback learning motion retrieval approach is presented. the approach includes two primary stages. (1) In the learning stage, fuzzy clustering is first utilized to get the representative frames ... 详细信息
来源: 评论
10th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2018
10th International Symposium on Foundations of Information a...
收藏 引用
10th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2018
the proceedings contain 21 papers. the special focus in this conference is on Foundations of Information and Knowledge Systems. the topics include: Probabilistic team semantics;strategic dialogical argumentation using...
来源: 评论
A Framework for Comparing Query languages in their Ability to Express Boolean Queries  10th
A Framework for Comparing Query Languages in Their Ability t...
收藏 引用
10th international symposium on Foundations of Information and Knowledge Systems (FoIKS)
作者: Surinx, Dimitri Van den Bussche, Jan Van Gucht, Dirk Hasselt Univ Hasselt Belgium Indiana Univ Bloomington IN USA
We identify three basic modalities for expressing boolean queries using the expressions of a query language: nonemptiness, emptiness, and containment. For the class of first-order queries, these three modalities have ... 详细信息
来源: 评论