|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7899 occurrences of 3873 keywords
|
|
|
Results
Found 9063 publication records. Showing 9063 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Hao Hao, Wei Ding, Wei Zhang 0049 |
Time-continuous computing offloading algorithm with user fairness guarantee. |
J. Netw. Comput. Appl. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Shuhua Zhang, Jianwen Shu, Xinyu Wang 0014, Zhipeng Zhang |
A Supply Chain System Involving the Interaction of Guarantee Finance With Product Quality and After-Sales Service. |
IEEE Trans. Engineering Management |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Ming Chen 0011, Zhi-Long Chen |
Stop clicking around and book direct: Impact of best rate guarantee on hotel pricing. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Wei Xie, Huilin Yu, Yuanguang Zhong, Yong-Wu Zhou |
Impact of loss aversion on financing mechanism preference under consignment: Direct vs. Guarantee. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Zhiguo Li, Faqi Xie, Han Zhang, Hongwu Zhang |
Signaling quality through price guarantee window for technology-related products. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Luping Luo, Wen He, Hao Hu |
Government subsidy policies for guarantee financing: Risk compensation vs. fee reduction. |
Eur. J. Oper. Res. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Haruto Taka, Takeru Inoue, Eiji Oki |
Twisted and Folded Clos-Network Design Model With Two-Step Blocking Probability Guarantee. |
IEEE Netw. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Shuo Yang, Yanjun Huang, Li Li 0013, Shuo Feng 0002, Xiaoxiang Na, Hong Chen 0003, Amir Khajepour |
How to Guarantee Driving Safety for Autonomous Vehicles in a Real-World Environment: A Perspective on Self-Evolution Mechanisms. |
IEEE Intell. Transp. Syst. Mag. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Yaqiong Peng, Haocheng Peng |
InferFair: Towards QoS-aware scheduling for performance isolation guarantee in heterogeneous model serving systems. |
Future Gener. Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Long Suo, Han Ma, Wanguo Jiao, Xiaoming Liu 0018 |
Job-Deadline-Guarantee-Based Joint Flow Scheduling and Routing Scheme in Data Center Networks. |
Sensors |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Erhao Zhou, Chi-Man Vong, Yusuke Nojima, Shitong Wang 0001 |
Internally and Generatively Decorrelated Ensemble of First-Order Takagi-Sugeno-Kang Fuzzy Regressors With Quintuply Diversity Guarantee. |
IEEE Trans. Fuzzy Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Jiao Jiang, Yaonan Wang 0001, Yiming Jiang 0001, Yun Feng, Hang Zhong, Chenguang Yang |
Robust Image-Based Adaptive Fuzzy Controller for Guarantee Field of View With Uncertain Dynamics. |
IEEE Trans. Fuzzy Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Fu-Shiung Hsieh |
A Self-Adaptive Meta-Heuristic Algorithm Based on Success Rate and Differential Evolution for Improving the Performance of Ridesharing Systems with a Discount Guarantee. |
Algorithms |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel |
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Minjae Cho, Chuangchuang Sun |
Constrained Meta-Reinforcement Learning for Adaptable Safety Guarantee with Differentiable Convex Programming. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Alvaro Velasquez |
Assume-Guarantee Reinforcement Learning. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Bar Alon, Eran Omri, Muthuramakrishnan Venkitasubramaniam |
Can Alice and Bob Guarantee Output to Carol? |
EUROCRYPT (5) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Zeyu Lin, Longkun Guo, Chaoqi Jia |
Streaming Fair k-Center Clustering over Massive Dataset with Performance Guarantee. |
PAKDD (3) |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Sandra Deepthy Siby, Sina Abdollahi, Mohammad Maheri, Marios Kogias, Hamed Haddadi |
GuaranTEE: Towards Attestable and Private ML with CCA. |
EuroMLSys@EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Tetsuya Iye, Ayano Ohnishi, Shunya Okuno, Michio Miyamoto, Takahito Inoshita |
Background Traffic Forecasting using Extreme Learning Machine for Delay Guarantee. |
ICCE |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Jing Dong, Baoxiang Wang 0001, Yaoliang Yu |
Convergence to Nash Equilibrium and No-regret Guarantee in (Markov) Potential Games. |
AISTATS |
2024 |
DBLP BibTeX RDF |
|
12 | Jonathan Colaço Carr, Prakash Panangaden, Doina Precup |
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. |
AISTATS |
2024 |
DBLP BibTeX RDF |
|
12 | Anil Alan, Tamás G. Molnár, Aaron D. Ames, Gábor Orosz |
Parameterized Barrier Functions to Guarantee Safety Under Uncertainty. |
IEEE Control. Syst. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shuang Jin, Wei Wang, Zilong Zhang |
The Real Effects of Implicit Government Guarantee: Evidence from Chinese State-Owned Enterprise Defaults. |
Manag. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Hu Yang 0003, Yu Zhang, Kedong Chen, Ji Li |
The double-edged sword of delivery guarantee in E-commerce. |
Decis. Support Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jiamo Jiang, Kaifeng Han, Ying Du, Guangxu Zhu, Zhiqin Wang, Shuguang Cui |
Optimized Power Control for Over-the-Air Federated Averaging With Data Privacy Guarantee. |
IEEE Trans. Veh. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Husain Godhrawala, R. Sridaran |
Apriori Algorithm Based Approach for Improving QoS and SLA Guarantee in IaaS Clouds Using Pattern-Based Service-Oriented Architecture. |
SN Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Weihua Liu, Xinran Shen, Di Wang, Donglei Zhu |
Service quality guarantee design: obedience behavior, demand updating and information asymmetry. |
Ann. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xintao Xia, Zhanrui Cai |
Adaptive False Discovery Rate Control with Privacy Guarantee. |
J. Mach. Learn. Res. |
2023 |
DBLP BibTeX RDF |
|
12 | Baozhuang Niu, Jianhua Zhang, Zihao Mu |
IoT-enabled delivery time guarantee in logistics outsourcing and efficiency improvement. |
Int. J. Prod. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yu Hong, Yi Li, Haining Tan |
A noninterference trusted dual system security guarantee method based on secure memory. |
Concurr. Comput. Pract. Exp. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Feng He, Zhiyu Wang, Xiaoyan Gu |
Network topology generation based on eigenvector centrality with real-time guarantee. |
Concurr. Comput. Pract. Exp. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kechao Cai, Xutong Liu 0002, Yu-Zhen Janice Chen, John C. S. Lui |
Learning With Guarantee Via Constrained Multi-Armed Bandit: Theory and Network Applications. |
IEEE Trans. Mob. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | I-Fen Chao, Wei-Sheng Hsu |
A MAC Protocol Design for Maximizing End-to-End Throughput and Fairness Guarantee in Chain-Based Multi-Hop Wireless Backhaul Networks. |
IEEE Trans. Mob. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Qihui Lu, Changhua Liao, Tingting Xu |
Financing and coordination of the agricultural supply chain considering government-enterprise guarantee. |
RAIRO Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yeting Huang, Nan Qi, Zanqi Huang, Luliang Jia, Qihui Wu, Rugui Yao, Wen-Jing Wang 0002 |
Connectivity Guarantee Within UAV Cluster: A Graph Coalition Formation Game Approach. |
IEEE Open J. Commun. Soc. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mostafa M. Abdelhakam, Mahmoud M. Elmesalawy, Ibrahim I. Ibrahim, Samir G. Sayed |
Collaborative CoMP and trajectory optimization for energy minimization in multi-UAV-assisted IoT networks with QoS guarantee. |
Comput. Networks |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xiaodong Dong, Binlei Cai |
Balanar: Balancing deadline guarantee and Jain's fairness for inter-datacenter transfers. |
Comput. Networks |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Sung Jin Yoo |
Distributed event-triggered output-feedback synchronized tracking with connectivity-preserving performance guarantee for nonstrict-feedback nonlinear multiagent systems. |
Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Li-e Wang 0001, Yuelan Qi, Yan Bai, Zhigang Sun, Dongcheng Li, Xianxian Li |
MuKGB-CRS: Guarantee privacy and authenticity of cross-domain recommendation via multi-feature knowledge graph integrated blockchain. |
Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Hui Tian 0001 |
Traffic flow privacy protection with performance guarantee for classification in large networks (minor revision of INS_D_21_805R3). |
Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yigong Pan, Ke Tang, Guangzhong Sun |
Theoretical guarantee for crowdsourcing learning with unsure option. |
Pattern Recognit. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xingcai Zhou, Le Chang, Pengfei Xu, Shaogao Lv |
Communication-efficient and Byzantine-robust distributed learning with statistical guarantee. |
Pattern Recognit. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xinyi Luo, Kaiping Xue, Jian Li 0031, Ruidong Li, David S. L. Wei |
Make Rental Reliable: Blockchain-Based Network Slice Management Framework with SLA Guarantee. |
IEEE Commun. Mag. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Florian Turati, Karel Kubicek 0001, Carlos Cotrini, David A. Basin |
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. |
Proc. Priv. Enhancing Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ahmed Roushdy Elkordy, Jiang Zhang, Yahya H. Ezzeldin, Konstantinos Psounis, Salman Avestimehr |
How Much Privacy Does Federated Learning with Secure Aggregation Guarantee? |
Proc. Priv. Enhancing Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Keonwoo Lee, Jaejun Cha, Seung Kyu Park |
Disturbance Observer-Based Control to Guarantee a Sliding Mode Without Sliding Mode Control. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Pavel Osinenko, Grigory Yaremenko, Georgiy Malaniya, Anton Bolychev |
An Actor-Critic Framework for Online Control With Environment Stability Guarantee. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhaohui Wei, Qingqi Pei, Ning Zhang 0007, Xuefeng Liu 0002, Celimuge Wu, Amirhosein Taherkordi |
Lightweight Federated Learning for Large-Scale IoT Devices With Privacy Guarantee. |
IEEE Internet Things J. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Hong Zhang 0012, Hui Wang, Zhidu Li, Dapeng Wu 0002, Ruyan Wang, Yu Hu |
Latency Guarantee for Task Computation in Wireless-Powered Cloud Radio Access Networks. |
IEEE Internet Things J. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ailing Zhong, Zhidu Li, Dapeng Wu 0002, Tong Tang, Ruyan Wang |
Stochastic Peak Age of Information Guarantee for Cooperative Sensing in Internet of Everything. |
IEEE Internet Things J. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Syed Atif Moqurrab, Adeel Anjum, Noshina Tariq, Gautam Srivastava 0001 |
Instant_Anonymity: A Lightweight Semantic Privacy Guarantee for 5G-Enabled IIoT. |
IEEE Trans. Ind. Informatics |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Feihong Liu, Junwei Yang, Mingyue Feng, Zhiming Cui, Xiaowei He, Luping Zhou, Jun Feng 0003, Dinggang Shen |
Does perfect filtering really guarantee perfect phase correction for diffusion MRI data? |
Comput. Medical Imaging Graph. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ligang Shi, Tao Pang, Hongjun Peng |
Optimal strategies of contract-farming supply chain under the cooperative mode of bank-insurance: loan guarantee insurance versus yield insurance. |
Int. Trans. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xiaodong Dong |
LINA: A Fair Link-Grained Inter-Datacenter Traffic Scheduling Method With Deadline Guarantee. |
IEEE Trans. Cogn. Commun. Netw. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yihong Yang, Xuan Yang, Mohsen Heidari, Mohammad Ayoub Khan, Gautam Srivastava 0001, Mohammad Reza Khosravi, Lianyong Qi |
ASTREAM: Data-Stream-Driven Scalable Anomaly Detection With Accuracy Guarantee in IIoT Environment. |
IEEE Trans. Netw. Sci. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yuda Chen, Chenghan Wang, Meng Guo 0002, Zhongkui Li |
Multi-Robot Trajectory Planning With Feasibility Guarantee and Deadlock Resolution: An Obstacle-Dense Environment. |
IEEE Robotics Autom. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kai Liu 0001, Chunhui Liu, Guozhi Yan, Victor C. S. Lee, Jiannong Cao 0001 |
Accelerating DNN Inference With Reliability Guarantee in Vehicular Edge Computing. |
IEEE/ACM Trans. Netw. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jinheng Han, Junzhi Zhang, Chengkun He, Chen Lv, Chao Li 0036, Yuan Ji, Xiaohui Hou |
Prescribed-Time Performance Recovery Fault Tolerant Control of Platoon With Nominal Constraints Guarantee. |
IEEE Trans. Intell. Transp. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Brayan M. Shali, Arjan van der Schaft, Bart Besselink |
Composition of Behavioural Assume-Guarantee Contracts. |
IEEE Trans. Autom. Control. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhongjie Zhang, Jian Huang 0010 |
Fast Frequent Patterns Mining by Multiple Sampling With Tight Guarantee Under Bayesian Statistics. |
IEEE Trans. Cybern. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xinghui Zhu, Zijie Di, Qingsong Yao, Xuewen Dong, Jiandong Wang, Yulong Shen |
Performance-Power Tradeoff in Heterogeneous SaaS Clouds With Trustworthiness Guarantee. |
IEEE Trans. Computers |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Songlin He, Yuan Lu 0001, Qiang Tang 0005, Guiling Wang 0001, Chase Qishi Wu |
Blockchain-Based P2P Content Delivery With Monetary Incentivization and Fairness Guarantee. |
IEEE Trans. Parallel Distributed Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Baoshun Shi, Yuxin Wang, Dan Li |
Provable General Bounded Denoisers for Snapshot Compressive Imaging With Convergence Guarantee. |
IEEE Trans. Computational Imaging |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Hao Hao, Changqiao Xu, Wei Zhang 0049, Shujie Yang, Gabriel-Miro Muntean |
Computing Offloading With Fairness Guarantee: A Deep Reinforcement Learning Method. |
IEEE Trans. Circuits Syst. Video Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ying Huang, Hu Guan, Jie Liu 0028, Shuwu Zhang, Baoning Niu, Guixuan Zhang |
Robust Texture-Aware Local Adaptive Image Watermarking With Perceptual Guarantee. |
IEEE Trans. Circuits Syst. Video Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Juntao Pan, Anh-Tu Nguyen, Weilong Lai, Xiaoyuan Zhu, Hailong Huang |
Joint Estimation of Nonlinear Dynamics and Resistance Torque for Integrated Motor-Transmission Systems via Switched ℓ∞ Observers With Smoothness Guarantee. |
IEEE Trans. Syst. Man Cybern. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wenyou Liu, Yunjun Bai, Li Jiao, Naijun Zhan |
Safety guarantee for time-delay systems with disturbances. |
Sci. China Inf. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Fuzan Chen, Aijun Lu, Harris Wu, Minqiang Li, Haiyang Feng |
Competing on price and guarantee compensation: Heeding cloud consumer's quality perception. |
Inf. Manag. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Han Wang, Hui Li 0022, Qiongwei Ye, Ping Lu 0008, Yong Yang, Peter Han Joo Chong, Xiaoli Chu, Qi Lv, Abla Smahi |
A physical topology for optimizing partition tolerance in consortium blockchains to reach CAP guarantee bound. |
Trans. Emerg. Telecommun. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel |
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Hongpeng Cao, Yanbing Mao, Lui Sha, Marco Caccamo |
Physical Deep Reinforcement Learning Towards Safety Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Kaicheng Niu, Chaouki T. Abdallah, Mohammad Hayajneh 0001 |
Consensus controller with safety guarantee: an application to the kinematic bicycle model. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zongyuan Tan, Hongya Wang, Bo Xu 0023, Minjie Luo, Ming Du |
Fast Locality Sensitive Hashing with Theoretical Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi 0001, Alvaro Velasquez |
Assume-Guarantee Reinforcement Learning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ruochen Zhao, Xingxuan Li, Yew Ken Chia, Bosheng Ding, Lidong Bing |
Can ChatGPT-like Generative Models Guarantee Factual Accuracy? On the Mistakes of New Generation Search Engines. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yongwang Zhao, David Sanán |
Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Wenbin Zhang 0002, Juyong Kim 0002, Zichong Wang, Pradeep Ravikumar, Jeremy C. Weiss |
Individual Fairness Guarantee in Learning with Censorship. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhongshu Hou, Qinwen Hu, Kai Chen, Jing Lu |
Attention does not guarantee best performance in speech enhancement. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Farzaneh Pourahmadi, Jalal Kazempour |
Unit Commitment Predictor With a Performance Guarantee: A Support Vector Machine Classifier. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Mo Zhou, Jianfeng Lu 0001 |
A Policy Gradient Framework for Stochastic Optimal Control Problems with Global Convergence Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xintao Xia, Zhanrui Cai |
Adaptive False Discovery Rate Control with Privacy Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Xuemin Chi, Jun Zeng, Jihao Huang, Zhitao Liu, Hongye Su |
Fast Path Planning for Autonomous Vehicle Parking with Safety-Guarantee using Hamilton-Jacobi Reachability. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Huiyu Wu, Diego Klabjan |
Robust softmax aggregation on blockchain based federated learning with convergence guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Ngoc N. Tran, Lam Tran, Hoang Phan, Anh Tuan Bui, Tung Pham, Toan Tran 0003, Dinh Q. Phung, Trung Le |
Robust Contrastive Learning With Theory Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli |
Some Algebraic Aspects of Assume-Guarantee Reasoning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yongwang Zhao, David Sanán |
Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Shuai Wang 0033, Yanqing Xu, Yanyi Yuan, Tony Q. S. Quek |
Towards Fast Personalized Semi-Supervised Federated Learning in Edge Networks: Algorithm Design and Theoretical Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jonathan Colaço Carr, Prakash Panangaden, Doina Precup |
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Meiying Zhang, Huan Zhao, Sheldon C. Ebron Jr., Ruitao Xie, Kan Yang 0001 |
Multi-Criteria Client Selection and Scheduling with Fairness Guarantee for Federated Learning Service. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Chenhan Xiao, Yizheng Liao, Yang Weng |
Distribution Grid Line Outage Identification with Unknown Pattern and Performance Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Cliff B. Jones, Alan Burns 0001 |
Extending Rely-Guarantee thinking to handle Real-Time Scheduling. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Nisansala P. Yatapanage |
Rely/Guarantee, Refinement and the ABA Problem: Part 1. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Insung Kong, Dongyoon Yang, Jongjin Lee, Ilsang Ohn, Gyuseung Baek, Yongdai Kim |
Masked Bayesian Neural Networks : Theoretical Guarantee and its Posterior Inference. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski |
Towards Assume-Guarantee Verification of Strategic Ability. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Minjae Cho, Chuangchuang Sun |
Constrained Meta-Reinforcement Learning for Adaptable Safety Guarantee with Differentiable Convex Programming. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Jian-Feng Cai 0001, Jae Kyu Choi, Jingyang Li |
Restoration Guarantee of Image Inpainting via Low Rank Patch Matrix Completion. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Zhao Song 0002, Mingquan Ye, Junze Yin, Lichen Zhang 0003 |
A Nearly-Optimal Bound for Fast Regression with ∞ Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski |
Assume-Guarantee Verification of Strategic Ability. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Yu Zhang, Long Cheng 0001, Xiuze Xia, Haoyu Zhang |
Learning Variable Impedance Skills from Demonstrations with Passivity Guarantee. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 9063 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|