Results 121 to 130 of about 100,437 (202)

Automatic discovery and description of human planning strategies. [PDF]

Behav Res Methods
Skirzyński J, Jain YR, Lieder F.
europepmc   +1 more source

Knowledge-Based Expert System for Orthopedic Injury Management With Integrated Transcutaneous Electrical Nerve Simulation Therapy. [PDF]

Int J Telemed Appl
Banjar H, Almalki S, Almehmadi L, Alshahrani A, Chaudhary A, Ghoname R.   +5 more
europepmc   +1 more source

The Geometry and Dynamics of Meaning. [PDF]

Top Cogn Sci
Gärdenfors P.
europepmc   +1 more source

Semantic representation and comparative analysis of physical activity sensor observations using MOX2-5 sensor in real and synthetic datasets: a proof-of-concept-study. [PDF]

Sci Rep
Chatterjee A, Gerdes MW, Prinz A, Riegler MA, Martinez SG.   +4 more
europepmc   +1 more source

Modelling of Musical Perception using Spectral Knowledge Representation. [PDF]

J Cogn
Homer ST, Harley N, Wiggins GA.
europepmc   +1 more source

Toward the automatic generation of mathematical morphology procedures using predicate logic

[1990] Proceedings Third International Conference on Computer Vision, 2002
A discussion is presented of the design of a system that can input a vision task specification and use its knowledge of the operations of mathematical morphology to automatically construct a procedure that can execute the task. To do this, the authors develop a predicate calculus representation to describe the essence of the states of all the images ...
H. J. Joo, R.M. Haralick, Linda G. Shapiro   +2 more
semanticscholar   +4 more sources

Hao Wang. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321.

Journal of Symbolic Logic, 1963
Steven Orey
semanticscholar   +4 more sources

Wang Hao. Many-sorted predicate calculi. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 322–333.

Journal of Symbolic Logic, 1963
Steven Orey
semanticscholar   +4 more sources