Results 11 to 20 of about 444,050 (330)
International Journal of Production Economics, 2015 Today, firms can access to big data (tweets, videos, click streams, and other unstructured sources) to extract new ideas or understanding about their products, customers, and markets.
Yuanzhu Zhan, Fei Ye
exaly +2 more sources
Contradiction separation based dynamic multi-clause synergized automated deduction
Information Sciences, 2018 Resolution as a famous rule of inference has played a key role in automated reasoning for over five decades. A number of variants and refinements of resolution have been also studied, essentially, they are all based on binary resolution, that is, the ...
Jun Liu, Shuwei Chen, He Xingxing
exaly +2 more sources
Vision, Deduction and Alignment: An Empirical Study on Multi-Modal Knowledge Graph Alignment [PDF]
IEEE International Conference on Acoustics, Speech, and Signal Processing, 2023 Entity alignment (EA) for knowledge graphs (KGs) plays a critical role in knowledge engineering. Existing EA methods mostly focus on utilizing the graph structures and entity attributes (including literals), but ignore images that are common in modern ...
Y. Li +5 more
semanticscholar +1 more source
Werewolf Among Us: Multimodal Resources for Modeling Persuasion Behaviors in Social Deduction Games
Annual Meeting of the Association for Computational Linguistics, 2023 Persuasion modeling is a key building block for conversational agents. Existing works in this direction are limited to analyzing textual dialogue corpora.
Bolin Lai +8 more
semanticscholar +1 more source
SOUR graphs for efficient completion [PDF]
Discrete Mathematics & Theoretical Computer Science, 1998 We introduce a data structure called \emphSOUR graphs and present an efficient Knuth-Bendix completion procedure based on it. \emphSOUR graphs allow for a maximal structure sharing of terms in rewriting systems.
Christopher Lynch, Polina Strogova
doaj +1 more source
Kants Freiheitsargument. Diskussion von Heiko Puls: Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt. Berlin und Boston: De Gruyter, 2016. 318 S. [PDF]
Кантовский сборник, 2018 Heiko Puls’ work Sittliches Bewusstsein und Kategorischer Imperativ in Kants Grundlegung: Ein Kommentar zum dritten Abschnitt, presents an attempt to show that, in the Groundwork of the Metaphysics of Morals, Kant’s argumentation for the objective value ...
Porcheddu, Rocco
doaj +1 more source
Agronomy, 2021 The objective of this study was to examine peanut (Arachis hypogaea L.) kernel percent sound splits as a function of sound mature kernel seed size when shelled on a reciprocating sheller. Data were compiled from a total of 139 field experiments conducted
Daniel J. Anco +3 more
doaj +1 more source
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS [PDF]
The Review of Symbolic Logic, 2016 AbstractA skeleton of the category with finite coproducts${\cal D}$ freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products ${\cal C}$ freely generated by a countable set of objects. As a consequence, we obtain that ${\cal D}$ has a subcategory equivalent with ${\cal C}$.
Došen, Kosta, Petrić, Zoran
openaire +3 more sources
Deduction of Optimal Control Strategies for a Sector-Coupled District Energy System
Energies, 2021 We present a method to turn the results of model-based optimisations into resilient and comprehensible control strategies. Our approach is to define priority lists for all available technologies in a district energy system.
Adrian Grimm +6 more
doaj +1 more source
“Tax Simplification”—Grave Threat to the Charitable Contribution Deduction: The Problem and a Proposed Solution [PDF]
, 1967 The present National Administration has continued to support proposed legislative changes aimed at substantially reducing the number of income tax returns in which deductions are itemized. The author contends that these tax simplification proposals are
Weithorn, Stanley S.
core +3 more sources