咨询与建议

限定检索结果

文献类型

  • 30 篇 会议
  • 3 册 图书
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 24 篇 工学
    • 22 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 3 篇 信息与通信工程
    • 2 篇 电气工程
    • 2 篇 生物工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
    • 1 篇 城乡规划学
  • 9 篇 理学
    • 7 篇 数学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 统计学(可授理学、...
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 管理学
    • 2 篇 图书情报与档案管...

主题

  • 3 篇 artificial intel...
  • 2 篇 three-dimensiona...
  • 2 篇 robot programmin...
  • 2 篇 inductive logic ...
  • 2 篇 semantics
  • 2 篇 computer program...
  • 2 篇 dynamic programm...
  • 2 篇 logics and meani...
  • 2 篇 point cloud comp...
  • 1 篇 internet of thin...
  • 1 篇 object oriented ...
  • 1 篇 surveys
  • 1 篇 programming prof...
  • 1 篇 runtime
  • 1 篇 internet of thin...
  • 1 篇 end-user develop...
  • 1 篇 information syst...
  • 1 篇 semantic segment...
  • 1 篇 empowerment
  • 1 篇 microarchitectur...

机构

  • 1 篇 universidade fed...
  • 1 篇 faculty of engin...
  • 1 篇 radboud univ nij...
  • 1 篇 nazarbayev unive...
  • 1 篇 univ london impe...
  • 1 篇 department of co...
  • 1 篇 univ pisa pisa
  • 1 篇 university of ba...
  • 1 篇 software composi...
  • 1 篇 abteilung progra...
  • 1 篇 politecnico di m...
  • 1 篇 univ politecn va...
  • 1 篇 departamento de ...
  • 1 篇 departement of p...
  • 1 篇 national aerospa...
  • 1 篇 japan advanced i...
  • 1 篇 fraunhofer insti...
  • 1 篇 cnr isti pisa
  • 1 篇 miyazaki univ mi...
  • 1 篇 univ bari a moro...

作者

  • 2 篇 cena federica
  • 2 篇 mattioli andrea
  • 2 篇 breve bernardo
  • 2 篇 esposito florian...
  • 2 篇 rizvi mehdi
  • 2 篇 balducci fabrizi...
  • 1 篇 koopman pieter
  • 1 篇 perin fabrizio
  • 1 篇 antonio cerone
  • 1 篇 hirschfeld rober...
  • 1 篇 guttmann walter
  • 1 篇 lisi francesca a...
  • 1 篇 h. fujita
  • 1 篇 durán f.
  • 1 篇 gentiane venture
  • 1 篇 kitzelmann emanu...
  • 1 篇 steffen ihlenfel...
  • 1 篇 qin jing
  • 1 篇 hernandez-orallo...
  • 1 篇 ferri c.

语言

  • 33 篇 英文
  • 1 篇 其他
检索条件"任意字段=3rd International Workshop on Approaches and Applications of Inductive Programming"
34 条 记 录,以下是21-30 订阅
排序:
The Semantic Web: ESWC 2011 workshops  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume constitutes the thoroughly refereed proceedings of 11 international workshops held as part of the 8th Extended Semantic Web Conference, ESWC 2011, in Heraklion, Crete, Greece, in May 2010. The 22 revised f... 详细信息
来源: 评论
EMPATHY: 3rd international workshop on Empowering People in Dealing with Internet of Things Ecosystems  2022
EMPATHY: 3rd International Workshop on Empowering People in ...
收藏 引用
16th Working Conference on Advanced Visual Interfaces (ACM AVI)
作者: Balducci, Fabrizio Breve, Bernardo Cena, Federica Mattioli, Andrea Rizvi, Mehdi Univ Bari A Moro Bari Italy Univ Salerno Salerno Italy Univ Turin Turin Italy CNR ISTI Pisa Italy Politecn Milan Milan Italy
Nowadays, when dealing with Internet of Things (IoT) for people with no prior experience in programming or in designing technology, End-User Development (EUD) solutions offer wide and powerful approaches to support en... 详细信息
来源: 评论
Functional and Constraint Logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Herbert Kuchen
This book constitutes the refereed conference proceedings of the 20th international workshop on Functional and Constraint Logic programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th Interna... 详细信息
来源: 评论
Learning complex activity preconditions in process mining  3
Learning complex activity preconditions in process mining
收藏 引用
3rd international workshop on New Frontiers in Mining Complex Patterns, NFMCP 2014 held in Conjunction with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2014
作者: Ferilli, Stefano De Carolis, Berardina Esposito, Floriana Dipartimento di Informatica Università di Bari Bari Italy Centro Interdipartimentale per la Logica e sue Applicazioni Università di Bari Bari Italy
The availability of automatic support may sometimes determine the successful accomplishment of a process. Such a support can be provided if a model of the intended process is available. Many real-world process models ... 详细信息
来源: 评论
Proceedings of the 41st international Conference on Very Large Data Bases, VLDB 2015
Proceedings of the 41st International Conference on Very Lar...
收藏 引用
3rd workshop on Spatio-Temporal Database Management, STDBM 2006, Co-located with the 32nd international Conference on Very Large Data Bases, VLDB 2006
This proceedings contains 12 papers. The conference covers current issues in data management, database, and information systems research. Data management and databases remain among the main technological cornerstones ...
来源: 评论
Polytypic programming in Maude
Polytypic programming in Maude
收藏 引用
The 3rd international workshop on Rewriting Logic and its applications
作者: Clavel, M. Durán, F. Martí-Oliet, N. Departamento de Filosofía Universidad de Navarra Spain ETSII Universidad de Málaga Spain Facultad de Matemáticas Universidad Complutense Madrid Spain
The idea of polytypic programming is to write programs that are defined by induction on the structure of user-defined datatypes. In this way, many functions with similar functionalities do not have to be written over ... 详细信息
来源: 评论
Constraint Community Detection: modelling approaches with applications  3
Constraint Community Detection: modelling approaches with ap...
收藏 引用
3rd international workshop of IT-Professionals on Artificial Intelligence, ProfIT AI 2023
作者: Pichugina, Oksana Kirichenko, Lyudmyla Skob, Yurii Matsiy, Olha National Aerospace University "Kharkiv Aviation Institute" 17 Chkalova Street Kharkiv61070 Ukraine V. N. Karazin Kharkiv National University 4 Svobody Sq. Kharkiv61022 Ukraine
Community Detection (CD) is a fundamental issue in Network Analysis, focusing on identifying densely connected node groups within a network. Its broader interpretation, Constrained Community Detection (CCD), emerges w... 详细信息
来源: 评论
Concepts for reliable communication in a software-defined network architecture
Concepts for reliable communication in a software-defined ne...
收藏 引用
international Conference on Computer Safety, Reliability, and Security, SAFECOMP 2017 and 5th international workshop on Assurance Cases for Software-Intensive Systems, ASSURE 2017, 12th workshop on Dependable Embedded and Cyber-physical Systems and Systems-of Systems, DECSoS 2017, 6th international workshop on Next Generation of System Assurance approaches for Safety Critical Systems, SASSUR 2017, 3rd international workshop on Technical and Legal Aspects of Data Privacy and Security, TELERISE 2017 and 2nd international workshop on the Timing Performance in Safety Engineering, TIPS 2017
作者: von Tüllenburg, Ferdinand Pfeiffenberger, Thomas Salzburg Research ForschungsgmbH Jakob Haringerstr. 5/3 Salzburg5020 Austria
Not available services or service interruption could have different impact to our social life. Emails or messages which are not delivered in a proper time-frame could lead to omit a meeting or a discussion with collea... 详细信息
来源: 评论
Safe and efficient elimination of infeasible execution paths in WCET estimation
Safe and efficient elimination of infeasible execution paths...
收藏 引用
IEEE international Conference on Embedded and Real-Time Computing Systems and applications (RTCSA)
作者: A.A. Kountouris IRISA Rennes France
Reasoning about the timing properties of a program is indispensable in the development of time critical systems where failure to meet deadlines can result in loss of life or material. To this end having tools to calcu... 详细信息
来源: 评论
Experiences with adaptive QOS mapping scheme
Experiences with adaptive QOS mapping scheme
收藏 引用
IEEE international Conference on Embedded and Real-Time Computing Systems and applications (RTCSA)
作者: T. Nakajima H. Fujita Japan Advanced Institute of Science and Technology Tatsunokuchi Ishikawa Japan
In multimedia computing, guaranteeing Quality of Service (QOS) is one of the most important topics. If QOS values specified by users are not ensured, the users may not put up with the degraded quality of media streams... 详细信息
来源: 评论