141 – 150 of 534
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
Mark
Adaptive interface for mapping body movements to sounds
(2018) 7th International Conference on Computational Intelligence in Music, Sound, Art and Design, EvoMUSART 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10783 LNCS. p.194-205
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trust Anchors in Software Defined Networks
Paladi, Nicolae LU
; Karlsson, Linus
LU
and Elbashir, Khalid
(2018)
European Symposium on Research in Computer Security
In Lecture Notes in Computer Science
11009.
p.485-505
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A taxonomy of deviant encodings
(2018) 14th Conference on Computability in Europe, CiE 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10936 LNCS. p.338-348
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Matrioska: A Compiler for Multi-key Homomorphic Signatures
Fiore, Dario and Pagnin, Elena LU
(2018)
11th International Conference on Security and Cryptography for Networks, SNC 2018
In Lecture Notes in Computer Science
11035.
p.43-62
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
(2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
(2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fading characterization of 73 GHz millimeter-wave V2V channel based on real measurements
(2018) 13th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10796. p.159-168
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rectification from radially-distorted scales
(2018) 14th Asian Conference on Computer Vision (ACCV 2018) In Lecture notes in computer science (LNCS) 11365. p.36-52
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The CPS triangle : A suggested framework for evaluating robots in everyday life
Frennert, Susanne LU
(2018)
10th International Conference on Social Robotics, ICSR 2018
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
11357 LNAI.
p.369-379
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
Argument-Based Bayesian Estimation of Attack Graphs : A Preliminary Empirical Analysis
Kido, Hiroyuki and Zenker, Frank LU
(2017)
20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
10621 LNAI.
p.523-532
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding