咨询与建议

限定检索结果

文献类型

  • 77 篇 期刊文献
  • 23 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 82 篇 工学
    • 72 篇 计算机科学与技术...
    • 16 篇 电气工程
    • 14 篇 软件工程
    • 10 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 2 篇 土木工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 建筑学
    • 1 篇 水利工程
    • 1 篇 石油与天然气工程
  • 22 篇 理学
    • 22 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 系统科学
  • 13 篇 管理学
    • 13 篇 管理科学与工程(可...
  • 3 篇 医学
    • 2 篇 临床医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 特种医学
  • 1 篇 法学
    • 1 篇 法学

主题

  • 100 篇 incremental algo...
  • 4 篇 computational ge...
  • 4 篇 voronoi diagrams
  • 4 篇 dynamic graphs
  • 3 篇 robot navigation
  • 3 篇 linear programmi...
  • 3 篇 machine learning
  • 3 篇 convex optimizat...
  • 3 篇 data structures
  • 3 篇 concept drift
  • 3 篇 shortest distanc...
  • 2 篇 parallel algorit...
  • 2 篇 compilers
  • 2 篇 delaunay-triangu...
  • 2 篇 rotations
  • 2 篇 scalability
  • 2 篇 dynamic networks
  • 2 篇 convex minimizat...
  • 2 篇 decremental algo...
  • 2 篇 lossless graph s...

机构

  • 3 篇 univ maryland co...
  • 3 篇 carnegie mellon ...
  • 2 篇 carnegie mellon ...
  • 2 篇 intel res pittsb...
  • 2 篇 vietnam acad sci...
  • 2 篇 rand corp pittsb...
  • 2 篇 hunan univ coll ...
  • 2 篇 acad mil sci pla...
  • 1 篇 ist austria klos...
  • 1 篇 politecn milan d...
  • 1 篇 john hopkins uni...
  • 1 篇 univ calif river...
  • 1 篇 univ coimbra ctr...
  • 1 篇 chinese acad sci...
  • 1 篇 univ sao paulo d...
  • 1 篇 tay nguyen univ ...
  • 1 篇 carnegie mellon ...
  • 1 篇 cnr ist anal sis...
  • 1 篇 univ florence di...
  • 1 篇 technion israel ...

作者

  • 4 篇 pulice chiara
  • 4 篇 greco sergio
  • 4 篇 molinaro cristia...
  • 3 篇 carley kathleen ...
  • 3 篇 kas miray
  • 3 篇 carley l. richar...
  • 2 篇 quintana ximena
  • 2 篇 liu yuling
  • 2 篇 ferguson dave
  • 2 篇 li kenli
  • 2 篇 yang jianye
  • 2 篇 ma ziyi
  • 2 篇 stentz anthony
  • 2 篇 kalra nidhi
  • 1 篇 nguyen giang lon...
  • 1 篇 miller r
  • 1 篇 elad cohen
  • 1 篇 gentile c
  • 1 篇 hu yan zhu
  • 1 篇 zhou jie

语言

  • 91 篇 英文
  • 8 篇 其他
  • 1 篇 中文
检索条件"主题词=Incremental algorithms"
100 条 记 录,以下是1-10 订阅
排序:
incremental algorithms for solving regular expression intersection non-emptiness
收藏 引用
THEORETICAL COMPUTER SCIENCE 2025年 1043卷
作者: Chen, Haiming Huang, Hong Li, Rongchen Peng, Chengyao Su, Weihao Chinese Acad Sci Inst Software Key Lab Syst Software Beijing 100190 Peoples R China Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing 100190 Peoples R China Univ Chinese Acad Sci Beijing 101400 Peoples R China
The intersection non-emptiness problem of regular languages is one of the most classical and fundamental decision problems in formal language theory, which plays an important role in many areas of computer science. In... 详细信息
来源: 评论
Novel incremental algorithms for Attribute Reduction From Dynamic Decision Tables Using Hybrid Filter-Wrapper With Fuzzy Partition Distance
收藏 引用
IEEE TRANSACTIONS ON FUZZY SYSTEMS 2020年 第5期28卷 858-873页
作者: Nguyen Long Giang Le Hoang Son Tran Thi Ngan Tran Manh Tuan Ho Thi Phuong Abdel-Basset, Mohamed de Macedo, Antonio Roberto L. de Albuquerque, Victor Hugo C. Vietnam Acad Sci & Technol Inst Informat Technol Hanoi 100000 Vietnam Vietnam Natl Univ VNU Informat Technol Inst Hanoi 010000 Vietnam Thuyloi Univ Hanoi 116705 Vietnam Tay Nguyen Univ Buon Ma Thuot 630000 Vietnam Zagazig Univ Fac Comp & Informat Zagazig 44519 Egypt Univ Fortaleza BR-60811905 Fortaleza Ceara Brazil
Attribute reduction from decision tables has been much focused in recent years in which the incremental methods of the tradition rough set and extended models are mostly used for adding, removing, or updating the obje... 详细信息
来源: 评论
Efficiency Guarantees for Parallel incremental algorithms under Relaxed Schedulers  19
Efficiency Guarantees for Parallel Incremental Algorithms un...
收藏 引用
31st ACM Symposium on Parallelism in algorithms and Architecturess (SPAA)
作者: Alistarh, Dan Nadiradze, Giorgi Koval, Nikita IST Austria Klosterneuburg Austria IST Austria JetBrains Klosterneuburg Austria
Several classic problems in graph processing and computational geometry are solved via incremental algorithms, which split computation into a series of small tasks acting on shared state, which gets updated progressiv... 详细信息
来源: 评论
incremental algorithms for Safe and Reachable Frontier Detection for robot exploration
收藏 引用
ROBOTICS AND AUTONOMOUS SYSTEMS 2015年 72卷 189-206页
作者: Senarathne, P. G. C. N. Wang, Danwei Nanyang Technol Univ Sch Elect & Elect Engn Ctr E City EXQUISITUS Singapore 639798 Singapore
Majority of the autonomous robot exploration strategies operate by iteratively extracting the boundary between the mapped open space and unexplored space, frontiers, and sending the robot towards the "best" ... 详细信息
来源: 评论
incremental model checking for fuzzy computation tree logic
收藏 引用
FUZZY SETS AND SYSTEMS 2025年 500卷
作者: Pan, Haiyu Zhou, Jie Lin, Yuming Cao, Yongzhi Guilin Univ Elect Technol Guangxi Key Lab Trusted Software Guilin 541004 Peoples R China Shanghai Normal Univ Math & Sci Coll Shanghai 200234 Peoples R China Peking Univ Sch Comp Sci Key Lab High Confidence Software Technol MOE Beijing 100871 Peoples R China
Fuzzy model checking, also called multi-valued model checking, has proved to be an effective technique in verifying properties of fuzzy systems. One important issue with fuzzy model checking, is that a model adopted i... 详细信息
来源: 评论
incremental singular value decomposition for some numerical aspects of multiblock redundancy analysis
收藏 引用
COMPUTATIONAL STATISTICS 2023年 1-29页
作者: Martinez-Ruiz, Alba Lauro, Natale Carlo Univ Diego Portales Santiago Chile Univ Napoli Federico II Naples Italy
Simultaneously processing several large blocks of streaming data is a computationally expensive problem. Based on the incremental singular value decomposition algorithm, we propose a new procedure for calculating the ... 详细信息
来源: 评论
Adapting stable matchings to forced and forbidden pairs
收藏 引用
JOURNAL OF COMPUTER AND SYSTEM SCIENCES 2025年 147卷
作者: Boehmer, Niclas Heeger, Klaus TU Berlin Ernst Reuter Pl 7 D-10587 Berlin Germany Univ Potsdam Hasso Plattner Inst Potsdam Germany Ben Gurion Univ Negev Beer Sheva Israel
We introduce the problem of adapting a stable matching to forced and forbidden pairs. Given a stable matching M-1, a set Q of forced pairs, and a set P of forbidden pairs, we want to find a stable matching that includ... 详细信息
来源: 评论
An incremental algorithm for concept lattice based on structural similarity index
收藏 引用
SOFT COMPUTING 2022年 第21期26卷 11409-11423页
作者: Hu, Yu Hu, Yan Zhu Su, Zhong Li, Xiao Li Meng, Zhen Tian, Wen Jia Yang, Yan Ying Chai, Jia Feng Beijing Informat Sci & Technol Univ Sch Automat 12 Qinghe Xiao Ying East Rd Beijing 100196 Peoples R China Beijing Univ Posts & Telecommun Sch Modern Post 10 Xi Tu Cheng Rd Beijing 100876 Peoples R China Beijing Univ Technol Informat Dept 100 Ping Le Yuan Beijing 100124 Peoples R China Beijing Acad Sci & Technol 27West 3rd Ring Rd NorthBeike Bldg Beijing 100089 Peoples R China Beijing Gas Grp Co 22 XiZhiMen NanXiao St Beijing 100035 Peoples R China
As an effective tool for data analysis, formal concept analysis (FCA) is widely used in software engineering and machine learning. The construction of concept lattice is a key step of the FCA. How to effectively to up... 详细信息
来源: 评论
Walk for Learning: A Random Walk Approach for Federated Learning From Heterogeneous Data
收藏 引用
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS 2023年 第4期41卷 929-940页
作者: Ayache, Ghadir Dassari, Venkat El Rouayheb, Salim Rutgers State Univ Elect & Comp Engn Dept Piscataway NJ 08854 USA US Army Res Lab White Oak MD 20783 USA
We consider the problem of a Parameter Server (PS) that wishes to learn a model that fits data distributed on the nodes of a graph. We focus on Federated Learning (FL) as a canonical application. One of the main chall... 详细信息
来源: 评论
Indexing Structures for the Efficient Multi-Resolution Visualization of Big Graphs
收藏 引用
IEEE ACCESS 2023年 11卷 103585-103600页
作者: Mesiti, Marco Pennacchioni, Mario Perlasca, Paolo Univ Milan Dept Comp Sci Milan Italy
Nowadays there is a great interest in the visualization of property graphs to make their navigation, inspection, and visual analysis easier. However, property graphs can be quite large and their rendering on web brows... 详细信息
来源: 评论