Results 31 to 40 of about 16,696,427 (330)
Gradual program verification [PDF]
, 2017 Both static and dynamic program verification approaches have significant disadvantages when considered in isolation. Inspired by research on gradual typing, we propose gradual verification to seamlessly and flexibly combine static and dynamic ...
Jonathan Aldrich +5 more
core +1 more source
Extracting frequent gradual patterns based on SAT
, 2023 International audienceThis paper proposes a constraint-based modeling approach for mining frequent gradual patterns from numerical data. Our declarative approach provides a principle way to take advantage of recent advancements in satisfiability testing ...
Dlala, Imen +5 more
core +1 more source
A Novel Approach for Fault Detection in Integrated Navigation Systems
IEEE Access, 2020 Detecting subsystem faults quickly is critical to the accuracy and reliability of integrated navigation systems. This paper, therefore, proposes an effective approach based on the novel test statistic to detect faults.
Yixian Zhu, Ling Zhou
doaj +1 more source
The Fragmented Evolution of Racial Integration since the Civil Rights Movement
Sociological Science, 2016 We argue that existing studies underestimate the degree to which racial change leads to residential segregation in post-Civil Rights American neighborhoods. This is because previous studies only measure the presence of racial groups in neighborhoods, not
Michael D.M. Bader, Siri Warkentien
doaj +1 more source
Computational Linguistics, 2023 The evolution of the vocabulary of a language is characterized by two different random processes: abrupt lexical replacements, when a complete new word emerges to represent a given concept (which was at the basis of the Swadesh foundation of ...
Michele Pasquini +2 more
doaj +1 more source
Une structuration graduelle et bipolaire de la catégorie du nom propre
Corela, 2023 Because of the direct and conventional link between the signifier and the referent that characterises the proper name category, it is free from visible linguistic constraints that allow its delimitation.
Montserrat Rangel Vicente
doaj +1 more source
Frontiers in Plant Science, 2021 Plants have evolved several adaptive mechanisms to cope with water-limited conditions. While most of them are through constitutive traits, certain “acquired tolerance” traits also provide significant improvement in drought adaptation.
V. S. Lekshmy +7 more
doaj +1 more source
DNN-driven Gradual Machine Learning for Aspect-term Sentiment Analysis
Findings, 2021 Recent work has shown that Aspect-Term Sentiment Analysis (ATSA) can be performed by Gradual Machine Learning (GML), which begins with some automatically labeled easy instances, and then gradually labels more challenging instances by iterative factor ...
Murtadha H. M. Ahmed +5 more
semanticscholar +1 more source
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code
CADE, 2002 Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy includes proof rules which determine how various actions are to be proved safe.
Robert R. Schneck, G. Necula
semanticscholar +1 more source
Population momentum for gradual demographic transitions: an alternative approach [PDF]
Demography, 2002 Abstract In this article, I derive a simple formula for approximating the ultimate size of a population that undergoes a gradual transition to replacement fertility. I model the fertility transition by specifying a linear frontier on the Lexis surface across which a change in fertility is instantaneous.
openaire +2 more sources