141 – 150 of 538
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2018
-
Mark
QREME – Quality requirements management model for supporting decision-making
(2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.173-188
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A projected gradient descent method for crf inference allowing end-to-end training of arbitrary pairwise potentials
(2018) 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMVCPR 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10746 LNCS. p.564-579
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
The Fiat-Shamir Zoo : Relating the Security of Different Signature Variants
(2018) 23rd Nordic Conference on Secure IT Systems, NordSec 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11252 LNCS. p.154-170
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Iterative High Resolution Tomography from Combined High-Low Resolution Sinogram Pairs
(2018) 19th International Workshop on Combinatorial Image Analysis, IWCIA 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11255 LNCS. p.150-163
- 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
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
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