Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]
, 2014 This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core
Formal Verification of Security Protocol Implementations: A Survey [PDF]
, 2014 Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages.
A Bauer +27 more
core +2 more sources
We went to look for meaning and all we got were these lousy\n representations: aspects of meaning representation for computational\n semantics [PDF]
, 2021 Simon Dobnik +7 more
openalex +1 more source
Privacy-Preserved Approximate Classification Based on Homomorphic Encryption
Mathematical and Computational Applications, 2019 Privacy is a crucial issue for outsourcing computation, which means that clients utilize cloud infrastructure to perform online prediction without disclosing sensitive information.
Xiaodong Xiao +3 more
doaj +1 more source
LssDet: A Lightweight Deep Learning Detector for SAR Ship Detection in High-Resolution SAR Images
Remote Sensing, 2022 Synthetic aperture radar (SAR) ship detection has been the focus of many previous studies. Traditional SAR ship detectors face challenges in complex environments due to the limitations of manual feature extraction.
Guoxu Yan +4 more
doaj +1 more source
A Neotropical Miocene Pollen Database Employing Image-Based Search and Semantic Modeling
Applications in Plant Sciences, 2014 Premise of the study: Digital microscopic pollen images are being generated with increasing speed and volume, producing opportunities to develop new computational methods that increase the consistency and efficiency of pollen analysis and provide the ...
Jing Ginger Han +5 more
doaj +1 more source
An Ontology for Grounding Vague Geographic Terms [PDF]
, 2008 Many geographic terms, such as “river” and “lake”, are vague, with no clear boundaries of application. In particular, the spatial extent of such features is often vaguely carved out of a continuously varying observable domain.
Bennett, B., Mallenby, D., Third, A.
core +1 more source
A Computational Theory for Life-Long Learning of Semantics [PDF]
, 2022 Peter Sutor +2 more
openalex +1 more source
Multifidelity Comparison of Supersonic Wave Drag Prediction Methods Using Axisymmetric Bodies
AerospaceLow-fidelity analytic and computational wave drag prediction methods assume linear aerodynamics and small perturbations to the flow. Hence, these methods are typically accurate for only very slender geometries.
Troy Abraham +2 more
doaj +1 more source
Mathematical and Computational Applications, 2019 The simulation of complex engineering structures built from magneto-rheological elastomers is a computationally challenging task. Using the FE 2 method, which is based on computational homogenisation, leads to the repetitive solution of micro ...
Benjamin Brands +3 more
doaj +1 more source