Did you mean: generation

search result

Cover von Autosubst

Autosubst

On Mechanising Binders in a General-Purpose Proof Assistant (Invited Talk)
Year: 2025
Media group: LIPIcs
Cover von Sparse Euclidean Spanners with Optimal Diameter

Sparse Euclidean Spanners with Optimal Diameter

A General and Robust Lower Bound via a Concave Inverse-Ackermann Function
Year: 2023
Media group: LIPIcs
Cover von G-thinker

G-thinker

a general distributed framework for finding qualified subgraphs in a big graph with load balancing
Author: Yan, Da
Year: 2022
Media group: ARTICLE
Cover von PrefixFPM

PrefixFPM

a parallel framework for general-purpose mining of frequent and closed patterns
Year: 2022
Media group: ARTICLE
Cover von Degrees and Gaps

Degrees and Gaps

Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth
Year: 2021
Media group: LIPIcs
Cover von MagpieBridge

MagpieBridge

A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)
Year: 2019
Media group: LIPIcs
Cover von Hydras

Hydras

Complexity on general graphs and a subclass of trees : article
Year: 2017
Media group: ARTICLE
Cover von Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length

Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length

The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations
Year: 2016
Media group: LIPIcs
Cover von Formal Theories of Information
From Shannon to Semantic Information Theory and General Concepts of Information
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science : state-of-the-art survey; 5363
Media group: MONOGRAPHIE
Cover von Historical account of computer models solving IQ test
accepted paper : "EGPAI 2016 : 1st International Workshop on Evaluating General-Purpose AI", pp. 20-21
Search for this author
Year: 2016
Publisher: EGPAI
Series: International Workshop on Evaluating General-Purpose AI; 1. 2016 : accepted paper
Media group: ARTICLE
OPEN V 11.1.0.0