341 – 350 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2017
-
Mark
Narrow sieves for parameterized paths and packings
(
- Contribution to journal › Article
-
Mark
A fast deterministic detection of small pattern graphs in graphs without large cliques
2017) 11th International Conference and Workshops on Algorithms and Computation, WALCOM 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10167 LNCS. p.217-227(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse coding with unity range codes and label consistent discriminative dictionary learning
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Large-scale data-dependent kernel approximation
2017) 20th International Conference on Artificial Intelligence and Statistics, AISTATS 2017(
- Contribution to conference › Paper, not in proceeding
-
Mark
Long-Term Accuracy in Sea Navigation without using GNSS Systems
2017) 30th Annual Workshop of the Swedish Artificial Intelligence Society (SAIS 2017)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Cumulative space in black-white pebbling and resolution
2017) 8th Innovations in Theoretical Computer Science Conference, ITCS 2017 In Leibniz International Proceedings in Informatics, LIPIcs 67.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graph colouring is hard for algorithms based on hilbert's nullstellensatz and gröbner bases
2017) 32nd Computational Complexity Conference, CCC 2017 In Leibniz International Proceedings in Informatics, LIPIcs 79.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CNFgen : A generator of crafted benchmarks
2017) 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 In Lecture Notes in Computer Science 10491. p.464-473(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tight Size-Degree Bounds for Sums-of-Squares Proofs
(
- Contribution to journal › Article
-
Mark
Anomalies in scheduling control applications and design complexity
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding