MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Constraint Satisfaction and Optimization
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

698 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
698 travaux dans la cohorte · sur 4 299 418page 9 sur 14

Les étiquettes couvrent 0 des 698 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 698 des 698 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.

affnon étiqueté
Using metric temporal logic to specify scheduling problems
R. Luo, Richard Valenzano, Yi Li, J. Christopher Beck, Sheila A. McIlraith
2016· article· en· Principles of Knowledge Representation and Reasoning· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
2
citations
affnon étiqueté
Extending Temporal Causal Graph For Diagnosis Problems
Lamia Belouaer, Maroua Bouzid, Malek Mouhoub
2009· preprint· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
1
citations
affsans résuménon étiqueté
An OCL-Based CSP Specification and Solving Tool
Samira Sadaoui, Malek Mouhoub, Xiaofeng Li
2008· book-chapter· en· Studies in computational intelligence· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
1
citations
affsans résuménon étiqueté
Coverage Driven Test Generation and Consistency Algorithm
Jomu George Mani Paret, Otmane Aı̈t Mohamed
2014· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
1
citations
affnon étiqueté
The multi-inter-distance constraint
Pierre Ouellet, Claude-Guy Quimper
2011· article· en· International Joint Conference on Artificial Intelligence· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
1
citations
affnon étiqueté
Searching for Real-Time Heuristic Search Algorithms
Vadim Bulitko
2021· article· en· Proceedings of the International Symposium on Combinatorial Search· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
affsans résuménon étiqueté
Learning Relational Clichés with Contextual LGG
Johanne Morin, Stan Matwin
2000· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
1
citations
affsans résuménon étiqueté
Refinements of the RCC25 Composition Table
Manas Ghosh, Michael Winter
2014· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
affnon étiqueté
SAT with Global Constraints
Shahariar Chowdhury, Jia-Huai You
2012· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
affsans résuménon étiqueté
Generalized resolution search
Marius Posta, Jacques A. Ferland, Philippe Michelon
2010· article· en· Discrete Optimization· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
affnon étiqueté
Decomposition of the NVALUE constraint
Christian Bessière, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2009· preprint· en· ArXiv.org· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
1
citations
affnon étiqueté
A Stochastic Analog Boolean Satisfiability Solver
Shiyu Su, Qiaochu Zhang, Zerui Liu, Hsiang‐Chun Cheng, Zhengyi Qiu, Mayank Palaria +6 autres
2025· article· IEEE Journal of Solid-State Circuits· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
1
citations

En coulisses: Sélection · Constats · À propos