咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是101-110 订阅
排序:
A generic programming toolkit for PADS/ML: First-class upgrades for third-party developers
A generic programming toolkit for PADS/ML: First-class upgra...
收藏 引用
10th international symposium on Practical Aspects of Declarative languages, PADL 2008
作者: Fernández, Mary Fisher, Kathleen Nathan Foster, J. Greenberg, Michael Mandelbaum, Yitzhak AT and T Research University of Pennsylvania
Domain-specific languages facilitate solving problems in a targeted domain by providing features particular to the domain. Declarative domain-specific languages have the additional benefit that users specify what some... 详细信息
来源: 评论
Intelligent query answering with contextual knowledge for relational databases  10
Intelligent query answering with contextual knowledge for re...
收藏 引用
10th symposium on languages, Applications and Technologies, SLATE 2021
作者: Seipel, Dietmar Weidner, Daniel Abreu, Salvador Department of Computer Science Universität Würzburg Germany Nova-Lincs University of Évora Portugal
We are proposing a keyword-based query interface for knowledge bases - including relational or deductive databases - based on contextual background knowledge such as suitable join conditions or synonyms. Join conditio... 详细信息
来源: 评论
DCGs + Memoing = Packrat parsing but is it worth it?
DCGs + Memoing = Packrat parsing but is it worth it?
收藏 引用
10th international symposium on Practical Aspects of Declarative languages, PADL 2008
作者: Becket, Ralph Somogyi, Zoltan NICTA Department of Computer Science and Software Engineering University of Melbourne 111 Barry Street Parkville VIC 3010 Australia
Packrat parsing is a newly popular technique for efficiently implementing recursive descent parsers. Packrat parsing avoids the potential exponential costs of recursive descent parsing with backtracking by ensuring th... 详细信息
来源: 评论
Fixing Classification: A Viewpoint-Based Approach  10th
Fixing Classification: A Viewpoint-Based Approach
收藏 引用
10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021
作者: Selić, Bran Pierantonio, Alfonso Malina Software Corp. Ottawa Canada Monash University Melbourne Australia Università degli Studi dell’Aquila L’Aquila Italy
the concept of classification as realized in most traditional object-oriented computer languages has certain limitations that may inhibit its application to modeling more complex phenomena. this is likely to prove pro... 详细信息
来源: 评论
Partial precedence of context-sensitive graph grammars  17
Partial precedence of context-sensitive graph grammars
收藏 引用
10th international symposium on Visual Information Communication and Interaction, VINCI 2017
作者: Zou, Yang Zeng, Xiaoqin Liu, Yufeng Liu, Huiyi College of Computer and Information Hohai University Nanjing China
Context-sensitive graph grammars have been rigorous formalisms for specifying visual programming languages, as they possess sufficient expressive powers and intuitive forms. Efficient parsing mechanisms are essential ... 详细信息
来源: 评论
SICStus MT—A multithreaded execution environment for SICStus Prolog  10th
SICStus MT—A multithreaded execution environment for SICStu...
收藏 引用
10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998
作者: Eskilson, Jesper Carlsson, Mats Intelligent Systems Laboratory Swedish Institute of Computer Science Box 1263 KistaSE-164 29 Sweden
the development of intelligent software agents and other complex applications which continuously interact with their environments has been one of the reasons why explicit concurrency has become a necessity in a modern... 详细信息
来源: 评论
Automated Technology for Verification and Analysis  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Supratik Chakraborty Madhavan Mukund
this book constitutes the thoroughly refereed proceedings of the 10th international symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at thiruvananthapuram, Kerala, India, in October 201... 详细信息
来源: 评论
programming real-time image processing for manycores in a high-level language
Programming real-time image processing for manycores in a hi...
收藏 引用
10th international symposium on Advanced Parallel Processing Technologies, APPT 2013
作者: Gebrewahid, Essayas Zain-Ul-Abdin Svensson, Bertil Gaspes, Veronica Jego, Bruno Lavigueur, Bruno Robart, Mathieu Center for Research on Embedded Systems Halmstad University Halmstad Sweden STMicroelectronics - Advanced System Technology Grenoble France STMicroelectronics - Advanced System Technology Bristol United Kingdom
Manycore architectures are gaining attention as a means to meet the performance and power demands of high-performance embedded systems. However, their widespread adoption is sometimes constrained by the need for maste... 详细信息
来源: 评论
EML3D: An XML Based Markup Language for 3D Object Manipulation in Second Life
EML3D: An XML Based Markup Language for 3D Object Manipulati...
收藏 引用
10th international symposium on Smart Graphics
作者: Nakasone, Arturo Prendinger, Helmut Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan
Recently, virtual worlds like "Second Life" have received a lot of attention not only as environments that, promote social interaction, but also as media in which scientific research can be performed effecti... 详细信息
来源: 评论
Systematic Literature Review of Methods for Maintaining Data Integrity  10th
Systematic Literature Review of Methods for Maintaining Data...
收藏 引用
10th international Conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th international Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2021, symposium on Intelligent and Autonomous Systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st international Health Data Workshop, HEDA 2021
作者: Kask, Marten Piho, Gunnar Ross, Peeter Tallinn University of Technology Tallinn Estonia
Diverse data is collected in health care for secondary usage. However, this data is collected by various parties and processed by numerous information systems. Hence, to get reliable results, the data integrity must b... 详细信息
来源: 评论