Results 111 to 120 of about 167,912,551 (295)
Logical form and natural language [PDF]
Philosophical Studies, 1975 Peer Reviewed ; http://deepblue.lib.umich.edu/bitstream/2027.42/43381/1/11098_2004_Article_BF00372902 ...
openaire +2 more sources
Relationships of Word-Formation and Logical Semiotics
Studia Semiotyczne, 2020 Logic developed a theory of names to which Polish logicians of the LvovWarsaw School eminently contributed. However, logicians do not delve into the structure of names of certain type, and treat them as inseparable lexical units.
doaj
MSER Based Text Localization for Multi-language Using Double-Threshold Scheme
EAI Endorsed Transactions on e-Learning, 2015 In this paper, a region-based text localization that is robust for multiple languages is presented. Maximally Stable Extremal Regions (MSERs) are used for detecting candidates of text areas.
Chayut Wiwatcharakoses, Karn Patanukhom
doaj +1 more source
Flexible Sensors for Robotics Tactile Perception: A Review
Advanced Robotics Research, EarlyView.Flexible tactile sensing for robotics is reviewed through four interconnected dimensions. Physical mechanisms include piezoresistive, capacitive, piezoelectric, triboelectric, iontronic, and optical sensing. Structural design includes bioinspired, defect‐based, and MEMS‐based tactile systems.
Yu Song, Ying Chen, Yihao Chen, Xue Feng
wiley +1 more source
SOLVING MATH WORD PROBLEMS IN THE ERA OF DEEP LEARNING AND LARGE LANGUAGE MODELS: A COMPREHENSIVE SURVEY [PDF]
International Journal of Intelligent Computing and Information SciencesSolving Math Word Problems (MWPs) demands the mixed integration of natural language comprehension and mathematical reasoning. This paper conducts a comprehensive study of MWP solvers evolution, tracing their development from Traditional Approaches ...
marwa salim +3 more
doaj +1 more source
Toward Mechanical Intelligence in Robotics
Advanced Robotics Research, EarlyView.Robots can use their physical bodies to perform functions usually assigned to electronic sensors and controllers. This perspective defines mechanical intelligence through three core operations: filtering inputs, routing mechanical signals, and switching between states.
Xinyi Yang +5 more
wiley +1 more source
Automating natural deduction for temporal logic [PDF]
, 2007 We present our recent work on the construction of natural deduction calculi for temporal logic. We analyse propositional linear-time temporal logic (PLTL) and Computation Tree Logic (CTL) and corresponding proof searching algorithms.
Bolotov, A., Grigoriev, O., Shangin, V.
core
An Integrated NLP‐ML Framework for Property Prediction and Design of Steels
Advanced Science, EarlyView.This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju +5 more
wiley +1 more source
Natural deduction calculus for computation tree logic [PDF]
, 2006 We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic.
Bolotov, A. +5 more
core +1 more source
Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution
Advanced Science, EarlyView.Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley +1 more source