Results 291 to 300 of about 238,902 (349)
Some of the next articles are maybe not open access.
Are LLMs Ready for Practical Adoption for Assertion Generation?
Design, Automation and Test in EuropeAssertions have been the de facto collateral for simulation-based and formal verification of hardware designs for over a decade. The quality of hardware verification, i.e., detection and diagnosis of corner-case design bugs, is critically dependent on ...
Vaishnavi Pulavarthi +3 more
semanticscholar +1 more source
Experimental work on the norms of assertion
Philosophy Compass, 2017 Communication is essential to human society, and assertion is central to communication. This article reviews evidence from life science, cognitive science, and philosophy relevant to understanding how our social practice of assertion is structured and ...
John Turri
exaly +2 more sources
Journal of Philosophical Logic, 2009
This short paper argues against typical deflationary accounts of truth, in terms of which the meaning of `true' is given by its acceptance conditions, by bringing out well-known weaknesses of that account. It suggests that a theory that gives the meaning of `true' in terms of assertability conditions, which allow for degrees of acceptance, like ...
openaire +1 more source
This short paper argues against typical deflationary accounts of truth, in terms of which the meaning of `true' is given by its acceptance conditions, by bringing out well-known weaknesses of that account. It suggests that a theory that gives the meaning of `true' in terms of assertability conditions, which allow for degrees of acceptance, like ...
openaire +1 more source
Assertion Detection in Clinical Natural Language Processing using Large Language Models
IEEE International Conference on Healthcare InformaticsIn this study, we aim to address the task of assertion detection when extracting medical concepts from clinical notes, a key process in clinical natural language processing (NLP). Assertion detection in clinical NLP usually involves identifying assertion
Yuelyu Ji, Zeshui Yu, Yanshan Wang
semanticscholar +1 more source
AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation
North American Chapter of the Association for Computational LinguisticsAssertions have been the de facto collateral for simulation-based and formal verification of hardware designs for over a decade. The quality of hardware verification, \ie, detection and diagnosis of corner-case design bugs, is critically dependent on the
Vaishnavi Pulavarthi +3 more
semanticscholar +1 more source
The Oxford Handbook of Assertion, 2019
Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but they pay far less attention to what hedging does at the level of ...
Matthew A. Benton, Peter van Elswyk
semanticscholar +1 more source
Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but they pay far less attention to what hedging does at the level of ...
Matthew A. Benton, Peter van Elswyk
semanticscholar +1 more source
Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis
Design, Automation and Test in Europe, 2019We present an approach to generate assertions from natural language specifications by performing semantic analysis of sentences in the specification document.
Junchen Zhao, I. Harris
semanticscholar +1 more source
The Oxford Handbook of Assertion, 2020
It is disputed what norm, if any, governs assertion. We address this question by looking at assertions of future contingents: statements about the future that are neither metaphysically necessary nor metaphysically impossible.
C. Besson, Anandi Hattiangadi
semanticscholar +1 more source
It is disputed what norm, if any, governs assertion. We address this question by looking at assertions of future contingents: statements about the future that are neither metaphysically necessary nor metaphysically impossible.
C. Besson, Anandi Hattiangadi
semanticscholar +1 more source
On the distribution of an assertion
Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '82, 1982Given an n-nodes network and an assertion G expressing its correctness, it is shown that G can be decomposed into collection of n local assertions and n.(n-1) “communication” assertions. The special case of a 2-nodes network is first examined, and it is shown how the notion of Galois connections in lattice theory is a basic tool for the assertion ...
Osvaldo Carvalho, Gérard Roucairol
openaire +1 more source
Knowledge and assertion in “Gettier” cases
Philosophical Psychology, 2016 John Turri
exaly +2 more sources