Results 171 to 180 of about 7,654,457 (236)
Some of the next articles are maybe not open access.
Complexity in Predicative Arithmetic
2005Complexity classes between Grzegorczyk's E2 and E3 are characterized in terms of provable recursion in a theory EA(I;O) formalising basic principles of Nelson's Predicative Arithmetic. Extensions by inductive definitions enable full arithmetic PA and higher systems to be recaptured in a setting where the natural bounding functions are “slow” rather ...
Geoffrey E. Ostrin, Stan S. Wainer
openaire +1 more source
Simplifying Design and Analysis of Complex Predicate Encryption Schemes
International Conference on the Theory and Application of Cryptographic Techniques, 2017Shashank Agrawal, Melissa Chase
semanticscholar +1 more source
2019
We define a formal language for sortals with a lambda operator. By means of this language, a formal representation of the logical structure of complex sortal concepts and complex sortal predicates is possible. A formal semantics for the language is also defined together with a formal system. The system is proved to be complete and sound with respect to
openaire +1 more source
We define a formal language for sortals with a lambda operator. By means of this language, a formal representation of the logical structure of complex sortal concepts and complex sortal predicates is possible. A formal semantics for the language is also defined together with a formal system. The system is proved to be complete and sound with respect to
openaire +1 more source
A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge
International Conference on Artificial Neural Networks, 2012Gadi Pinkas, P. Lima, Shimon Cohen
semanticscholar +1 more source
1994
This chapter will discuss translation problems that have “translation in context” as a common denominator. The expressions under consideration consist of more than one word. Translation of these words separately yields wrong results. Expressions that fit this denominator are idioms, translation idioms, complex predicates and collocations.
openaire +1 more source
This chapter will discuss translation problems that have “translation in context” as a common denominator. The expressions under consideration consist of more than one word. Translation of these words separately yields wrong results. Expressions that fit this denominator are idioms, translation idioms, complex predicates and collocations.
openaire +1 more source
Complex Predicate Formation via Voice Incorporation
, 2016S. Wurmbrand
semanticscholar +1 more source
Complex Predicate Constructions in Uzbek Language
, 2015A. Akbarov, Lola Türker
semanticscholar +1 more source
Predicate Correlation Learning for Scene Graph Generation
IEEE Transactions on Image Processing, 2022Tao Leitian, Li Mi, Nannan Li
exaly