咨询与建议

限定检索结果

文献类型

  • 526 篇 会议
  • 196 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 466 篇 工学
    • 376 篇 计算机科学与技术...
    • 307 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 49 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 19 篇 其他
  • 6 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
743 条 记 录,以下是211-220 订阅
排序:
Ordering Constraints over Feature Trees
收藏 引用
Constraints 2000年 第1-2期5卷 7-41页
作者: Muller, Martin Niehren, Joachim Podelski, Andreas Programming Systems Lab Universität des Saarlandes Stuhlsatzenhausweg 3 D-66041 Saarbrücken Germany Max-Planck-Inst. für Informatik Im Stadtwald D-66123 Saarbrücken Germany
Feature trees are the formal basis for algorithms manipulating record like structures in constraint programming, computational linguistics and in concrete applications like software configuration management. Feature t... 详细信息
来源: 评论
Lookback Period, Epochs and Hidden States Effect on Time Series Prediction Using a LSTM based Neural Network  28
Lookback Period, Epochs and Hidden States Effect on Time Ser...
收藏 引用
28th National Conference with International Participation, TELECOM 2020
作者: Koparanov, Kiril Andreev Georgiev, Krasin Krasimirov Shterev, Vasil Aleksandrov Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
Forecasting time series problem occurs in various subject areas. Recently neural network techniques have been used for solving such tasks. However, they have not been sufficiently studied. The article explores the inf... 详细信息
来源: 评论
Understanding Student Success Prediction Using SHapley Additive exPlanations  11
Understanding Student Success Prediction Using SHapley Addit...
收藏 引用
11th International Scientific Conference on Computer Science, COMSCI 2023
作者: Ujkani, Berat Minkovska, Daniela Nakov, Ognyan Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
Predicting student success is an important task in educational institutions, as it allows for targeted interventions and support systems to enhance educational outcomes. This paper explores the use of SHAP (SHapley Ad... 详细信息
来源: 评论
Scalable QoS approach in a core internet network
Scalable QoS approach in a core internet network
收藏 引用
International Conference on Web Engineering, ICWE 2003
作者: Barenco Abbas, Cláudia J. García Villalba, L. Javier Dept. Electric Engineering University of Brasilia Brazil Dept. Computer Systems and Programming Complutense University of Madrid Spain
A special attention about scalability has to be paid to QoS solutions for Core Internet Networks as they deal with a lot of flows and demand many resources. This paper analyses and proposes integrated solutions from t... 详细信息
来源: 评论
Re-engineering automation systems as dynamic software product lines  11
Re-engineering automation systems as dynamic software produc...
收藏 引用
11th Dagstuhl-Workshop Modellbasierte Entwicklung Eingebetteter Systeme, MBEES 2015 - 11th Dagstuhl-Workshop on Model-Based Development of Embedded systems, MBEES 2015
作者: Lity, Sascha Burdek, Johannes Lochau, Malte Berens, Markus Schurr, Andy Schaefer, Ina Institute for Programming and Reactive Systems TU Braunschweig Germany Real-Time Systems Lab TU Darmstadt Germany Eckelmann AG Germany Institute of Software Engineering and Automotive Informatics TU Braunschweig Germany
Software engineering is an important development task in the automation domain due to the increasing number of embedded systems applied for controlling various system functions. In general, those automation systems ar... 详细信息
来源: 评论
Incremental and iterative monolingual clustering algorithms  8
Incremental and iterative monolingual clustering algorithms
收藏 引用
8th European Conference on Speech Communication and Technology, EUROSPEECH 2003
作者: Barrachina, Sergio Vilar, Juan Miguel Dpt. of Computer Engineering and Science Universidad Jaume i Spain Dpt. of Programming Languages and Computer Systems Universidad Jaume i Spain
To reduce speech recognition error rate we can use better statistical language models. These models can be improved by grouping words into word equivalence classes. Clustering algorithms can be used to automatically d... 详细信息
来源: 评论
Message from the general chair
Proceedings of the 2007 IEEE International Symposium on Work...
收藏 引用
Proceedings of the 2007 IEEE International Symposium on Workload Characterization, IISWC 2007年 2-2页
作者: Breternitz Jr., Mauricio Intel MTL - Programming Systems Lab.
来源: 评论
Human VS AI-Generated Content: Where to Draw the Line?  33
Human VS AI-Generated Content: Where to Draw the Line?
收藏 引用
33rd International Scientific Conference Electronics, ET 2024
作者: Minkovska, Daniela V. Antonova, Elena V. Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
The integration and detection of AI (Artificial Intelligence) in a variety of fields, primarily education, are examined in this paper. With an emphasis on virtual assistants and their uses, it explores the potential a... 详细信息
来源: 评论
Verification, Model Checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Bernhard Steffen Giorgio Levi
来源: 评论
Software Anomaly Detection Method Based on Artificial Neural Network  20
Software Anomaly Detection Method Based on Artificial Neural...
收藏 引用
20th IEEE International Conference on e-Business Engineering, ICEBE 2024
作者: Gancheva, Veska Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd. Sofia1000 Bulgaria
A growing range of data sets have been created in recent years;these are used by platforms and software applications and kept in remote access repositories. Datasets are therefore more susceptible to harmful attacks. ... 详细信息
来源: 评论