231 – 240 of 553
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2014
-
Mark
Preface
(2014) 8607.
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Listing Triangles
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ascribed Gender and Characteristics of a Visually Androgynous Teachable Agent.
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Using TPM Secure Storage in Trusted High Availability Systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
eavesROP: Listening for ROP Payloads in Data Streams
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Communicating unknown objects to robots through pointing gestures
(2014) 15th Annual Conference Towards Autonomous Robotic Systems (TAROS), 2014 In Lecture Notes in Computer Science 8717. p.209-220
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Classical conditioning in social robots
(2014) 6th International Conference on Social Robotics, ICSR 2014 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8755. p.279-289
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the Leakage of Information in Biometric Authentication
(2014) 15th International Conference on Cryptology in India, INDOCRYPT 2014 In Lecture Notes in Computer Science 8885. p.265-280
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Long Proofs of (Seemingly) Simple Formulas
(2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.121-137
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A (biased) proof complexity survey for SAT practitioners
(2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.1-6
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
