Results 21 to 30 of about 629,043 (341)
Inductive Wireless Power Transfer Charging for Electric Vehicles–A Review
IEEE Access, 2021 Considering a future scenario in which a driverless Electric Vehicle (EV) needs an automatic charging system without human intervention. In this regard, there is a requirement for a fully automatable, fast, safe, cost-effective, and reliable charging ...
Aganti Mahesh +2 more
semanticscholar +1 more source
Triadic Automata and Machines as Information Transformers
Information, 2020 Algorithms and abstract automata (abstract machines) are used to describe, model, explore and improve computers, cell phones, computer networks, such as the Internet, and processes in them.
Mark Burgin
doaj +1 more source
Cumhuriyet İlahiyat Dergisi, 2022 Bu çalışmada tümevarım ve tümdengelim metotları hakkında bilgiler ile bu metotlar arasındaki farklar verilmiştir. Daha sonra Türkiye’de dilbilgisi öğretiminin metot açısından değerlendirilmesi yapılmıştır.
Mesut Köksoy
doaj +1 more source
Every Document Owns Its Structure: Inductive Text Classification via Graph Neural Networks [PDF]
Annual Meeting of the Association for Computational Linguistics, 2020 Text classification is fundamental in natural language processing (NLP) and Graph Neural Networks (GNN) are recently applied in this task. However, the existing graph-based works can neither capture the contextual word relationships within each document ...
Yufeng Zhang +5 more
semanticscholar +1 more source
Joint Inductive and Transductive Learning for Video Object Segmentation [PDF]
IEEE International Conference on Computer Vision, 2021 Semi-supervised video object segmentation is a task of segmenting the target object in a video sequence given only a mask annotation in the first frame. The limited information available makes it an extremely challenging task.
Yunyao Mao +3 more
semanticscholar +1 more source
Quotients, inductive types, and quotient inductive types [PDF]
Logical Methods in Computer Science, 2022 This paper introduces an expressive class of indexed quotient-inductive types, called QWI types, within the framework of constructive type theory. They are initial algebras for indexed families of equational theories with possibly infinitary operators ...
Marcelo P. Fiore +2 more
doaj +1 more source
Inductive-Inductive Definitions [PDF]
, 2010 We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively.
Fredrik Nordvall Forsberg, Anton Setzer
openaire +4 more sources
Be More with Less: Hypergraph Attention Networks for Inductive Text Classification [PDF]
Conference on Empirical Methods in Natural Language Processing, 2020 Text classification is a critical research topic with broad applications in natural language processing. Recently, graph neural networks (GNNs) have received increasing attention in the research community and demonstrated their promising results on this ...
Kaize Ding +4 more
semanticscholar +1 more source
Quotient Inductive-Inductive Types [PDF]
, 2018 Higher inductive types (HITs) in Homotopy Type Theory (HoTT) allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types and allow to define types which are not sets in the sense of HoTT (i.e.
Thorsten Altenkirch +4 more
openaire +5 more sources
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021 We present a system for inductive program synthesis called DreamCoder, which inputs a corpus of synthesis problems each specified by one or a few examples, and automatically derives a library of program components and a neural search policy that can be ...
Kevin Ellis +8 more
semanticscholar +1 more source