Results 71 to 80 of about 74,003 (318)

Automatic TV Broadcast Structuring

International Journal of Digital Multimedia Broadcasting, 2010
TV broadcast structuring is needed to precisely extract long useful programs. These can be either archived as part of our audio-visual heritage or used to build added-value novel TV services like TVoD or Catch-up-TV.
Gaël Manson, Sid-Ahmed Berrani
doaj   +1 more source

MeSH Now: automatic MeSH indexing at PubMed scale via learning to rank

Journal of Biomedical Semantics, 2017
Background MeSH indexing is the task of assigning relevant MeSH terms based on a manual reading of scholarly publications by human indexers. The task is highly important for improving literature retrieval and many other scientific investigations in ...
Yuqing Mao, Zhiyong Lu
doaj   +1 more source

Design, Control, and Clinical Applications of Magnetic Actuation Systems: Challenges and Opportunities

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
This review aims to provide a broad understanding for interdisciplinary researchers in engineering and clinical applications. It addresses the development and control of magnetic actuation systems (MASs) in clinical surgeries and their revolutionary effects in multiple clinical applications.
Yingxin Huo, Lidong Yang, Tiantian Xu, Dong Sun   +3 more
wiley   +1 more source

Meta-Interpretive LEarning with Reuse

Mathematics
Inductive Logic Programming (ILP) is a research field at the intersection between machine learning and logic programming, focusing on developing a formal framework for inductively learning relational descriptions in the form of logic programs from ...
Rong Wang, Jun Sun, Cong Tian, Zhenhua Duan   +3 more
doaj   +1 more source

Learning from Ordinal Data with Inductive Logic Programming in Description Logic [PDF]

, 2017
Here we describe a Description Logic (DL) based Inductive Logic Programming (ILP) algorithm for learning relations of order. We test our algorithm on the task of learning user preferences from pairwise comparisons.
Kazakov, Dimitar Lubomirov, Qomariyah, Nunung Nurul   +1 more
core   +1 more source

kLog: A Language for Logical and Relational Learning with Kernels

, 2014
We introduce kLog, a novel approach to statistical relational learning. Unlike standard approaches, kLog does not represent a probability distribution directly. It is rather a language to perform kernel-based learning on expressive logical and relational
Altun, Ando, Antanas, Antanas, Antanas, Argyriou, Blockeel, Blockeel, Bottou, Boulicaut, Bröcheler, Ceroni, Chang, Chang, Cook, Costa, Costa, De, De Grave, De Grave, De Raedt, De Raedt, De Raedt, Dietterich, Dietterich, Evgeniou, Fabrizio Costa, Frasconi, Frasconi, Friedman, Gross, Gärtner, Gärtner, Haussler, Heckerman, Helma, Helma, Horváth, Joachims, Kazius, Kersting, Kersting, Kersting, Kimmig, Koller, Kordjamshidi, Kou, Kramer, Kurt De Grave, Lanckriet, Landwehr, Lao, Lari, London, Lowd, Luc De Raedt, Luks, Macskassy, Mahe, McCallum, McKay, Menchetti, Mitchell, Muggleton, Muggleton, Neville, Ng, Paolo Frasconi, Quinlan, Ralaivola, Richardson, Rizzolo, Rossi, Serebrenik, Shervashidze, Shi, Sorlin, Srinivasan, Srinivasan, Sun, Sutton, Taskar, Taskar, Tsochantaridis, van de Waterbeemd, Vazquez, Verbeke, Verbeke, Vishwanathan, Wachman, Wang, Wolpert, Yan   +92 more
core   +1 more source

Ternary Content‐Addressable Memory Using One Capacitor and One Nanoelectromechanical Memory Switch for Data‐Intensive Applications

Advanced Intelligent Systems, EarlyView.
A charge‐domain ternary content‐addressable memory using one capacitor one nanoelectromechanical memory switch (1C‐1N TCAM) is proposed for energy‐efficient, high‐reliability computations. Integrated with the back‐end‐of‐line process, the 1C‐1N TCAM leverages the air gap capacitance to achieve a high capacitance ratio and ternary functionality.
Jin Wook Lee, Changha Kim, Geun Tae Park, Seung Hun Baek, Myeong Su Shin, Woo Young Choi   +5 more
wiley   +1 more source

Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

, 2012
We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles.
Elaine Pimentel, Favio Ezequiel Miranda-Perea, Lourdes del Carmen González-Huesca, Simona Ronchi della Rocca   +3 more
core   +2 more sources

How Do I Answer This? A Queer Critique of Australian Census Forms and the Reification of Cisheteronormative Families

Australian Journal of Social Issues, EarlyView.
ABSTRACT This paper presents a critical examination of Australia's 2021 household, individual and interviewer census forms. Using a form‐led analysis, this research scrutinises the underlying cisheteronormative logic that implicitly shapes the Census process, from data collection to distribution of findings.
Xavier Mills, Sal Clark
wiley   +1 more source

Quantitative Models and Implicit Complexity

, 2005
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Elementary Affine Logic, LFPL (a language for polytime computation close to realistic functional programming introduced by one of us ...
A. Asperti, G. Kreisel, J. Crossley, J.-Y. Girard, M. Hofmann, M. Hofmann Safe, P. Emde Boas van, S. Bellantoni, S. Cook, Y. Lafont Soft   +9 more
core   +4 more sources