咨询与建议

限定检索结果

文献类型

  • 69 篇 会议
  • 14 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 46 篇 工学
    • 41 篇 计算机科学与技术...
    • 30 篇 软件工程
    • 7 篇 控制科学与工程
    • 5 篇 信息与通信工程
    • 4 篇 电气工程
    • 2 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 土木工程
    • 1 篇 船舶与海洋工程
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
    • 1 篇 网络空间安全
  • 18 篇 理学
    • 10 篇 数学
    • 4 篇 物理学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 13 篇 管理学
    • 9 篇 图书情报与档案管...
    • 6 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 法学
    • 2 篇 社会学
    • 1 篇 政治学
  • 1 篇 文学
    • 1 篇 新闻传播学

主题

  • 5 篇 computer archite...
  • 5 篇 software enginee...
  • 5 篇 semantics
  • 4 篇 task analysis
  • 4 篇 predictive model...
  • 4 篇 software
  • 4 篇 intelligent syst...
  • 3 篇 service oriented...
  • 3 篇 ontologies
  • 3 篇 internet
  • 3 篇 analytical model...
  • 3 篇 humans
  • 3 篇 hardware
  • 3 篇 data models
  • 3 篇 web services
  • 2 篇 computer science
  • 2 篇 information syst...
  • 2 篇 tuning
  • 2 篇 reliability
  • 2 篇 parallelization

机构

  • 15 篇 institute for pr...
  • 15 篇 institute for pr...
  • 8 篇 karlsruhe instit...
  • 6 篇 institute for pr...
  • 3 篇 department of st...
  • 3 篇 institute for pr...
  • 2 篇 mayflower gmbh m...
  • 2 篇 institute for pr...
  • 1 篇 computer science...
  • 1 篇 institute of pro...
  • 1 篇 institute for in...
  • 1 篇 chair for public...
  • 1 篇 architecture of ...
  • 1 篇 institute for pr...
  • 1 篇 department of in...
  • 1 篇 institute for pr...
  • 1 篇 faculty of econo...
  • 1 篇 institute of com...
  • 1 篇 cas software a.g...
  • 1 篇 university of ka...

作者

  • 9 篇 walter f. tichy
  • 7 篇 tichy walter f.
  • 7 篇 böhm klemens
  • 7 篇 klemens böhm
  • 6 篇 weigelt sebastia...
  • 4 篇 tobias hey
  • 4 篇 reussner ralf
  • 4 篇 hütter christian
  • 4 篇 klemens bohm
  • 4 篇 christian hütter
  • 4 篇 sebastian weigel...
  • 3 篇 vanessa steurer
  • 3 篇 szabó zoltán
  • 3 篇 klein michael
  • 3 篇 kalinke florian
  • 2 篇 piotr rygielski
  • 2 篇 christian von de...
  • 2 篇 martin tillmann
  • 2 篇 steurer vanessa
  • 2 篇 jing zhi yue

语言

  • 82 篇 英文
  • 1 篇 其他
检索条件"机构=Institute of Program Structures & Data Organization"
83 条 记 录,以下是11-20 订阅
排序:
Verification of data-Value-Aware Processes and a Case Study on Spectrum Auctions
Verification of Data-Value-Aware Processes and a Case Study ...
收藏 引用
IEEE Conference on Commerce and Enterprise Computing, CEC
作者: Elaheh Ordoni Jutta Mülle Klemens Böhm Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany
Verification techniques are fundamental to improve the reliability of process designs in practice. In application domains like auctions, the issue is extremely valuable; the goal of auction designers is to prevent und... 详细信息
来源: 评论
NoRBERT: Transfer Learning for Requirements Classification
NoRBERT: Transfer Learning for Requirements Classification
收藏 引用
IEEE International Conference on Requirements Engineering
作者: Tobias Hey Jan Keim Anne Koziolek Walter F. Tichy Karlsruhe Institute of Technology (KIT) Institute for Program Structures and Data Organization Karlsruhe Germany
Classifying requirements is crucial for automatically handling natural language requirements. The performance of existing automatic classification approaches diminishes when applied to unseen projects because requirem... 详细信息
来源: 评论
Hybrid online autotuning for parallel ray tracing
Hybrid online autotuning for parallel ray tracing
收藏 引用
19th Eurographics Symposium on Parallel Graphics and Visualization, EGPGV 2019
作者: Herveau, K. Pfaffe, P. Tillmann, M. Tichy, W.F. Dachsbacher, C. Computer Graphics Group Karlsruhe Institute of Technology Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany
Acceleration structures are key to high performance parallel ray tracing. Maximizing performance requires configuring the degrees of freedom (e.g., construction parameters) these data structures expose. Whether a para... 详细信息
来源: 评论
Automatic generation of virtual assistants from databases using active ontologies  31
Automatic generation of virtual assistants from databases us...
收藏 引用
31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019
作者: Blersch, Martin Weigelt, Sebastian Tichy, Walter F. Angele, Kevin Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany Semantic Technology Institute University of Innsbruck Innsbruck Austria ONLIM GmbH Telfs Austria
Virtual assistants such as Siri or Google Assistant are omnipresent. However, their development remains costly. One must either manually model the problem domain or provide thousands of labeled samples. We propose to ... 详细信息
来源: 评论
Finite-time Analysis of Globally Nonstationary Multi-Armed Bandits
arXiv
收藏 引用
arXiv 2021年
作者: Komiyama, Junpei Fouché, Edouard Honda, Junya Stern School of Business New York University 44 West 4th Street New YorkNY United States Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Am Fasanengarten 5 Karlsruhe76131 Germany Department of Systems Science Graduate School of Informatics Kyoto University Yoshida Honmachi Sakyo-ku Kyoto606-8501 Japan
We consider nonstationary multi-armed bandit problems where the model parameters of the arms change over time. We introduce the adaptive resetting bandit (ADR-bandit), a bandit algorithm class that leverages adaptive ...
来源: 评论
Collaborative modeling enabled by version control
Collaborative modeling enabled by version control
收藏 引用
Fachtagung Modellierung, 2018
作者: Kuryazov, Dilshod Winter, Andreas Reussner, Ralf University of Oldenburg Software Engineering Group Uhlhornsweg 84 Oldenburg26111 Germany Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Postfach 6980 KarlsruheD-76128 Germany
Model-Driven Software Development is a key field in software development activities which is well-suited to design and develop large-scale software systems. Developing and maintaining large-scale model-driven software... 详细信息
来源: 评论
Detection of Conditionals in Spoken Utterances
Detection of Conditionals in Spoken Utterances
收藏 引用
International Conference on Semantic Computing
作者: Sebastian Weigelt Tobias Hey Vanessa Steurer Karlsruhe Institute of Technology Institute for Program Structures and Data Organization Karlsruhe Germany
State-of-the-art intelligent assistant systems such as Siri & Co. struggle with conditionals. They reliably react to ordinary commands. However, their architectures are not designed to cope with complex conditiona... 详细信息
来源: 评论
Context model acquisition from spoken utterances  29
Context model acquisition from spoken utterances
收藏 引用
29th International Conference on Software Engineering and Knowledge Engineering, SEKE 2017
作者: Weigelt, Sebastian Hey, Tobias Tichy, Walter F. Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany
Current systems with spoken language interfaces do not leverage contextual information. Therefore, they struggle with understanding speakers' intentions. We propose a system that creates a context model from user ... 详细信息
来源: 评论
Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems
Architecture-driven reduction of specification overhead for ...
收藏 引用
2017 MODELS Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, MODEL-SSE 2017
作者: Yurchenko, Kateryna Behr, Moritz Klare, Heiko Kramer, Max Reussner, Ralf Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Karlsruhe Germany
Code verification techniques can be used to guarantee that some of the information processed in software systems remains confidential. For this, allowed information flows have to be specified for the system under anal... 详细信息
来源: 评论
An Empirical Study on the Current and Future Challenges of Automotive Software Release and Configuration Management
An Empirical Study on the Current and Future Challenges of A...
收藏 引用
Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
作者: Houssem Guissouma Heiko Klare Eric Sax Erik Burger Institute for Information Processing Technologies Karlsruhe Institute of Technology Germany Institute for Program Structures and Data Organization Karlsruhe Institute of Technology Germany
Current automotive trends, such as autonomous and connected driving, are mainly enabled by embedded software that is deployed on a network of several, often more than one hundred, electronic control units. These softw... 详细信息
来源: 评论