Results 51 to 60 of about 86,056 (174)
The Dichotomy of Conjunctive Queries on Probabilistic Structures
, 2007 We show that for every conjunctive query, the complexity of evaluating it on a probabilistic database is either \PTIME or #\P-complete, and we give an algorithm for deciding whether a given conjunctive query is \PTIME or #\P-complete.
Dalvi, Nilesh, Suciu, Dan
core +4 more sources
Надежность и качество сложных системBackground. In radio engineering systems for various purposes, microwave antennas with a radiation pattern of a sector type are used to solve problems at maximum ranges in a wide range of angles.
A.N. Yakimov
doaj +1 more source
Frontiers in Neuroscience, 2018 Regular use of prostheses is critical for individuals with lower limb amputations to achieve everyday mobility, maintain physical and physiological health, and achieve a better quality of life.
Chandrasekaran Jayaraman +13 more
doaj +1 more source
Veiksmažodžio gramatinės kategorijos ir baltų kalbos
Baltistica, 2011 VERBAL GRAMMATICAL CATEGORIES AND THE BALTIC LANGUAGESL. PALMAITISSummaryThe article deals with the definition and hierarchy of the verbal categories in Baltic which are the following seven: 1.
Letas Palmaitis
doaj +1 more source
A Type-coherent, Expressive Representation as an Initial Step to Language Understanding
, 2019 A growing interest in tasks involving language understanding by the NLP community has led to the need for effective semantic parsing and inference. Modern NLP systems use semantic representations that do not quite fulfill the nuanced needs for language ...
Kim, Gene Louis, Schubert, Lenhart
core +1 more source
Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter [PDF]
, 2021 Mikhail Rybakov, Dmitry Shkatov
openalex +1 more source
Computational Complexity of Theories of a Binary Predicate with a Small Number of Variables [PDF]
, 2022 Mikhail Rybakov
openalex +1 more source
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
, 2021 Mikhail Rybakov, Dmitry Shkatov
openalex +2 more sources