1 – 10 of 24
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2017
-
Mark
The snow team problem : (Clearing Directed subgraphs by mobile agents)
2017) 21th International Symposium on Fundamentals of Computation Theory, FCT 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10472 LNCS. p.190-203(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
2017) Logic, Rationality, and Interaction In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10445 LNCS. p.108-122(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Bounds for semi-disjoint bilinear forms in a unit-cost computational model
2017) 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10185 LNCS. p.412-424(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards an almost quadratic lower bound on the monotone circuit complexity of the Boolean convolution
2017) 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10185 LNCS. p.401-411(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Determining the consistency of resolved triplets and fan triplets
2017) 21st Annual International Conference on Research in Computational Molecular Biology, RECOMB 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10229 LNCS. p.82-98(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The expression of mental states in a humanoid robot
2017) 17th International Conference on Intelligent Virtual Agents, IVA 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10498 LNAI. p.247-250(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Does a robot tutee increase children’s engagement in a learning-by-teaching situation?
2017) 17th International Conference on Intelligent Virtual Agents, IVA 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10498 LNAI. p.243-246(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Parametric image segmentation of humans with structural shape priors
2017) 13th Asian Conference on Computer Vision, ACCV 2016 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10112 LNCS. p.68-83(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Spatio-temporal attention models for grounded video captioning
2017) In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10114 LNCS. p.104-119(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A reaction attack on the QC-LDPC mceliece cryptosystem
2017) 8th International Workshop on Post-Quantum Cryptography, PQCrypto 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10346 LNCS. p.51-68(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding