Zobrazeno 1 - 10
of 520 609
pro vyhledávání: '"Spécification"'
Autor:
Howard Haughton, Kevin Lano
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to
Autor:
Oda, Tomohiro, Chang, Han-Myung
The executable specification is one of the powerful tools in lightweight formal software development. VDM-SL allows the explicit and executable definition of operations that reference and update internal state through imperative statements. While the
Externí odkaz:
http://arxiv.org/abs/2410.03180
Automatic synthesis of analog circuits presents significant challenges. Existing methods usually treat the task as optimization problems, which limits their transferability and reusability for new requirements. To address this limitation, we introduc
Externí odkaz:
http://arxiv.org/abs/2410.00995
Autor:
Xu, Duo, Fekri, Faramarz
In this work, we study the problem of learning generalizable policies for compositional tasks given by a logic specification. These tasks are composed by temporally extended subgoals. Due to dependencies of subgoals and long task horizon, previous re
Externí odkaz:
http://arxiv.org/abs/2410.09686
Autor:
Li, Jianxiong, Wang, Zhihao, Zheng, Jinliang, Zhou, Xiaoai, Wang, Guanming, Song, Guanglu, Liu, Yu, Liu, Jingjing, Zhang, Ya-Qin, Yu, Junzhi, Zhan, Xianyuan
Multimodal task specification is essential for enhanced robotic performance, where \textit{Cross-modality Alignment} enables the robot to holistically understand complex task instructions. Directly annotating multimodal instructions for model trainin
Externí odkaz:
http://arxiv.org/abs/2410.01529
We prove that the specification property implies infinite topological entropy for operators acting on infinite dimensional $F$-spaces. Furthermore, we establish compact operators acting on Banach spaces exhibit finite entropy and the entropy depends
Externí odkaz:
http://arxiv.org/abs/2409.10844
Despite the success of Instruction Tuning (IT) in training large language models (LLMs) to perform arbitrary user-specified tasks, these models often still leverage spurious or biased features learned from their training data, leading to undesired be
Externí odkaz:
http://arxiv.org/abs/2410.22944
Autor:
Kantaros, Yiannis, Wang, Jun
This paper addresses the problem of learning optimal control policies for systems with uncertain dynamics and high-level control objectives specified as Linear Temporal Logic (LTL) formulas. Uncertainty is considered in the workspace structure and th
Externí odkaz:
http://arxiv.org/abs/2410.12136
Publikováno v:
Pages: 21-25, Proc. 4th Symposium on Security and Privacy in Speech Communication (SPSC) at Interspeech 2024
Speech recordings are being more frequently used to detect and monitor disease, leading to privacy concerns. Beyond cryptography, protection of speech can be addressed by approaches, such as perturbation, disentanglement, and re-synthesis, that elimi
Externí odkaz:
http://arxiv.org/abs/2409.16106
Autor:
Chen, Weishi, Mozgunov, Pavel
Recent years have seen increased interest in combining drug agents and/or schedules. Several methods for Phase I combination-escalation trials are proposed, among which, the partial ordering continual reassessment method (POCRM) gained great attentio
Externí odkaz:
http://arxiv.org/abs/2409.10352